Commit Graph

Select branches

Hide Pull Requests

TOD_MODULE

add/feats

add/modules

add_concrete_stuff

analysis/TOD

analyze-with-mythx

any_name

arbitrary_storage

berndt_1

berndtz_experimental

better_bounds

bug/constructor-arguments

bug/instructions-out-of-bounds

bug/invalid-loop-pruning

bugfix/1840

call_depth

cfg_fix

check-delegatecall-after

check_existing_annotations

cli-code-coverage

concrete_ite_storage

config-change

constantinope-reentrancy-check

delegatecall_fix

dependabot/pip/markupsafe-lt-3.1.0

dependabot/pip/py-evm-0.10.1b2

dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0

dependency_prune_v2

develop

dynamic_timeout_presets

ether_refactor_2

ether_thief

ether_thief_fix

ether_transfer

external_calls

extract_concat_invariance

feat/docker-ci

feat/merge

feature/concretise_storage

feature/feat-eng

feature/ignore-regressions

feature/import-custom-modules

feature/regioned_storage

feature/summary

feature/tx_lists

feature/update_solcx

features/iprof_plugin

fix-balance-overflow

fix/boundedloops

fix/circleci-config

fix/constraints-after-issues

fix/dep_pruning

fix/iprof-ctrlc

fix/refactor

fix/signextend

fix/timeout

fix_integers

flashfck

function_lists

harvey_style_assertions

hashfixes

improvement/circleci-envs

improvement/udpate-circle-ci

integer_experimental

integer_fix

jinja-print-initial-state

master

metrics_plugin

model-balances

notify-unreachable-code

optimise/summaries

optimizer

origin_model

pending-opcodes

pr/894

readme

refactor/cli

remove/dos

remove_deprecated_taint

remove_pragma

req_violation

revert-1226-optimizer

revert_ether_thief

run-edelweiss-drone

setup-fix

specify-attacker-creator-address

split_storage

standard_actors

state_merge

storage/bugfix

storage/refactor

support_tx_sequences

ultimate_ether_thief

userassertions

vuln_edits

workshop-fixes

z3

#10

#100

#1000

#1002

#1003

#1004

#1006

#101

#1013

#1014

#1016

#1017

#102

#1022

#1024

#1025

#1026

#1027

#1028

#1029

#103

#1030

#1031

#1032

#1033

#1034

#1037

#1039

#104

#1040

#1041

#1042

#1043

#1044

#1045

#1047

#1052

#1054

#1056

#1057

#1058

#1059

#106

#1060

#1061

#1062

#1064

#1065

#1066

#1067

#1071

#1072

#1074

#1076

#1077

#1078

#1079

#1080

#1081

#1083

#1084

#1086

#1087

#1088

#1094

#1097

#1099

#1101

#1102

#1103

#1104

#1105

#1106

#1107

#1108

#1110

#1111

#1112

#1113

#1114

#1115

#1116

#1117

#1118

#1119

#112

#1120

#1121

#1123

#1124

#1125

#1126

#1127

#1128

#1129

#1131

#1133

#1134

#1136

#1137

#1139

#114

#1140

#1142

#1144

#1145

#1146

#1148

#1149

#1150

#1153

#1155

#1156

#1157

#1159

#1163

#1164

#1165

#1166

#1167

#1169

#117

#1170

#1171

#1172

#1173

#1174

#1175

#1177

#1178

#1180

#1181

#1184

#1185

#1186

#1188

#1189

#1190

#1191

#1192

#1193

#1194

#1195

#1196

#1197

#1198

#1199

#12

#120

#1200

#1202

#1203

#1205

#1211

#1213

#1215

#1216

#1218

#1219

#1220

#1221

#1223

#1224

#1225

#1226

#1227

#1229

#1230

#1231

#1233

#1234

#1237

#1239

#124

#1240

#1242

#1244

#1246

#1247

#1248

#1249

#125

#1250

#1251

#1252

#1253

#1257

#126

#1261

#1263

#1264

#1265

#1268

#1269

#127

#1272

#1274

#1275

#1276

#128

#1281

#1283

#1284

#1285

#1288

#1289

#1290

#1292

#1296

#1297

#13

#1301

#1302

#1305

#1306

#1307

#1308

#1310

#1314

#1315

#132

#1323

#1328

#1329

#1330

#1331

#1332

#1335

#1336

#1337

#1338

#1339

#1340

#1341

#1342

#1343

#1344

#1345

#1346

#1347

#1348

#135

#1350

#1351

#1352

#1353

#1354

#1355

#1356

#1357

#1358

#1359

#136

#136

#1363

#1365

#1366

#1367

#1368

#1369

#137

#137

#1370

#1372

#1377

#1380

#1381

#1388

#1389

#1391

#1392

#1393

#1394

#1396

#1397

#1398

#1399

#14

#1400

#1403

#1404

#1405

#1406

#141

#1410

#1411

#1413

#1415

#1417

#1418

#1419

#1420

#1421

#1425

#1426

#1428

#1430

#1433

#1436

#1437

#1438

#1439

#1443

#1444

#1445

#1447

#1450

#1451

#1454

#146

#1460

#1463

#1469

#147

#1471

#1473

#1474

#148

#148

#1480

#1483

#1488

#1489

#149

#1490

#1491

#1492

#1497

#1498

#1499

#150

#1501

#1503

#1504

#1506

#1507

#151

#1510

#1511

#1511

#1513

#1514

#1516

#1518

#1520

#1520

#1526

#153

#1532

#1533

#1534

#1537

#154

#1541

#1542

#1543

#1544

#1545

#1547

#1548

#1549

#1550

#1551

#1555

#1556

#1557

#1558

#1559

#1560

#1562

#1563

#1564

#1567

#1569

#157

#1570

#1571

#1573

#1574

#1576

#1577

#1578

#1581

#1582

#1584

#1585

#1586

#1587

#1591

#1593

#1594

#1595

#1597

#1600

#1602

#1606

#1607

#1608

#161

#1610

#1611

#1613

#1614

#1615

#1616

#1617

#1619

#162

#1620

#1622

#1625

#1628

#163

#163

#1630

#1631

#1632

#1633

#1635

#1637

#1639

#164

#1641

#1642

#1644

#1646

#1647

#1648

#165

#1651

#1652

#1654

#1655

#1658

#1660

#1661

#1662

#1663

#1664

#1665

#1668

#1669

#1670

#1674

#1675

#1677

#1679

#168

#1680

#1681

#1683

#1687

#1688

#1691

#1691

#1694

#1698

#17

#1700

#1703

#1704

#1705

#1706

#1707

#1709

#1710

#1711

#1714

#1718

#1720

#1721

#1723

#1725

#1726

#1727

#1729

#173

#1730

#1731

#1733

#1737

#1738

#1739

#174

#174

#1740

#1741

#1743

#1744

#1745

#1749

#1750

#1751

#1754

#1757

#1758

#1758

#1760

#1761

#1762

#1763

#1764

#1765

#1767

#1768

#1770

#1771

#1774

#1775

#1776

#1779

#178

#1781

#1783

#1784

#1785

#1786

#1787

#1789

#1792

#1793

#1794

#1795

#1796

#1798

#1799

#1800

#1801

#1802

#1803

#1805

#1807

#181

#1811

#1812

#1814

#1817

#1818

#182

#1820

#1821

#1822

#1823

#1824

#1826

#1827

#1828

#1830

#1831

#1832

#1833

#1835

#1836

#184

#1841

#1843

#1844

#1845

#1846

#1848

#1849

#1852

#1854

#1855

#1857

#1860

#1863

#1864

#1865

#1866

#1867

#1868

#1869

#1870

#1871

#1872

#1873

#1874

#1875

#1876

#1877

#1878

#1879

#188

#1880

#1881

#1881

#1882

#1882

#1883

#1884

#1884

#1885

#1885

#1887

#1887

#1889

#1889

#192

#194

#196

#198

#2

#2

#20

#205

#206

#210

#211

#212

#216

#217

#218

#22

#229

#229

#23

#230

#233

#235

#236

#242

#246

#247

#250

#252

#254

#254

#255

#258

#260

#261

#262

#273

#275

#275

#280

#282

#283

#283

#284

#287

#288

#293

#296

#299

#30

#300

#301

#304

#307

#308

#310

#311

#312

#313

#316

#317

#322

#322

#323

#324

#326

#328

#33

#331

#332

#333

#334

#335

#336

#338

#339

#342

#343

#344

#345

#347

#348

#35

#354

#355

#357

#358

#359

#361

#365

#365

#366

#368

#37

#372

#374

#375

#378

#379

#380

#381

#382

#383

#384

#384

#385

#386

#388

#390

#391

#392

#392

#396

#404

#407

#408

#41

#410

#412

#414

#415

#416

#418

#418

#419

#420

#421

#428

#429

#430

#431

#433

#434

#437

#438

#439

#441

#443

#444

#445

#450

#451

#452

#455

#461

#462

#463

#465

#466

#468

#469

#472

#475

#476

#477

#48

#480

#480

#481

#483

#485

#485

#486

#489

#492

#494

#495

#498

#499

#50

#501

#502

#503

#507

#511

#512

#514

#519

#522

#522

#525

#53

#530

#534

#536

#538

#542

#544

#545

#547

#547

#549

#551

#552

#552

#553

#554

#555

#557

#558

#559

#560

#561

#567

#568

#569

#571

#573

#578

#579

#581

#581

#582

#583

#585

#587

#588

#589

#59

#591

#592

#593

#594

#595

#596

#598

#600

#602

#603

#606

#608

#609

#61

#610

#611

#612

#613

#615

#617

#618

#619

#62

#62

#620

#621

#622

#623

#624

#625

#626

#627

#629

#631

#632

#635

#636

#637

#638

#639

#641

#642

#644

#646

#647

#648

#649

#650

#653

#654

#655

#656

#657

#658

#659

#660

#664

#666

#667

#669

#677

#678

#683

#686

#687

#688

#694

#695

#696

#697

#698

#699

#7

#700

#702

#703

#704

#707

#708

#709

#711

#712

#713

#715

#716

#717

#718

#719

#72

#722

#723

#724

#727

#728

#729

#730

#731

#732

#735

#739

#743

#746

#747

#748

#749

#750

#751

#752

#753

#754

#755

#756

#757

#758

#760

#761

#762

#764

#766

#767

#768

#773

#774

#775

#777

#778

#779

#780

#784

#785

#786

#787

#788

#79

#792

#797

#80

#802

#803

#806

#807

#81

#811

#813

#815

#817

#818

#819

#821

#822

#824

#825

#826

#828

#831

#832

#833

#834

#835

#837

#838

#840

#845

#848

#849

#850

#851

#852

#853

#854

#855

#856

#859

#862

#863

#868

#869

#870

#871

#872

#88

#880

#881

#882

#884

#885

#887

#888

#889

#890

#893

#894

#897

#900

#901

#902

#903

#904

#905

#906

#907

#908

#909

#910

#911

#912

#913

#917

#918

#919

#921

#923

#924

#925

#927

#928

#93

#930

#933

#938

#94

#943

#945

#946

#948

#949

#95

#950

#951

#953

#958

#96

#962

#963

#969

#97

#971

#973

#975

#977

#979

#980

#981

#982

#983

#984

#985

#986

#989

#99

#990

#991

#994

#997

#998

0.16.5

0.20.5

0.20.6

0.21.18

0.3.4

0.3.8

0.3.9

0.5.2

0.5.7

0.5.9

0.8.6

laser-merge

v0.15.9

v0.16.18

v0.16.19

v0.16.20

v0.16.21

v0.16.22

v0.16.23

v0.16.24

v0.16.25

v0.16.26

v0.16.27

v0.16.29

v0.16.6

v0.17.0

v0.17.1

v0.17.12

v0.17.15

v0.17.2

v0.17.3

v0.17.4

v0.17.5

v0.17.6

v0.17.7

v0.17.8

v0.17.9

v0.18.0

v0.18.1

v0.18.10

v0.18.11

v0.18.12

v0.18.13

v0.18.2

v0.18.3

v0.18.4

v0.18.5

v0.18.6

v0.18.7

v0.18.8

v0.18.9

v0.19.0

v0.19.10

v0.19.11

v0.19.4

v0.19.5

v0.19.6

v0.19.7

v0.19.8

v0.19.9

v0.20.0

v0.20.1

v0.20.2

v0.20.3

v0.20.4

v0.20.5

v0.20.6

v0.20.7

v0.20.8

v0.20.9

v0.21.10

v0.21.11

v0.21.12

v0.21.14

v0.21.15

v0.21.16

v0.21.17

v0.21.18

v0.21.19

v0.21.2

v0.21.20

v0.21.21

v0.21.22

v0.21.23

v0.21.3

v0.21.4

v0.21.5

v0.21.6

v0.21.7

v0.21.8

v0.21.9

v0.22.0

v0.22.1

v0.22.10

v0.22.11

v0.22.12

v0.22.13

v0.22.14

v0.22.15

v0.22.16

v0.22.17

v0.22.18

v0.22.19

v0.22.2

v0.22.20

v0.22.21

v0.22.22

v0.22.23

v0.22.24

v0.22.25

v0.22.26

v0.22.27

v0.22.28

v0.22.29

v0.22.3

v0.22.30

v0.22.31

v0.22.32

v0.22.33

v0.22.34

v0.22.35

v0.22.36

v0.22.37

v0.22.38

v0.22.39

v0.22.4

v0.22.40

v0.22.41

v0.22.42

v0.22.43

v0.22.5

v0.22.6

v0.22.7

v0.22.8

v0.22.9

v0.23.0

v0.23.1

v0.23.10

v0.23.11

v0.23.12

v0.23.13

v0.23.15

v0.23.16

v0.23.17

v0.23.18

v0.23.19

v0.23.2

v0.23.20

v0.23.21

v0.23.22

v0.23.23

v0.23.24

v0.23.25

v0.23.3

v0.23.4

v0.23.5

v0.23.6

v0.23.7

v0.23.8

v0.23.9

v0.24.0

v0.24.1

v0.24.2

v0.24.3

v0.24.4

v0.24.5

v0.24.6

v0.24.7

v0.24.8

v0.6.17

v0.6.28

Mono Color

• 71824ac5e5 Downgrade py-evm norhh 2021-12-22 10:57:25 +0000
• a8407eb722 Fix py-evm when it's in alpha norhh 2021-12-22 10:34:06 +0000
• 20521d60f6
  Mythril v0.22.33 v0.22.33 Nikhil Parasaram 2021-12-21 14:25:32 +0000
• b84f55b757
  Fix creation case and use better error message (#1569) Nikhil Parasaram 2021-12-15 17:14:06 +0000
• ff2c049c9f Fix eth-keys #1569 norhh 2021-12-15 17:02:22 +0000
• b13c6f51d3 Handle creation code norhh 2021-12-15 16:53:55 +0000
• 70348b2066
  Fixes issues with NoneType and restricts rlp version (#1567) Nikhil Parasaram 2021-12-08 08:49:46 +0000
• ea6d83c48d Fix rlp #1567 norhh 2021-12-08 08:09:49 +0000
• a94f0d8767 Fix when args are NoneType norhh 2021-12-08 07:58:44 +0000
• b9fdf359ac
  Fix myth --version typo in docs (#1563) Sir Hashalot 2021-12-02 17:27:43 +0000
• d025409678
  Merge branch 'develop' into patch-1 #1563 Nikhil Parasaram 2021-12-02 04:35:26 +0000
• 7b321d668e
  Use requirements in setup (#1564) Nikhil Parasaram 2021-12-01 12:35:28 +0000
• 8035206d61 Use requirements in setup #1564 norhh 2021-12-01 12:23:59 +0000
• f08b5696c5
  Fix myth --version typo in docs Sir Hashalot 2021-12-01 01:53:10 +0000
• 510ff95655
  Support symbolic bytecode (#1560) Nikhil Parasaram 2021-11-30 03:49:02 +0000
• c91d416480 Handle swarm hash #1560 norhh 2021-11-30 03:31:12 +0000
• 1f614fe175 Use hex notation norhh 2021-11-30 02:53:58 +0000
• 47ba692d5c
  Use concrete storage (#1562) Nikhil Parasaram 2021-11-28 13:21:22 +0000
• c790988cd4 Use concrete storage #1562 norhh 2021-11-28 13:11:35 +0000
• ccda36d30e
  Mythril v0.22.32 v0.22.32 Nikhil Parasaram 2021-11-24 07:50:01 +0000
• 5852bf44c7 Support symbolic bytecode norhh 2021-11-21 09:02:24 +0000
• 58a36720f4
  Use empty code to denote address (#1559) Nikhil Parasaram 2021-11-21 04:28:37 +0000
• b3a9106cc2 Use empty code to denote address #1559 norhh 2021-11-21 04:14:56 +0000
• 0136b4a1f9
  Fix case where loader is not present (#1558) Nikhil Parasaram 2021-11-21 03:08:35 +0000
• ec747038f5 Fix case where loader is not present #1558 norhh 2021-11-21 02:54:44 +0000
• b64892bfa9
  Fix blake2bpy (#1557) Nikhil Parasaram 2021-11-20 23:18:56 +0000
• a733463e03 Fix blake2bpy #1557 norhh 2021-11-20 23:10:20 +0000
• 5683310f83
  Fix typing_extensions (#1556) Nikhil Parasaram 2021-11-20 23:04:14 +0000
• 0e41f3482c Merge #1556 norhh 2021-11-20 22:51:48 +0000
• d3dbe187a5 Fix typing_extensions norhh 2021-11-20 22:49:44 +0000
• 2fe53f1721
  Remove -l option from docs Nikhil Parasaram 2021-11-20 22:48:06 +0000
• 54676b2011
  Remove mythx analysis doc Nikhil Parasaram 2021-11-20 22:47:07 +0000
• 65e274a210
  Removes pyethereum Dependencies and leveldb libraries (#1555) Nikhil Parasaram 2021-11-20 22:17:22 +0000
• 2ee7a1fa89 Fix py-ecc #1555 norhh 2021-11-20 22:06:44 +0000
• 7813ed72cd Restrict eth-typing norhh 2021-11-20 21:56:15 +0000
• 6fcca6c316 Restrict eth-utils norhh 2021-11-20 21:43:15 +0000
• 516805194b Fix setup.py norhh 2021-11-20 21:33:08 +0000
• 40c546eba2 Fix sha3 edge cases norhh 2021-11-20 21:30:09 +0000
• 992d156759 Fix issues with sha3 norhh 2021-11-20 21:17:01 +0000
• f730301eb5 Add rzpad() norhh 2021-11-20 20:57:23 +0000
• df5f03a966 Change requirements norhh 2021-11-20 20:50:08 +0000
• bed6dc2fc0 Remove leveldb norhh 2021-11-20 20:33:47 +0000
• 27194cdb37 Move away from pyethereum dependency norhh 2021-11-20 20:33:15 +0000
• 33509c9de4 change versions norhh 2021-11-20 19:18:11 +0000
• 3e3e5186e4
  Mythril v0.22.31 v0.22.31 Nikhil Parasaram 2021-11-18 22:43:51 +0000
• 0fa1aac499
  Fix pyparsing (#1551) Nikhil Parasaram 2021-11-17 20:20:08 +0000
• e0cdb9b8e3 Fix pyparsing #1551 Nikhil Parasaram 2021-11-17 20:07:42 +0000
• aacb04a226
  Handle an edgecase from local host clients (#1550) Nikhil Parasaram 2021-11-17 15:07:48 +0000
• 5eb30ba650 Fix eth-typing #1550 Nikhil Parasaram 2021-11-17 14:54:58 +0000
• 2fef136c0c Handle an edgecase from local host clients Nikhil Parasaram 2021-11-17 14:42:24 +0000
• 53f90cfb5f
  Fix issue with get_constraints (#1549) Nikhil Parasaram 2021-11-15 17:42:57 +0000
• 625c943d45 Fix issue with get_constraints #1549 norhh 2021-11-15 17:21:45 +0000
• 1a5f28332a
  Fix onchain storage access (#1548) Nikhil Parasaram 2021-11-15 15:28:48 +0000
• 417893a017 Fix issue with copy #1548 norhh 2021-11-15 15:15:04 +0000
• 367527249f Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/onsite norhh 2021-11-15 15:14:21 +0000
• 42a52a0bd7 Fix issues with onsite storage access norhh 2021-11-15 15:12:18 +0000
• 9d7873621e
  Fixes issues by considering future concrete hashes (#1547) Nikhil Parasaram 2021-11-15 14:47:03 +0000
• 08b556a095 Fix offsets and edge cases #1547 norhh 2021-11-15 14:29:44 +0000
• 2da1c6d884 Fix issues with hashing norhh 2021-11-15 14:17:35 +0000
• f35f1df509
  Mythril v0.22.30 v0.22.30 Nikhil Parasaram 2021-11-08 12:01:20 +0000
• 29738fef56
  Fix issues with out of index code (#1545) Nikhil Parasaram 2021-11-06 14:53:33 +0000
• 31f2de89f0 Fix issues with out of index code #1545 norhh 2021-11-06 14:42:48 +0000
• 728d8a2dfc
  Remove additional eth transfer (#1544) Nikhil Parasaram 2021-11-06 05:55:25 +0000
• 1e478a2b2c Remove additional eth transfer #1544 norhh 2021-11-06 05:39:41 +0000
• 651e0ac827
  Ignore plyvel (#1543) Nikhil Parasaram 2021-11-05 13:23:39 +0000
• 6f0b57f380 Ignore plyvel #1543 norhh 2021-11-05 13:13:32 +0000
• 8bde93f621
  Mythril v0.22.29 v0.22.29 Nikhil Parasaram 2021-11-02 09:31:56 +0000
• ab2db57b9a
  Fix issues with exceptions module (#1542) Nikhil Parasaram 2021-10-29 12:10:10 +0100
• f3a76ee89b Fix issues with exceptions module #1542 Nikhil Parasaram 2021-10-29 11:56:30 +0100
• e7d50f3c60
  Fix issue with integer arthimetic (#1541) Nikhil Parasaram 2021-10-29 10:33:27 +0100
• 0d8ff01094 Fix issue with integer arthimetic #1541 Nikhil Parasaram 2021-10-29 10:22:41 +0100
• f30dd19181
  Mythril v0.22.28 v0.22.28 Nikhil Parasaram 2021-10-25 02:18:43 +0100
• 455cdd16f5
  Fix issue with calldatasize (#1537) Nikhil Parasaram 2021-10-24 19:29:00 +0100
• 17fa32327c Fix issue with calldatasize #1537 norhh 2021-10-24 19:10:17 +0100
• 82d2fa8196
  Support native calls for delegatecall and callcode (#1534) Nikhil Parasaram 2021-10-24 16:59:33 +0100
• 0a54c2edac Support native calls for delegatecall and callcode #1534 norhh 2021-10-24 16:49:45 +0100
• 2212e565a4
  Use symbol_factory (#1533) Nikhil Parasaram 2021-10-24 16:28:16 +0100
• 74d1608efb Black #1533 norhh 2021-10-24 16:17:38 +0100
• 5eb6d1b31b Use symbol_factory norhh 2021-10-24 16:16:43 +0100
• 9d922fe9f4
  Refactor opcode files and fix issues (#1532) Nikhil Parasaram 2021-10-24 16:15:17 +0100
• 7adc7b3ab9 Refactor opcode files and fix issues #1532 norhh 2021-10-24 15:51:07 +0100
• 579480b477
  Fix issue with source mapping (#1526) Nikhil Parasaram 2021-10-20 12:43:49 +0100
• 71a27b6d28 Add typing #1526 norhh 2021-10-20 12:28:31 +0100
• 3ff2935073 Fix issues with deployedBytecode norhh 2021-10-20 12:25:18 +0100
• fdf3f2505a Fix issue with source mapping norhh 2021-10-20 12:03:23 +0100
• 128aea5dd4
  Mythril v0.22.27 v0.22.27 Nikhil Parasaram 2021-10-19 02:58:46 +0100
• 0b26035e2c
  Merge d66d66ad64 into df1d4dd0eb #1520 Reuf Rujevic 2021-10-04 23:36:57 +0200
• d66d66ad64
  Create Sjenica1 #1520 Reuf Rujevic 2021-10-04 23:36:49 +0200
• df1d4dd0eb
  Use last jump as source for yul mapping (#1518) Nikhil Parasaram 2021-09-27 16:02:01 +0100
• 48b9516aaa Use last jump as source for yul mapping #1518 norhh 2021-09-27 15:50:57 +0100
• 3e113c9a55
  [WIP] Add safe function support (#1510) Nikhil Parasaram 2021-09-27 13:06:08 +0100
• cc12b02ee7 Fix bytecode tests #1510 norhh 2021-09-27 12:04:41 +0100
• d6ee4a61af Change examples norhh 2021-09-19 17:06:37 +0100
• 9d9811aec7 Merge branch 'develop' of github.com:ConsenSys/mythril into perfect/symbolic norhh 2021-09-19 16:43:14 +0100
• c0693ee49a
  Mythril v0.22.26 v0.22.26 Nikhil Parasaram 2021-09-16 13:47:10 +0100
• db02473193
  Add typing extensions (#1516) Nikhil Parasaram 2021-09-15 15:03:01 +0100
• 85f92e4463 Add typing extensions #1516 norhh 2021-09-15 14:51:14 +0100
• 89bc36baa8
  Support Panic(uint256) calls for asserts in v0.8.0+ (#1514) Nikhil Parasaram 2021-09-15 12:14:08 +0100
• e2d1548841
  Merge branch 'develop' into bugfix/1512 #1514 Nikhil Parasaram 2021-09-15 12:06:03 +0100
• 2a8d455e1e Use typing extensions norhh 2021-09-15 11:57:12 +0100