Default Branch

develop 8201bfd75f · Fix issues with statespace on solc 0.8.26 (#1863) · Updated 3 months ago

ZIP  TAR.GZ

Branches

feature/ignore-regressions e56f69bf1d · Merge branch 'develop' into feature/ignore-regressions · Updated 6 years ago	1261 0	Included	ZIP  TAR.GZ
feature/import-custom-modules 8ada755aa7 · Minor grammar improvements · Updated 5 years ago	965 0	Included	ZIP  TAR.GZ
feature/regioned_storage a91e341857 · Merge branch 'develop' into feature/regioned_storage · Updated 5 years ago	977 28		ZIP  TAR.GZ
feature/summary 9cb5cf1595 · print the actual amount of summaries that have been generated · Updated 5 years ago	762 13		ZIP  TAR.GZ
feature/tx_lists dec47b102b · Support transaction display · Updated 6 years ago	1538 5		ZIP  TAR.GZ
feature/update_solcx 4e7152f2cd · update integration with py-solc-x in util · Updated 4 years ago	354 0	Included	ZIP  TAR.GZ
features/iprof_plugin 0f27e06e0c · implement basic version of the instruction profiler plugin · Updated 6 years ago	1606 3		ZIP  TAR.GZ
fix-balance-overflow 4bfaadea98 · Remove unneeded import · Updated 5 years ago	947 0	Included	ZIP  TAR.GZ
fix/boundedloops 04a2fd4e7f · Update mythril/laser/ethereum/strategy/extensions/bounded_loops.py · Updated 5 years ago	783 2		ZIP  TAR.GZ
fix/circleci-config 9dc390d2db · Fix typo in env name and remove branch from workflow · Updated 6 years ago	1257 0	Included	ZIP  TAR.GZ
fix/constraints-after-issues 52d5afe0b6 · Merge branch 'develop' into fix/constraints-after-issues · Updated 5 years ago	848 0	Included	ZIP  TAR.GZ
fix/dep_pruning 9597fe50c9 · Refactor with black · Updated 5 years ago	1076 2		ZIP  TAR.GZ
fix/iprof-ctrlc 73c6f8390a · Merge branch 'develop' into fix/iprof-ctrlc · Updated 5 years ago	775 0	Included	ZIP  TAR.GZ
fix/refactor 996de09dd8 · Remove test · Updated 10 months ago	32 11		ZIP  TAR.GZ
fix/signextend ca4243edd7 · restore original requirements · Updated 4 years ago	296 3		ZIP  TAR.GZ
fix/timeout 5814bbbc24 · consider creation transaction · Updated 6 years ago	1635 8		ZIP  TAR.GZ
fix_integers 9cc47dba56 · Remove unused import · Updated 5 years ago	1115 0	Included	ZIP  TAR.GZ
flashfck b099a24861 · Add flashfck module · Updated 5 years ago	559 1		ZIP  TAR.GZ
function_lists 2ce971cf31 · Exempt constructor and fallback function · Updated 5 years ago	927 4		ZIP  TAR.GZ
harvey_style_assertions b0ee14d281 · Merge branch 'develop' into harvey_style_assertions · Updated 5 years ago	802 0	Included	ZIP  TAR.GZ