14 Commits

Author	SHA1	Message	Date
Bhargava Shastry	f73e386f8e	solidity: Fix build failure due to missing liblzma used by LPM (#3956)	2020-06-10 07:21:49 -07:00
Bhargava Shastry	0bf59456ec	solidity: Disable Z3 build in dockerfile (#3831)	2020-05-18 08:54:30 -07:00
Bhargava Shastry	df5a80bf97	[solidity] Upgrade to evmone v0.4.0 (#3100)	2019-12-09 09:58:39 -08:00
Bhargava Shastry	91d0e07860	solidity: Upgrade to z3 4.8.7 (#3086)	2019-12-04 12:02:08 -05:00
Bhargava Shastry	efade0f8c5	solidity: Upgrade evmone to v0.3.0 to fix build failure (#3048)	2019-11-20 06:59:23 -08:00
Bhargava Shastry	7aa1d7b9a3	solidity: Use cmake toolchain file (#2841)	2019-09-17 14:15:03 -07:00
Bhargava Shastry	9e6a3ca660	solidity: Add and link solc against z3 (#2835)	2019-09-16 07:04:26 -07:00
Bhargava Shastry	e5a5454ce9	[solidity] Do not instrument solidity dependencies except jsoncpp (#2699)	2019-08-15 11:35:11 -07:00
Bhargava Shastry	09e316afef	[Solidity] Enable abiv2 proto fuzzer (#2614)	2019-07-17 09:34:07 -07:00
Bhargava Shastry	ca11c5128c	Install protobuf-mutator toolchain before building solidity (#2611)	2019-07-16 06:10:45 -07:00
Bhargava Shastry	80634bf24d	[solidity] Update solidity fuzzing corpus for solc and const_opt fuzzers. (#2212)	2019-03-06 06:12:39 -08:00
Bhargava Shastry	371929f997	[solidity] Add new fuzzers (including two LPM proto fuzzers) and minimal fuzzing corpora. (#2208)	2019-03-05 12:42:06 -08:00
Bhargava Shastry	1708eceb2b	[solidity] Add fuzzing dictionary (#2132)	2019-02-05 06:45:39 -08:00
Bhargava Shastry	e43f9e186f	[solidity] Add the solidity compiler to oss-fuzz (#2108)	2019-01-24 07:52:29 -08:00