Bhargava Shastry fe6543a7c8 Abiv2 isabelle: Add fuzzer test harness skeleton and update CMake

2020-12-08 13:05:23 +01:00

..

ossfuzz

Abiv2 isabelle: Add fuzzer test harness skeleton and update CMake

2020-12-08 13:05:23 +01:00

yulInterpreter

Yul interpreter: Introduce expression evaluation maximum nesting depth

2020-12-04 17:27:03 +01:00

afl_fuzzer.cpp

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

CMakeLists.txt

Extract boost smt and remove unused tests

2020-09-23 17:55:55 +02:00

fuzzer_common.cpp

Add corpus based multi source fuzzer

2020-07-21 13:43:29 +02:00

fuzzer_common.h

Add corpus based multi source fuzzer

2020-07-21 13:43:29 +02:00

isoltest.cpp

Add support for ewasm evmc vm.

2020-09-08 12:41:42 -05:00

IsolTestOptions.cpp

Allow using zero in patterns passed to isoltest --test

2020-09-17 17:28:49 +02:00

IsolTestOptions.h

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

yulopti.cpp

Rename AsmData -> AST

2020-11-25 17:58:02 +00:00

yulrun.cpp

Change readFile/readFileAsString to throw FileNotFound exception

2020-11-04 16:35:19 +00:00