Commit Graph

5 Commits

Author SHA1 Message Date
Alex Beregszaszi
3570870642 Upgrade evmone to v0.3.0 in the docker images 2019-11-19 12:41:12 +01:00
Bhargava Shastry
a8a50c4e0e Upgrade evmone to v0.2.0 and adapt fuzzer build 2019-11-18 15:16:53 +01:00
Daniel Kirchner
3b75466b76 Update to Z3 4.8.6 in ubuntu clang Dockerfile. 2019-11-11 15:54:04 +01:00
kcy1019
547cd2eb71 Remove dependency on boost::regex from Whiskers 2019-10-16 21:26:49 +09:00
Bhargava Shastry
368ef3d9d8 Add clang docker file based on ubuntu disco 2019-09-12 16:02:54 +02:00