mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
Commit Graph
Select branches
Hide Pull Requests
c_strcmp_dev
chess
dev-config
dev-connect-to-eth-node
dev-cvc4
dev-detect-transaction-reordering
dev-evm-experiments
dev-evm-stoppingcond
dev-exp-unsound
dev-expressions
dev-ignore-gas-better
dev-lazy-mode
dev-report-worker
dev-visitors-opt
ekilmer/use-pyproject-toml
fix-increase-symbolic-buffer
fix-killed-workers
master
ss/from_chess/heap_tracking
ss/heap_tracker
std_string_dev
test-multiple-pythons
#1
#10
#100
#1001
#1002
#1004
#1007
#1009
#101
#1010
#1011
#1013
#1013
#1014
#1017
#1019
#102
#1022
#1023
#1024
#1026
#1028
#1029
#1029
#1030
#1031
#1032
#1033
#1034
#1035
#1037
#1038
#1039
#1041
#1042
#1043
#1046
#1047
#1047
#1048
#1049
#105
#1054
#1057
#1058
#1058
#1062
#1062
#1063
#1064
#1068
#107
#1072
#1072
#1073
#1077
#1078
#108
#1080
#1081
#1081
#1082
#1083
#1084
#1084
#1085
#1086
#1087
#1096
#1097
#1097
#11
#1100
#1105
#1106
#1108
#1109
#111
#1111
#1112
#1113
#1114
#1114
#1115
#1116
#1117
#1118
#1119
#112
#1120
#1122
#1124
#1125
#1126
#1127
#1129
#113
#1131
#1132
#1133
#1134
#1137
#1138
#1139
#1140
#1140
#1141
#1142
#1143
#1143
#1144
#1144
#1145
#1145
#1146
#1147
#1148
#1149
#115
#1150
#1150
#1151
#1152
#1153
#1154
#1155
#1156
#1159
#116
#1160
#1161
#1162
#117
#1171
#1172
#1173
#1174
#1176
#1177
#1179
#1180
#1181
#1182
#1183
#1185
#1186
#1187
#1188
#119
#1190
#1191
#1192
#1193
#1194
#1195
#1197
#1198
#12
#120
#1207
#1208
#1211
#1212
#1214
#1215
#1216
#1217
#1218
#122
#1220
#1221
#1222
#1224
#1225
#1226
#1227
#1228
#1229
#123
#1232
#1233
#1235
#1238
#1239
#124
#1240
#1241
#1242
#1243
#1244
#1245
#1246
#1248
#1250
#1254
#1256
#1257
#126
#1261
#1263
#1265
#1266
#1267
#1269
#127
#1270
#1271
#1273
#1275
#1276
#1279
#1280
#1281
#1282
#1283
#1284
#1285
#1286
#1288
#1289
#129
#1290
#1292
#1293
#1294
#1298
#1299
#13
#1300
#1301
#1302
#1303
#1304
#1305
#1306
#1307
#1308
#1309
#1310
#1311
#1312
#1313
#1314
#1318
#1319
#1320
#1321
#1323
#1326
#1328
#1329
#1330
#1331
#1332
#1334
#1335
#1337
#1338
#1339
#134
#1341
#1344
#1344
#1345
#1346
#1347
#135
#1350
#1351
#1352
#1353
#1355
#1356
#1357
#1359
#136
#1360
#1361
#1363
#1364
#1366
#1367
#1368
#137
#1371
#1372
#1376
#1378
#138
#1383
#1384
#1385
#1386
#1387
#1388
#139
#1390
#1392
#1393
#1395
#1396
#1397
#1399
#14
#140
#1401
#1402
#1403
#1404
#1405
#1406
#1408
#1409
#141
#1413
#1414
#1415
#1416
#1418
#1419
#142
#1420
#1421
#1422
#1422
#1423
#1424
#1429
#143
#1431
#1433
#1437
#1438
#1439
#144
#1440
#1441
#1442
#1443
#1444
#1445
#1447
#1448
#145
#1452
#1453
#1456
#1457
#1459
#146
#1465
#1466
#1469
#1472
#1474
#1476
#1478
#148
#1480
#1481
#1482
#1485
#1486
#1488
#149
#1491
#1492
#1494
#1495
#1497
#1498
#150
#1500
#1501
#1502
#1503
#1504
#1505
#1506
#1507
#1508
#1509
#151
#1510
#1511
#1512
#1513
#1514
#1515
#1517
#1518
#1519
#152
#1520
#1522
#1523
#1524
#1525
#1526
#1527
#1529
#153
#1530
#1531
#1534
#1535
#1536
#1537
#1538
#1539
#154
#1540
#1542
#1543
#1544
#1545
#1547
#1548
#1549
#155
#1551
#1552
#1553
#1554
#1555
#1556
#1557
#1558
#1559
#156
#156
#1560
#1561
#1562
#1563
#1564
#1565
#1566
#1567
#1568
#157
#1570
#1571
#1572
#1573
#1574
#1576
#1577
#1578
#1579
#158
#1580
#1583
#1585
#1586
#1587
#1588
#1589
#1591
#1592
#1596
#1597
#1598
#1599
#1600
#1601
#1603
#1604
#1605
#1606
#1609
#161
#1610
#1612
#1613
#1614
#1615
#1618
#1620
#1623
#1624
#1625
#1627
#1628
#1629
#1630
#1631
#1632
#1633
#1634
#1635
#1636
#1637
#1638
#1639
#1640
#1641
#1644
#1645
#1646
#1647
#1648
#1649
#165
#1650
#1651
#1652
#1654
#1655
#1656
#1657
#1659
#1660
#1661
#1662
#1666
#1667
#1668
#1669
#167
#1671
#1672
#1673
#1674
#1675
#1676
#1677
#1680
#1681
#1682
#1683
#1684
#1685
#1686
#1687
#1688
#1689
#1690
#1691
#1692
#1693
#1694
#1695
#1696
#1697
#1698
#1699
#17
#1700
#1701
#1702
#1703
#1704
#1705
#1706
#1707
#1708
#1709
#171
#1710
#1711
#1712
#1714
#1717
#1718
#1719
#172
#1720
#1721
#1724
#1725
#1727
#1729
#173
#174
#175
#1756
#1757
#1759
#176
#1760
#1768
#1769
#1770
#1772
#1774
#1775
#1776
#1777
#1778
#1779
#1780
#1781
#1782
#1783
#1784
#1785
#1786
#1787
#1788
#179
#1791
#1792
#1793
#1794
#1795
#1796
#1799
#180
#1801
#1803
#1804
#1805
#1806
#1808
#1811
#1816
#1817
#1818
#1819
#1820
#1823
#1824
#1825
#188
#188
#19
#191
#192
#193
#193
#194
#197
#198
#2
#20
#20
#203
#205
#21
#21
#211
#213
#214
#215
#216
#217
#218
#22
#220
#222
#227
#228
#229
#23
#232
#233
#234
#235
#238
#2381
#2386
#2387
#2388
#2389
#239
#2390
#2392
#2393
#2394
#2395
#2396
#2397
#2398
#24
#240
#2402
#2409
#241
#241
#2410
#2411
#2414
#2415
#2417
#2418
#2419
#242
#2420
#2425
#2426
#243
#244
#2444
#2446
#2446
#245
#2450
#2454
#2456
#2457
#2458
#2459
#246
#2462
#2463
#2464
#2467
#2469
#247
#2470
#2471
#2472
#2473
#2475
#2476
#2479
#248
#2481
#2482
#2484
#2485
#2486
#2487
#2488
#2489
#249
#2490
#2491
#2495
#25
#250
#2500
#2501
#2502
#2503
#2504
#2506
#251
#2511
#2512
#2513
#2514
#252
#2521
#2524
#2525
#2525
#2526
#2527
#2529
#253
#253
#2530
#2531
#2532
#2533
#2534
#2535
#2536
#254
#2542
#2544
#2545
#255
#2552
#2553
#2554
#2555
#2556
#2557
#2558
#256
#2561
#2562
#2563
#2564
#2565
#2566
#2567
#2568
#2569
#2570
#2571
#2572
#2573
#2574
#2575
#2576
#258
#2580
#2581
#2582
#2584
#2585
#2586
#259
#2591
#2597
#2598
#26
#260
#2601
#2604
#2605
#2606
#2607
#2609
#261
#2610
#2611
#2613
#2614
#2615
#2616
#2618
#262
#2620
#2621
#2622
#2623
#2624
#2625
#2626
#2627
#2628
#2629
#2630
#2632
#2633
#2634
#2635
#2637
#2638
#2639
#264
#2641
#2643
#2644
#2645
#2646
#2647
#265
#266
#2663
#2664
#2665
#2666
#2667
#2668
#267
#267
#2670
#2678
#2682
#2683
#2684
#2685
#2686
#2687
#2688
#2689
#2689
#2690
#2690
#2691
#2692
#2693
#2694
#2695
#2696
#2697
#2698
#27
#270
#271
#273
#274
#276
#279
#279
#28
#280
#281
#282
#283
#284
#285
#286
#289
#290
#292
#293
#294
#295
#297
#298
#299
#3
#30
#301
#302
#303
#304
#304
#306
#308
#31
#310
#312
#312
#33
#336
#336
#337
#338
#339
#339
#34
#340
#341
#344
#345
#346
#347
#348
#35
#350
#351
#358
#36
#360
#364
#365
#366
#367
#368
#369
#370
#371
#374
#376
#377
#38
#380
#382
#383
#384
#385
#386
#388
#39
#390
#391
#392
#392
#394
#395
#396
#399
#4
#40
#400
#402
#403
#404
#404
#407
#409
#41
#410
#411
#411
#413
#414
#42
#420
#421
#425
#426
#426
#428
#429
#43
#430
#433
#436
#437
#438
#44
#443
#444
#445
#447
#451
#454
#459
#46
#460
#461
#462
#466
#467
#468
#47
#471
#475
#476
#477
#478
#48
#481
#482
#483
#486
#490
#491
#493
#493
#494
#495
#497
#498
#5
#50
#501
#502
#505
#506
#507
#51
#510
#510
#511
#512
#513
#521
#525
#528
#529
#53
#530
#534
#534
#535
#538
#545
#547
#55
#551
#555
#557
#558
#559
#56
#561
#562
#563
#569
#57
#571
#571
#573
#574
#575
#576
#577
#577
#578
#58
#588
#589
#59
#59
#590
#596
#596
#598
#599
#6
#601
#602
#603
#603
#604
#604
#606
#609
#609
#61
#610
#615
#616
#622
#623
#624
#624
#625
#626
#626
#627
#629
#632
#633
#636
#637
#638
#639
#639
#64
#640
#641
#643
#644
#645
#646
#647
#65
#650
#651
#652
#653
#656
#659
#66
#661
#662
#664
#665
#666
#667
#668
#669
#67
#670
#671
#675
#677
#679
#680
#681
#683
#683
#686
#692
#694
#697
#702
#703
#704
#704
#708
#709
#710
#712
#715
#715
#716
#717
#719
#722
#724
#73
#73
#730
#732
#733
#738
#739
#74
#740
#741
#745
#749
#75
#750
#752
#752
#754
#755
#76
#761
#761
#762
#763
#764
#765
#767
#769
#77
#771
#772
#774
#775
#777
#778
#779
#78
#781
#783
#783
#784
#785
#786
#787
#788
#791
#793
#793
#794
#797
#80
#803
#805
#808
#81
#811
#812
#815
#816
#817
#819
#82
#820
#821
#821
#823
#823
#827
#828
#83
#830
#831
#831
#833
#835
#836
#837
#837
#838
#838
#839
#84
#843
#848
#849
#850
#851
#852
#854
#855
#859
#860
#861
#862
#862
#863
#865
#865
#872
#873
#874
#875
#875
#876
#876
#877
#878
#882
#883
#883
#885
#886
#887
#888
#889
#890
#891
#892
#893
#894
#895
#896
#897
#899
#900
#904
#905
#906
#907
#908
#910
#911
#913
#914
#915
#917
#918
#920
#922
#922
#923
#925
#926
#928
#929
#931
#931
#933
#934
#935
#938
#941
#942
#943
#944
#945
#946
#946
#948
#949
#953
#955
#956
#958
#959
#959
#96
#961
#962
#962
#963
#965
#965
#968
#969
#969
#97
#970
#971
#972
#974
#975
#978
#98
#984
#984
#985
#99
#990
#993
#993
#994
0.1.0
0.1.1
0.1.10
0.1.10-corrected
0.1.11
0.1.2
0.1.3
0.1.4
0.1.5
0.1.6
0.1.7
0.1.8
0.1.9
0.2.0
0.2.1.1
0.2.2
0.2.3
0.2.4
0.2.5
0.3.0
0.3.1
0.3.2
0.3.3
0.3.4
0.3.5
0.3.6
0.3.7
last_python2
Select branches
Hide Pull Requests
c_strcmp_dev
chess
dev-config
dev-connect-to-eth-node
dev-cvc4
dev-detect-transaction-reordering
dev-evm-experiments
dev-evm-stoppingcond
dev-exp-unsound
dev-expressions
dev-ignore-gas-better
dev-lazy-mode
dev-report-worker
dev-visitors-opt
ekilmer/use-pyproject-toml
fix-increase-symbolic-buffer
fix-killed-workers
master
ss/from_chess/heap_tracking
ss/heap_tracker
std_string_dev
test-multiple-pythons
#1
#10
#100
#1001
#1002
#1004
#1007
#1009
#101
#1010
#1011
#1013
#1013
#1014
#1017
#1019
#102
#1022
#1023
#1024
#1026
#1028
#1029
#1029
#1030
#1031
#1032
#1033
#1034
#1035
#1037
#1038
#1039
#1041
#1042
#1043
#1046
#1047
#1047
#1048
#1049
#105
#1054
#1057
#1058
#1058
#1062
#1062
#1063
#1064
#1068
#107
#1072
#1072
#1073
#1077
#1078
#108
#1080
#1081
#1081
#1082
#1083
#1084
#1084
#1085
#1086
#1087
#1096
#1097
#1097
#11
#1100
#1105
#1106
#1108
#1109
#111
#1111
#1112
#1113
#1114
#1114
#1115
#1116
#1117
#1118
#1119
#112
#1120
#1122
#1124
#1125
#1126
#1127
#1129
#113
#1131
#1132
#1133
#1134
#1137
#1138
#1139
#1140
#1140
#1141
#1142
#1143
#1143
#1144
#1144
#1145
#1145
#1146
#1147
#1148
#1149
#115
#1150
#1150
#1151
#1152
#1153
#1154
#1155
#1156
#1159
#116
#1160
#1161
#1162
#117
#1171
#1172
#1173
#1174
#1176
#1177
#1179
#1180
#1181
#1182
#1183
#1185
#1186
#1187
#1188
#119
#1190
#1191
#1192
#1193
#1194
#1195
#1197
#1198
#12
#120
#1207
#1208
#1211
#1212
#1214
#1215
#1216
#1217
#1218
#122
#1220
#1221
#1222
#1224
#1225
#1226
#1227
#1228
#1229
#123
#1232
#1233
#1235
#1238
#1239
#124
#1240
#1241
#1242
#1243
#1244
#1245
#1246
#1248
#1250
#1254
#1256
#1257
#126
#1261
#1263
#1265
#1266
#1267
#1269
#127
#1270
#1271
#1273
#1275
#1276
#1279
#1280
#1281
#1282
#1283
#1284
#1285
#1286
#1288
#1289
#129
#1290
#1292
#1293
#1294
#1298
#1299
#13
#1300
#1301
#1302
#1303
#1304
#1305
#1306
#1307
#1308
#1309
#1310
#1311
#1312
#1313
#1314
#1318
#1319
#1320
#1321
#1323
#1326
#1328
#1329
#1330
#1331
#1332
#1334
#1335
#1337
#1338
#1339
#134
#1341
#1344
#1344
#1345
#1346
#1347
#135
#1350
#1351
#1352
#1353
#1355
#1356
#1357
#1359
#136
#1360
#1361
#1363
#1364
#1366
#1367
#1368
#137
#1371
#1372
#1376
#1378
#138
#1383
#1384
#1385
#1386
#1387
#1388
#139
#1390
#1392
#1393
#1395
#1396
#1397
#1399
#14
#140
#1401
#1402
#1403
#1404
#1405
#1406
#1408
#1409
#141
#1413
#1414
#1415
#1416
#1418
#1419
#142
#1420
#1421
#1422
#1422
#1423
#1424
#1429
#143
#1431
#1433
#1437
#1438
#1439
#144
#1440
#1441
#1442
#1443
#1444
#1445
#1447
#1448
#145
#1452
#1453
#1456
#1457
#1459
#146
#1465
#1466
#1469
#1472
#1474
#1476
#1478
#148
#1480
#1481
#1482
#1485
#1486
#1488
#149
#1491
#1492
#1494
#1495
#1497
#1498
#150
#1500
#1501
#1502
#1503
#1504
#1505
#1506
#1507
#1508
#1509
#151
#1510
#1511
#1512
#1513
#1514
#1515
#1517
#1518
#1519
#152
#1520
#1522
#1523
#1524
#1525
#1526
#1527
#1529
#153
#1530
#1531
#1534
#1535
#1536
#1537
#1538
#1539
#154
#1540
#1542
#1543
#1544
#1545
#1547
#1548
#1549
#155
#1551
#1552
#1553
#1554
#1555
#1556
#1557
#1558
#1559
#156
#156
#1560
#1561
#1562
#1563
#1564
#1565
#1566
#1567
#1568
#157
#1570
#1571
#1572
#1573
#1574
#1576
#1577
#1578
#1579
#158
#1580
#1583
#1585
#1586
#1587
#1588
#1589
#1591
#1592
#1596
#1597
#1598
#1599
#1600
#1601
#1603
#1604
#1605
#1606
#1609
#161
#1610
#1612
#1613
#1614
#1615
#1618
#1620
#1623
#1624
#1625
#1627
#1628
#1629
#1630
#1631
#1632
#1633
#1634
#1635
#1636
#1637
#1638
#1639
#1640
#1641
#1644
#1645
#1646
#1647
#1648
#1649
#165
#1650
#1651
#1652
#1654
#1655
#1656
#1657
#1659
#1660
#1661
#1662
#1666
#1667
#1668
#1669
#167
#1671
#1672
#1673
#1674
#1675
#1676
#1677
#1680
#1681
#1682
#1683
#1684
#1685
#1686
#1687
#1688
#1689
#1690
#1691
#1692
#1693
#1694
#1695
#1696
#1697
#1698
#1699
#17
#1700
#1701
#1702
#1703
#1704
#1705
#1706
#1707
#1708
#1709
#171
#1710
#1711
#1712
#1714
#1717
#1718
#1719
#172
#1720
#1721
#1724
#1725
#1727
#1729
#173
#174
#175
#1756
#1757
#1759
#176
#1760
#1768
#1769
#1770
#1772
#1774
#1775
#1776
#1777
#1778
#1779
#1780
#1781
#1782
#1783
#1784
#1785
#1786
#1787
#1788
#179
#1791
#1792
#1793
#1794
#1795
#1796
#1799
#180
#1801
#1803
#1804
#1805
#1806
#1808
#1811
#1816
#1817
#1818
#1819
#1820
#1823
#1824
#1825
#188
#188
#19
#191
#192
#193
#193
#194
#197
#198
#2
#20
#20
#203
#205
#21
#21
#211
#213
#214
#215
#216
#217
#218
#22
#220
#222
#227
#228
#229
#23
#232
#233
#234
#235
#238
#2381
#2386
#2387
#2388
#2389
#239
#2390
#2392
#2393
#2394
#2395
#2396
#2397
#2398
#24
#240
#2402
#2409
#241
#241
#2410
#2411
#2414
#2415
#2417
#2418
#2419
#242
#2420
#2425
#2426
#243
#244
#2444
#2446
#2446
#245
#2450
#2454
#2456
#2457
#2458
#2459
#246
#2462
#2463
#2464
#2467
#2469
#247
#2470
#2471
#2472
#2473
#2475
#2476
#2479
#248
#2481
#2482
#2484
#2485
#2486
#2487
#2488
#2489
#249
#2490
#2491
#2495
#25
#250
#2500
#2501
#2502
#2503
#2504
#2506
#251
#2511
#2512
#2513
#2514
#252
#2521
#2524
#2525
#2525
#2526
#2527
#2529
#253
#253
#2530
#2531
#2532
#2533
#2534
#2535
#2536
#254
#2542
#2544
#2545
#255
#2552
#2553
#2554
#2555
#2556
#2557
#2558
#256
#2561
#2562
#2563
#2564
#2565
#2566
#2567
#2568
#2569
#2570
#2571
#2572
#2573
#2574
#2575
#2576
#258
#2580
#2581
#2582
#2584
#2585
#2586
#259
#2591
#2597
#2598
#26
#260
#2601
#2604
#2605
#2606
#2607
#2609
#261
#2610
#2611
#2613
#2614
#2615
#2616
#2618
#262
#2620
#2621
#2622
#2623
#2624
#2625
#2626
#2627
#2628
#2629
#2630
#2632
#2633
#2634
#2635
#2637
#2638
#2639
#264
#2641
#2643
#2644
#2645
#2646
#2647
#265
#266
#2663
#2664
#2665
#2666
#2667
#2668
#267
#267
#2670
#2678
#2682
#2683
#2684
#2685
#2686
#2687
#2688
#2689
#2689
#2690
#2690
#2691
#2692
#2693
#2694
#2695
#2696
#2697
#2698
#27
#270
#271
#273
#274
#276
#279
#279
#28
#280
#281
#282
#283
#284
#285
#286
#289
#290
#292
#293
#294
#295
#297
#298
#299
#3
#30
#301
#302
#303
#304
#304
#306
#308
#31
#310
#312
#312
#33
#336
#336
#337
#338
#339
#339
#34
#340
#341
#344
#345
#346
#347
#348
#35
#350
#351
#358
#36
#360
#364
#365
#366
#367
#368
#369
#370
#371
#374
#376
#377
#38
#380
#382
#383
#384
#385
#386
#388
#39
#390
#391
#392
#392
#394
#395
#396
#399
#4
#40
#400
#402
#403
#404
#404
#407
#409
#41
#410
#411
#411
#413
#414
#42
#420
#421
#425
#426
#426
#428
#429
#43
#430
#433
#436
#437
#438
#44
#443
#444
#445
#447
#451
#454
#459
#46
#460
#461
#462
#466
#467
#468
#47
#471
#475
#476
#477
#478
#48
#481
#482
#483
#486
#490
#491
#493
#493
#494
#495
#497
#498
#5
#50
#501
#502
#505
#506
#507
#51
#510
#510
#511
#512
#513
#521
#525
#528
#529
#53
#530
#534
#534
#535
#538
#545
#547
#55
#551
#555
#557
#558
#559
#56
#561
#562
#563
#569
#57
#571
#571
#573
#574
#575
#576
#577
#577
#578
#58
#588
#589
#59
#59
#590
#596
#596
#598
#599
#6
#601
#602
#603
#603
#604
#604
#606
#609
#609
#61
#610
#615
#616
#622
#623
#624
#624
#625
#626
#626
#627
#629
#632
#633
#636
#637
#638
#639
#639
#64
#640
#641
#643
#644
#645
#646
#647
#65
#650
#651
#652
#653
#656
#659
#66
#661
#662
#664
#665
#666
#667
#668
#669
#67
#670
#671
#675
#677
#679
#680
#681
#683
#683
#686
#692
#694
#697
#702
#703
#704
#704
#708
#709
#710
#712
#715
#715
#716
#717
#719
#722
#724
#73
#73
#730
#732
#733
#738
#739
#74
#740
#741
#745
#749
#75
#750
#752
#752
#754
#755
#76
#761
#761
#762
#763
#764
#765
#767
#769
#77
#771
#772
#774
#775
#777
#778
#779
#78
#781
#783
#783
#784
#785
#786
#787
#788
#791
#793
#793
#794
#797
#80
#803
#805
#808
#81
#811
#812
#815
#816
#817
#819
#82
#820
#821
#821
#823
#823
#827
#828
#83
#830
#831
#831
#833
#835
#836
#837
#837
#838
#838
#839
#84
#843
#848
#849
#850
#851
#852
#854
#855
#859
#860
#861
#862
#862
#863
#865
#865
#872
#873
#874
#875
#875
#876
#876
#877
#878
#882
#883
#883
#885
#886
#887
#888
#889
#890
#891
#892
#893
#894
#895
#896
#897
#899
#900
#904
#905
#906
#907
#908
#910
#911
#913
#914
#915
#917
#918
#920
#922
#922
#923
#925
#926
#928
#929
#931
#931
#933
#934
#935
#938
#941
#942
#943
#944
#945
#946
#946
#948
#949
#953
#955
#956
#958
#959
#959
#96
#961
#962
#962
#963
#965
#965
#968
#969
#969
#97
#970
#971
#972
#974
#975
#978
#98
#984
#984
#985
#99
#990
#993
#993
#994
0.1.0
0.1.1
0.1.10
0.1.10-corrected
0.1.11
0.1.2
0.1.3
0.1.4
0.1.5
0.1.6
0.1.7
0.1.8
0.1.9
0.2.0
0.2.1.1
0.2.2
0.2.3
0.2.4
0.2.5
0.3.0
0.3.1
0.3.2
0.3.3
0.3.4
0.3.5
0.3.6
0.3.7
last_python2
-
cdf6c4b496
Change project status to archived
master
Disconnect3d
2026-06-24 18:28:21 +02:00 -
066bfcf127
Bump actions/setup-node from 4 to 6 (#2686)
dependabot[bot]
2026-02-12 23:09:35 -05:00 -
40907ebc23
Bump actions/setup-python from 4 to 6 (#2685)
dependabot[bot]
2026-02-12 23:09:29 -05:00 -
fee9bcf0f8
Bump actions/checkout from 5 to 6 (#2688)
dependabot[bot]
2026-02-12 23:09:23 -05:00 -
a613e37cbf
Bump pypa/gh-action-pypi-publish from 1.12.4 to 1.13.0 (#2682)
dependabot[bot]
2026-02-12 23:09:17 -05:00 -
cd174b6177
Bump coverallsapp/github-action from 2.3.6 to 2.3.7 (#2687)
dependabot[bot]
2026-02-12 23:09:10 -05:00 -
12157a32ca
tests: skip ethereum_bench false positive (reentrancy 2300-gas transfer) and remove all @pytest.mark.fast; keep CI server solc fix separate
ekilmer/use-pyproject-toml
Dan Guido
2025-08-23 17:59:21 +00:00 -
5a2955bb2c
ci(server): install py-solc-x in server venv and symlink venv-local solc 0.4.24 before running tests (avoid heredocs)
Dan Guido
2025-08-23 17:52:47 +00:00 -
207d4de78f
ci: replace heredocs with python -c one-liners for solcx install; fix YAML parsing
Dan Guido
2025-08-23 16:18:02 +00:00 -
d2210d6987
Add developer quickstart guide and preserve original basic binary
Dan Guido
2025-08-23 14:14:49 +00:00 -
a2f1c2f1da
Disable basic example in CI due to glibc compatibility issues
Dan Guido
2025-08-23 14:09:51 +00:00 -
289e1e9f05
Fix README consistency and add GzipFile Python 3.12 compatibility

Dan GuidoandClaude
2025-08-23 03:47:50 +00:00 -
59c4f77114
Fix formatting and enable pre-commit hooks

Dan GuidoandClaude
2025-08-23 02:34:47 +00:00 -
d63fb5b47e
Fix formatting issues

Dan GuidoandClaude
2025-08-23 02:31:54 +00:00 -
f170ef1e8b
Increase essence2 test complexity from 5 to 6 nested keccak256 levels

Dan GuidoandClaude
2025-08-23 02:26:01 +00:00 -
6eec5b56f1
Implement multi-version Solidity support for SHA3 tests

Dan GuidoandClaude
2025-08-23 02:18:05 +00:00 -
4d12c1a523
Fix SHA3 test performance by reducing nesting complexity

Dan GuidoandClaude
2025-08-23 02:06:33 +00:00 -
bc09f08686
Replace pysha3 with pycryptodome and update to crytic-compile 0.3.x

Dan GuidoandClaude
2025-08-23 01:53:20 +00:00 -
1d3251fc26
Fix gzip state serialization Ubuntu 24.04 Python 3.12
Eric Kilmer
2025-08-22 18:09:08 +00:00 -
e8320bc101
Fix syntax errors in test_abi.py and test_models.py

Dan GuidoandClaude
2025-08-22 16:59:01 +00:00 -
d531183595
Update GitHub Actions and add pytest markers to test files

Dan GuidoandClaude
2025-08-22 16:44:47 +00:00 -
fbe5f6d0fe
Add aarch64 test group to CI matrix

Dan GuidoandClaude
2025-08-22 16:32:41 +00:00 -
4b5646e5b4
Skip failing AArch64 UMOV tests and add dedicated test group

Dan GuidoandClaude
2025-08-22 16:24:00 +00:00 -
33f0a25482
Format parsetab.py with ruff
Dan Guido
2025-08-22 08:45:01 +00:00 -
affc3b1704
Apply linting and formatting fixes to CTF examples
Dan Guido
2025-08-22 08:38:29 +00:00 -
102a21e825
Fix CTF examples and rename directory
Dan Guido
2025-08-22 08:36:45 +00:00 -
ac93f9a368
Remove isort configuration - ruff handles import sorting
Dan Guido
2025-08-22 07:39:51 +00:00 -
a1bd0ad480
Fix CI test failures and document known limitations

Dan GuidoandClaude
2025-08-22 07:29:43 +00:00 -
882382c953
Modernize package build configuration

Dan GuidoandClaude
2025-08-22 06:56:31 +00:00 -
ef8677a572
Fix uninitialized variables bug in fileio.c
Dan Guido
2025-08-22 02:18:33 -04:00 -
f32f3ff20b
Fix CI issues and apply safe updates
Dan Guido
2025-08-22 01:57:50 -04:00 -
5eed89bf6e
Update ruff to latest version 0.12.10

Dan GuidoandClaude
2025-08-22 01:51:00 -04:00 -
b9b5ab733e
Add MATE integration references back to README

Dan GuidoandClaude
2025-08-22 01:48:39 -04:00 -
25ae2cd51a
Upgrade all GitHub Actions to latest versions

Dan GuidoandClaude
2025-08-22 01:45:17 -04:00 -
1eb9648f4d
Switch CI to use uv for faster package installation

Dan GuidoandClaude
2025-08-22 01:41:36 -04:00 -
a58383d571
Fix CI failures

Dan GuidoandClaude
2025-08-22 01:31:56 -04:00 -
a1be028aed
Exclude native tests from fast-tests to eliminate redundancy

Dan GuidoandClaude
2025-08-22 01:29:47 -04:00 -
b14e907429
Add caching for SMT solvers and Solidity compilers

Dan GuidoandClaude
2025-08-22 01:27:21 -04:00 -
967d37e832
Speed up fast-tests with parallel execution

Dan GuidoandClaude
2025-08-22 01:25:42 -04:00 -
11fd908cd9
Fix remaining CI issues

Dan GuidoandClaude
2025-08-22 01:19:06 -04:00 -
ccbd420cf4
Simplify CI and improve developer experience

Dan GuidoandClaude
2025-08-22 01:14:29 -04:00 -
55f0f638fe
Restructure README and remove broken nightly builds

Dan GuidoandClaude
2025-08-22 01:00:40 -04:00 -
a9759568e4
Modernize README with uv installation and updated documentation

Dan GuidoandClaude
2025-08-22 00:47:38 -04:00 -
9c0ba5b7fc
Import BugsBunny CTF 2017 rev150 challenge from PR #29

Dan GuidoandClaude
2025-08-22 00:43:12 -04:00 -
64d41e0010
Import real-world CTF challenge solutions from manticore-examples

Dan GuidoandClaude
2025-08-22 00:38:35 -04:00 -
e85a065513
Add Google CTF 2016 Unbreakable challenge to real-world examples

Dan GuidoandClaude
2025-08-22 00:22:19 -04:00 -
1b0b7062ab
Add real-world CTF challenge examples to showcase Manticore capabilities

Dan GuidoandClaude
2025-08-22 00:11:23 -04:00 -
cc66d64f84
Add test suite for manticore-examples compatibility

Dan GuidoandClaude
2025-08-21 23:51:53 -04:00 -
8b0c228f47
Enable spawn-based multiprocessing on macOS for better performance

Dan GuidoandClaude
2025-08-21 23:34:48 -04:00 -
5d59fd4f36
Remove maintenance mode warning and update project status

Dan GuidoandClaude
2025-08-21 23:16:19 -04:00 -
28f4a7db6f
Improve developer UX for macOS and cross-platform development

Dan GuidoandClaude
2025-08-21 21:45:43 -04:00 -
b68fcdaa63
Replace pkg_resources with importlib.metadata and modernize test markers

Dan GuidoandClaude
2025-08-21 21:36:49 -04:00 -
7756bfcb8f
Merge branch 'master' into fix-killed-workers
fix-killed-workers
Dan Guido
2025-08-21 13:29:13 -04:00 -
6714ad3e1f
Merge branch 'master' into fix-increase-symbolic-buffer
fix-increase-symbolic-buffer
Dan Guido
2025-08-21 13:26:51 -04:00 -
de6a40d2a7
Merge branch 'master' into dev-report-worker-local
dev-report-worker
Dan Guido
2025-08-21 13:25:03 -04:00 -
1d9213bae8
Fix Solidity version compatibility for CI tests
Dan Guido
2025-08-21 06:30:25 -04:00 -
8498b709a8
Optimize CI workflow for faster execution
Dan Guido
2025-08-21 06:02:34 -04:00 -
e4eb333e03
Apply ruff formatting to test_ethereum.py
Dan Guido
2025-08-21 05:46:48 -04:00 -
b63c2be31d
Fix server tests to use correct solc version
Dan Guido
2025-08-21 05:44:53 -04:00 -
af8a01f0f7
Fix Solidity pragma for compatibility with multiple compiler versions
Dan Guido
2025-08-21 05:42:37 -04:00 -
2e88bca1d1
Fix manticore-server issues
Dan Guido
2025-08-21 05:36:20 -04:00 -
df1ed8dc3a
Replace black with ruff format in WASM test generation scripts
Dan Guido
2025-08-21 05:30:17 -04:00 -
f1cf5e0e85
Mark race condition test as expected failure
Dan Guido
2025-08-21 05:26:16 -04:00 -
28a1f5fe8b
Fix ruff formatting in manticore_server.py
Dan Guido
2025-08-21 05:20:33 -04:00 -
759b265338
Remove .coveragerc references from test script

Dan GuidoandClaude
2025-08-21 05:14:20 -04:00 -
5929ea75df
Fix mypy type error in manticore-server

Dan GuidoandClaude
2025-08-21 05:12:33 -04:00 -
5a547b0303
Add uv.lock to .gitignore

Dan GuidoandClaude
2025-08-21 05:11:18 -04:00 -
031f0aba82
Remove uv.lock file
Dan Guido
2025-08-21 05:10:13 -04:00 -
065a573094
Fix manticore-server installation in CI

Dan GuidoandClaude
2025-08-21 05:09:57 -04:00 -
227fda0265
Fix CI failures: server dependencies and CVC4 download URL

Dan GuidoandClaude
2025-08-21 05:07:26 -04:00 -
fc4456b70f
Fix CI errors: library placeholders and Python requirements

Dan GuidoandClaude
2025-08-21 05:03:30 -04:00 -
9058d6d2aa
Fix manticore-server dependency path
Dan Guido
2025-08-21 04:40:13 -04:00 -
895918a9ab
Fix library placeholder handling in Ethereum bytecode
Dan Guido
2025-08-21 04:38:30 -04:00 -
180cf0453d
Fix Solidity version issues in CI - use solc-select

Dan GuidoandClaude
2025-08-21 04:29:00 -04:00 -
82c6646da5
Simplify CI lint job - run on whole codebase

Dan GuidoandClaude
2025-08-21 04:24:21 -04:00 -
22d8569d63
Fix CI failures properly this time

Dan GuidoandClaude
2025-08-21 04:15:52 -04:00 -
0cb31a9f37
Fix remaining CI failures for lint and server tests

Dan GuidoandClaude
2025-08-21 04:10:07 -04:00 -
e726fde186
Fix CI failures across lint, tests, and server

Dan GuidoandClaude
2025-08-21 04:03:44 -04:00 -
12a6b8f90a
Remove black and complete migration to ruff

Dan GuidoandClaude
2025-08-21 03:56:51 -04:00 -
71abb10080
Update CI and fix remaining code quality issues
Dan Guido
2025-08-21 03:51:00 -04:00 -
b297b9ab3f
Consolidate documentation and clean up temporary files
Dan Guido
2025-08-21 03:43:46 -04:00 -
117ec9da72
Major modernization and cleanup of Manticore codebase
Dan Guido
2025-08-21 03:34:58 -04:00 -
1024c2287f
Document migration path from tox.ini to complete pyproject.toml adoption

Dan GuidoandClaude
2025-08-21 02:45:07 -04:00 -
7e72616ed3
Improve solver abstraction and multi-architecture support

Dan GuidoandClaude
2025-08-21 02:35:08 -04:00 -
3e589ab5d3
Add compatibility fixes and Docker testing infrastructure

Dan GuidoandClaude
2025-08-21 02:26:50 -04:00 -
9b9b4953e7
Fix SHA3/Keccak compatibility for Python 3.11+

Dan GuidoandClaude
2025-08-21 00:05:13 -04:00 -
c374675577
Fix pytest configuration for compatibility

Dan GuidoandClaude
2025-08-20 23:51:27 -04:00 -
010c369990
Enable Python 3.11+ support

Dan GuidoandClaude
2025-08-20 23:45:22 -04:00 -
fe2ac403fc
Bump actions/setup-node from 3 to 4 (#2664)
dependabot[bot]
2025-08-20 23:43:38 -04:00 -
536967d612
Bump pypa/gh-action-pip-audit from 1.0.8 to 1.1.0 (#2665)
dependabot[bot]
2025-08-20 23:43:20 -04:00 -
8b1ee68ab0
Bump coverallsapp/github-action from 2.2.1 to 2.3.6 (#2666)
dependabot[bot]
2025-08-20 23:43:02 -04:00 -
3bb8f3d75a
Bump actions/checkout from 3 to 5 (#2667)
dependabot[bot]
2025-08-20 23:42:52 -04:00 -
413e4bf9f8
Bump pypa/gh-action-pypi-publish from 1.8.8 to 1.12.4 (#2668)
dependabot[bot]
2025-08-20 23:42:41 -04:00 -
4ef61ecd21
Update tool versions and CI infrastructure

Dan GuidoandClaude
2025-08-20 23:37:44 -04:00 -
84ad54d116
Update Python version requirements across the project

Dan GuidoandClaude
2025-08-20 23:34:40 -04:00 -
180dcc6966
Remove obsolete configuration files

Dan GuidoandClaude
2025-08-20 23:28:01 -04:00 -
5ea76fc1c7
Drop Python 3.7 support and consolidate more configs

Dan GuidoandClaude
2025-08-20 23:24:00 -04:00 -
e6435119c7
Consolidate tool configurations into pyproject.toml

Dan GuidoandClaude
2025-08-20 23:15:58 -04:00 -
633eb3775c
Merge branch 'test-multiple-pythons' into pr-2616
Dan Guido
2025-08-20 23:06:36 -04:00 -
d77e031d2d
Fix pyproject.toml migration from setup.py

Dan GuidoandClaude
2025-08-20 23:04:05 -04:00