Commit Graph

4685 Commits (0a2996a83e9fa90c9f847cdf6e0bd8e527baa8f7)
 

Author SHA1 Message Date
Nikhil Parasaram dcce4e9ca1
Mythril v0.22.7 4 years ago
Nikhil Parasaram 9ec5f11e23
Black and plugin fix (#1400) 4 years ago
Nikhil Parasaram 440c313f70
Update SWC data 4 years ago
Nikhil Parasaram e926f415f9
Add call limit plugin (#1397) 4 years ago
Nikhil Parasaram 6e37c937af
Support args for mythril plugins (#1398) 4 years ago
Nikhil Parasaram 05ef257480
Add SWC-117 data (#1399) 4 years ago
Nikhil Parasaram fd32a76479
Mythril v0.22.6 4 years ago
Nikhil Parasaram 6ed8a5dc4e
Remove cases with out of bounds access (#1396) 4 years ago
Nikhil Parasaram 88c64e56cd
Handle symbolic balance arg (#1394) 4 years ago
Nikhil Parasaram 8be24979f8
Support laser plugins (#1392) 4 years ago
Nikhil Parasaram 91f4c342d6
Mythril v0.22.5 4 years ago
Bernhard Mueller 67fdb892c2
Merge pull request #1391 from ConsenSys/userassertions 4 years ago
Bernhard Mueller c53d5e5f74 Black 4 years ago
Bernhard Mueller f5c45bc66c Immediately create issue instead of PotentialIssue when user assertion fails 4 years ago
Nikhil Parasaram 85a13addcb
Instrument laser with plugins (#1388) 4 years ago
Nikhil Parasaram bbb88fb8bd
Fix hashes (#1389) 4 years ago
Nikhil Parasaram 24b2ec862f
Use concrete calldata size value when copying and transfering (#1381) 5 years ago
Nikhil Parasaram bd00d944ca
Fix config to handle when infura key isn't provided (#1380) 5 years ago
Bernhard Mueller 2ba2d3e5bd
Merge pull request #1377 from ConsenSys/bugfix/multicontract1 5 years ago
Nikhil Parasaram d34ba49f1c
Update README.md 5 years ago
Nikhil Parasaram 698b1d423f Fix create tests 5 years ago
Nikhil Parasaram c394fbd976 Fix a multicontract bug 5 years ago
JoranHonig 9e1403ab95
Merge pull request #1353 from ConsenSys/feature/laser_plugins 5 years ago
JoranHonig cd9d8dc5c6
Merge branch 'develop' into feature/laser_plugins 5 years ago
Nikhil Parasaram 7c34f300a5
add option for z3 parallelising (#1372) 5 years ago
Joran Honig ba564ce437 Merge remote-tracking branch 'origin/develop' into feature/laser_plugins 5 years ago
Joran Honig 69ec27885a remove dependency on plugin annotation 5 years ago
Joran Honig 00cf893807 make mutation annotations persist over calls 5 years ago
Joran Honig 5e140d6f1e refactor propagation logic to be more generic 5 years ago
Joran Honig 4ec4ef242f add persist over call property 5 years ago
Joran Honig 93fdbf12a3 add todo relating to dependency on plugin from the svm 5 years ago
Joran Honig 9631c3efd5 remove import from init 5 years ago
Joran Honig ccca3d0c5b remove unused import from init 5 years ago
Joran Honig 647692693f remove unused parametere 5 years ago
Joran Honig 3a5fc9372e remove unused enable_coverage strategy 5 years ago
Joran Honig 73de74b6df call items() 5 years ago
Joran Honig 4def8010a3 make laser plugins be builders 5 years ago
Joran Honig ca8bad0a8e remove unused parameter 5 years ago
Nikhil Parasaram 1ddfc598be
Fix string loop errors (#1370) 5 years ago
Nikhil Parasaram c99555d69b
0.22.4 5 years ago
Nikhil Parasaram bbe446a152
Remove/edelweiss (#1369) 5 years ago
Nikhil Parasaram a582ed700c
Remove integration test run (#1368) 5 years ago
Nikhil Parasaram 9fafc4edaa
remove edelweiss run for now (#1367) 5 years ago
Nikhil Parasaram 2541ea5f50
0.22.3 5 years ago
Nikhil Parasaram 1cf4df9b59
Unconstrained storage (#1366) 5 years ago
Nikhil Parasaram 805ecdadc5
Fix imports (#1365) 5 years ago
Anthony Salvato 01e689e771
Fixing a typo in README (#1363) 5 years ago
Nikhil Parasaram 30f30a2ebf
v0.22.2 5 years ago
Nikhil Parasaram 68469facb0
Update descriptions (#1359) 5 years ago
JoranHonig 9d42356680
Merge pull request #1358 from ConsenSys/fix/quick 5 years ago