trailofbits/manticore
1
0
Fork 0
mirror of https://github.com/trailofbits/manticore.git synced 2026-10-11 22:29:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,124 Commits 22 Branches 28 Tags

Default Branch

master

cdf6c4b496 · Change project status to archived · Updated 2026-06-24 16:28:21 +00:00
 ZIP  TAR.GZ

Branches

ekilmer/use-pyproject-toml

12157a32ca · tests: skip ethereum_bench false positive (reentrancy 2300-gas transfer) and remove all @pytest.mark.fast; keep CI server solc fix separate · Updated 2025-08-23 17:59:21 +00:00    trailofbits

15
98
 ZIP  TAR.GZ
fix-killed-workers

7756bfcb8f · Merge branch 'master' into fix-killed-workers · Updated 2025-08-21 17:29:13 +00:00    trailofbits

6
11
 ZIP  TAR.GZ
fix-increase-symbolic-buffer

6714ad3e1f · Merge branch 'master' into fix-increase-symbolic-buffer · Updated 2025-08-21 17:26:51 +00:00    trailofbits

6
2
 ZIP  TAR.GZ
dev-report-worker

de6a40d2a7 · Merge branch 'master' into dev-report-worker-local · Updated 2025-08-21 17:25:03 +00:00    trailofbits

81
6
 ZIP  TAR.GZ
test-multiple-pythons

b4270f1128 · Revert to Ubuntu 20.04 · Updated 2023-09-15 20:20:59 +00:00    trailofbits

15
10
 ZIP  TAR.GZ
chess

5d712a0e5f · Add boolean simplifications (#2563) · Updated 2022-07-27 14:30:09 +00:00    trailofbits

73
100
 ZIP  TAR.GZ
dev-visitors-opt

6b415cd636 · Account for finite memory conditions · Updated 2022-06-07 18:26:56 +00:00    trailofbits

81
3
 ZIP  TAR.GZ
ss/from_chess/heap_tracking

7970babd53 · fix import · Updated 2021-07-22 17:28:43 +00:00    trailofbits

120
5
 ZIP  TAR.GZ
dev-lazy-mode

97d95f2a5c · Re-enable jumpdest check · Updated 2021-06-09 21:07:54 +00:00    trailofbits

127
27
 ZIP  TAR.GZ
ss/heap_tracker

38bcb7eb07 · updates · Updated 2021-05-06 15:42:40 +00:00    trailofbits

144
19
 ZIP  TAR.GZ
dev-evm-experiments

f0d59ce002 · Experimental branch · Updated 2021-03-10 14:34:22 +00:00    trailofbits

145
4
 ZIP  TAR.GZ
dev-expressions

f2055be673 · Fix some wasm tests due to bad changes made to generator script · Updated 2021-02-23 17:40:20 +00:00    trailofbits

144
147
 ZIP  TAR.GZ
dev-cvc4

2b72de7b8a · Small constraints/evm refactor · Updated 2021-01-22 15:57:19 +00:00    trailofbits

146
1
 ZIP  TAR.GZ
dev-ignore-gas-better

f1f9f92df2 · bad merge · Updated 2020-12-08 12:05:14 +00:00    trailofbits

150
11
 ZIP  TAR.GZ
dev-exp-unsound

dd7236fb0d · blkn · Updated 2020-09-08 19:21:07 +00:00    trailofbits

161
6
 ZIP  TAR.GZ
dev-evm-stoppingcond

70b1fddd91 · Add/fix tests · Updated 2020-09-02 15:43:28 +00:00    trailofbits

161
3
 ZIP  TAR.GZ
c_strcmp_dev

c81883b68a · Fixed code climate issues · Updated 2020-08-04 15:20:49 +00:00    trailofbits

174
4
 ZIP  TAR.GZ
dev-connect-to-eth-node

cca9dbfc29 · Eliminate new_storage method. · Updated 2020-06-12 18:56:03 +00:00    trailofbits

186
113
 ZIP  TAR.GZ
dev-detect-transaction-reordering

4412c66102 · Add optimization. · Updated 2020-06-09 19:21:08 +00:00    trailofbits

208
7
 ZIP  TAR.GZ
dev-config

dfad1d2a3c · trying to make native/wasm work · Updated 2020-05-20 17:58:59 +00:00    trailofbits

192
7
 ZIP  TAR.GZ