mirror of https://github.com/ConsenSys/mythril
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
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
-
0b7ae1911e
1a8a6ed6bb
into8201bfd75f
#1889 Oleg 2024-11-01 10:22:45 +0200 -
1a8a6ed6bb
-
9832981f20
0c17e89807
into8201bfd75f
#1887 Gernot Salzer 2024-10-30 09:38:02 +0000 -
0c17e89807
-
31c3e6b49e
-
2bbc3a2120
-
17e48d25ef
48ccc8def8
into8201bfd75f
#1885 dependabot[bot] 2024-10-14 04:47:07 +0000 -
48ccc8def8
-
b8a2cd3424
e2611ac545
into8201bfd75f
#1884 dependabot[bot] 2024-10-14 04:46:56 +0000 -
e2611ac545
-
379e217f66
-
fbbc90f895
1c69bd423b
into8201bfd75f
#1882 Hanlu 2024-09-13 16:40:01 +0000 - 1c69bd423b chore: fix symbol error #1882 liangmulu 2024-09-14 00:35:54 +0800
-
b30e3f5d09
26fc2d1090
into8201bfd75f
#1881 dependabot[bot] 2024-08-30 16:05:15 +0800 -
8201bfd75f
-
c37ee820b1
-
26fc2d1090
-
531ab1f2fb
-
ea60b14c99
- e552de70f3 Support newer version in requirements #1880 Nikhil Parasaram 2024-08-24 16:08:43 +0100
- 1febf66767 Handle newer solc-x versions Nikhil Parasaram 2024-08-24 15:01:11 +0100
-
99bf452136
-
8e8172fdf0
-
d225578945
-
0717111a55
-
381a9bd0aa
-
9bbe7d607e
-
070a00acfa
-
65a33a9403
-
8099d2b7f4
-
18262b3435
- ed7ebfde97 Fix svm-rs build Daniel Bast 2024-08-21 09:42:00 +0200
-
b2adeca391
-
e64be9d3a3
- 41826abd5b Manual pinning updates #1878 Daniel Bast 2024-08-20 22:16:13 +0200
- b08f4b248e Add pre-commit hook + test Daniel Bast 2024-08-20 11:56:23 +0200
-
7915794218
-
80156e4c25
- d9f903fedf Fix cyclic imports Daniel Bast 2024-08-17 23:12:47 +0200
-
32117beccb
-
3f4ecd6e65
-
bf5e1cf5a5
-
129856cd50
-
f39b050f3b
- facc90771c Enable+apply isort via ruff/pre-commit Daniel Bast 2024-08-10 08:22:06 +0200
- 880946ba93 Enable dependabot #1870 Daniel Bast 2024-08-06 15:13:12 +0200
-
526fbe2687
-
1384ef55b5
- d8a0299be4 Allow z3-solver<=4.13.0.0, streamline Dockerfile #1867 Daniel Bast 2024-08-09 09:53:42 +0200
-
586588a3c3
- 771171e5a2 Remove added "pip list -o" #1869 Daniel Bast 2024-08-08 20:56:17 +0200
-
f03d3e8256
- 10782c22a4 Drop un-used dependencies from requirements.txt Daniel Bast 2024-08-08 17:15:49 +0200
-
e6df063ff7
-
3047d2638a
-
82a4a045b6
-
25de4e7cc3
-
3c5a00b4d5
-
a710ca2898
- 04e21f39ee chore: fix comment #1866 highcloudwind 2024-08-07 14:18:23 +0800
- 9147ee761e Apply review comments Daniel Bast 2024-08-06 17:24:40 +0200
- c08037316e Manual lint fixes Daniel Bast 2024-08-06 11:21:53 +0200
- 4341bb221b Apply ruff via pre-commit Daniel Bast 2024-08-06 11:19:14 +0200
- aa0b097ee1 Enable ruff + rulset "F" via pre-commit Daniel Bast 2024-08-04 20:30:51 +0200
- c7d0edab8c Apply black via pre-commit Daniel Bast 2024-08-06 11:14:26 +0200
- 11b1afc05e Run black via pre-commit + Github Action workflow, update black Daniel Bast 2024-08-04 09:51:21 +0200
-
809166d1ac
-
3759050cd2
- d98ae0d25e Fully switch from mock to unittest.mock #1864 Daniel Bast 2024-08-02 18:22:18 +0200
- 662e3189eb Fix issues with statespace on solc 0.8.26 Nikhil Parasaram 2024-07-30 12:00:47 +0100
-
470144b7c0
- 4ce4087fbb Improve the test readability #1860 Nikhil Parasaram 2024-07-21 21:36:25 +0100
- 0e275bed48 Refactor Nikhil Parasaram 2024-07-21 21:00:21 +0100
- 9f5b8aa0b0 Fix some issues and support python 3.12 Nikhil Parasaram 2024-07-21 20:59:27 +0100
- bf2b81d911 Merge branch 'develop' of github.com:Consensys/mythril into enhance/transient Nikhil Parasaram 2024-07-21 20:14:27 +0100
-
957b719de4
-
cfa8a1fa58
-
fbd184dd50
-
f6a50aade7
-
c8e863892d
-
e5bd4571f5
-
a4f51d0af7
- 44b9ac36a5 chore: fix some typos in comments #1855 alwayshang 2024-04-24 17:18:37 +0800
- 307b71dfed Cleanup Nikhil Parasaram 2024-04-23 23:15:36 +0100
- e42c5b5150 Remove obselete opcodes Nikhil Parasaram 2024-04-23 23:05:00 +0100
- be77b1f31e Fix issues with transient storage Nikhil Parasaram 2024-04-23 22:48:58 +0100
- b88a515156 Add transient storage Nikhil Parasaram 2024-04-23 21:52:24 +0100
-
326ee0d2ee
-
66eaa147d4
-
9e9ee39a5c
-
ec71828ba6
-
2bae84edad
- 6871ef446f chore: fix some comments #1849 sellskin 2024-03-25 16:00:29 +0800
- e22cce4f70 Fix a bug due to issues with balance #1848 bugfix/1840 Nikhil Parasaram 2024-03-24 06:45:07 +0000
-
c5ac7cfff5
- f4e7c84d64 comment misspell #1846 snoppy 2024-03-16 10:40:02 +0800
-
2835595be4
- baa6068814 chore: remove repetitive words #1845 suchsoon 2024-03-12 17:27:50 +0800
-
9ef15763d5
- 87519d62c5 Remove the partial file #1844 feat/merge Nikhil Parasaram 2024-03-11 08:10:26 +0000