Bhargava Shastry
|
7cf8d930c1
|
Remove antlr deps (#5701)
* Remove antlr deps
* Update boost location.
|
2021-05-12 09:29:57 -07:00 |
Bhargava Shastry
|
59b3fb0a97
|
Solidity: Use custom sanitized gmp build (#4842)
|
2020-12-14 17:31:53 -08:00 |
Bhargava Shastry
|
01bff561d7
|
solidity: Install libabicoder (#4818)
|
2020-12-10 13:28:07 -08:00 |
Bhargava Shastry
|
e0c46fa6b8
|
Solidity: Fuzz breaking branch instead of develop (#4620)
|
2020-11-09 07:29:09 -08:00 |
Bhargava Shastry
|
bca4ff4ee8
|
solidity: Upgrade boost (#4546)
|
2020-10-19 08:13:23 -07:00 |
Bhargava Shastry
|
4c4d80edfa
|
Solidity: update docker image and build script (#4397)
|
2020-10-08 06:20:59 -07:00 |
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 |