Commit Graph

289 Commits (remove_deprecated_taint)

Author SHA1 Message Date
Bernhard Mueller b06722b7d7 Bump version number 7 years ago
Bernhard Mueller 0def6dca54 Bump version number 7 years ago
Bernhard Mueller 2c548c2715 Bump version number 7 years ago
Bernhard Mueller 35a9cd63e6 Bump LASER version 7 years ago
Bernhard Mueller a78a9226f1 Bump version number 7 years ago
Bernhard Mueller 0b7e71b598 Bump LASER version 7 years ago
Bernhard Mueller 3136712376 Bump version number 7 years ago
step21 97c3384943 added solc to requirements and setup.py 7 years ago
Bernhard Mueller 5242aeeb17 Bump version 7 years ago
Bernhard Mueller a905d18420 Bump version number 7 years ago
Bernhard Mueller 046bb42c0b Bump version number 7 years ago
Bernhard Mueller 0080d008d6 Bump version number 7 years ago
Bernhard Mueller 0589c2c722 Bump version number 7 years ago
Bernhard Mueller 1073c03c5a Bump version number 7 years ago
Bernhard Mueller c116d4a11b Bump version number 7 years ago
Bernhard Mueller af23333239 Bump version number 7 years ago
Bernhard Mueller 9abc7a90ab Bump version number 7 years ago
Bernhard Mueller bfd708d396 Bump laser & Mythril versions 7 years ago
Bernhard Mueller 4348e21515 Bump version number 7 years ago
Bernhard Mueller 7f98e3cda7 Add debugging code 7 years ago
Bernhard Mueller 36b37d4c58 Update setup.py 7 years ago
Bernhard Mueller 3cbf9c0e32 Bump laser version & update setup.py 7 years ago
Bernhard Mueller 828b6f1181 Update setup.py 7 years ago
Bernhard Mueller 6b09361314 Update setup.py 7 years ago
Bernhard Mueller 67cc17cad3 Update setup.py & bump LASER version 7 years ago
Bernhard Mueller 2491280de0 Update setyp.py 7 years ago
Bernhard Mueller 8e6bdc97c5 Add success message 7 years ago
Bernhard Mueller 34655ccea6 Update setup.py 7 years ago
Bernhard Mueller dab64bb058 Bump LASER version 7 years ago
Bernhard Mueller 8ca330ea51 Update setup.py 7 years ago
Bernhard Mueller 98355dc35e Bump LASER version (performance fix) 7 years ago
Bernhard Mueller b3262b9eeb Update setup.py 7 years ago
Bernhard Mueller 60cd332739 Update setup.py and requirements 7 years ago
Bernhard Mueller a72e6a2602 Update setup.py 7 years ago
Bernhard Mueller d66c4af621 Update setup.py 7 years ago
Bernhard Mueller c4dcb7a94c Update setup.py 7 years ago
Bernhard Mueller 8ef788cf51 Update setup.py 7 years ago
Bernhard Mueller c8e8ade09c Update setup.py and requirements 7 years ago
Bernhard Mueller 88ce0e31b2 Update setup.py 7 years ago
Bernhard Mueller 48b98ca267 Update setup.py and requirements 7 years ago
Bernhard Mueller 12333e46fa Update setup.py 7 years ago
Bernhard Mueller 3ed01bf77a Update setup.py and requirements 7 years ago
Bernhard Mueller 2c6ead6f5a Update setup.py 7 years ago
Bernhard Mueller 3b91d912bf LASER version bump and small fixes 7 years ago
Bernhard Mueller d6455d330d Update setup.py & requirements 7 years ago
Bernhard Mueller e5ac37efc0 Update setup.py 7 years ago
Bernhard Mueller 3be0cc3439 Update setup.py and requirements.txt 7 years ago
Bernhard Mueller eef332026c Bump LASER version 7 years ago
Bernhard Mueller 35743e84d6 Bump LASER version 7 years ago
Bernhard Mueller 2131cf7c87 Update requriements and setup.py 7 years ago