chriseth cf09cd51f0 Tests for value constraint simplifier.

2019-03-25 17:16:12 +01:00

..

ossfuzz

yul proto: Add support for generating string and hex literals.

2019-03-21 12:25:52 +01:00

yulInterpreter

Fix assertion in yul interpreter.

2019-03-13 20:58:15 +01:00

afl_fuzzer.cpp

Clean up includes in the fuzzer

2019-01-29 16:14:51 +00:00

CMakeLists.txt

Tests for value constraint simplifier.

2019-03-25 17:16:12 +01:00

fuzzer_common.cpp

EVMVersion in langutil namespace instead of solidity

2019-02-25 15:29:57 +01:00

fuzzer_common.h

Clean up includes in the fuzzer

2019-01-29 16:14:51 +00:00

isoltest.cpp

Review suggestions.

2019-03-18 14:34:00 +01:00

IsolTestOptions.cpp

Fix isoltest --no-color option

2019-02-21 16:42:23 +01:00

IsolTestOptions.h

Support EVM Version rules for extracted tests.

2019-03-15 17:23:20 +01:00

yulopti.cpp

Value Constraint Based Simplifier.

2019-03-25 15:32:54 +01:00

yulrun.cpp

Allow positional arguments for yulrun.

2019-02-27 11:44:09 +01:00