aboutsummaryrefslogtreecommitdiff
path: root/projects/solidity
AgeCommit message (Expand)Author
2020-12-14Solidity: Use custom sanitized gmp build (#4842)Bhargava Shastry
2020-12-10solidity: Install libabicoder (#4818)Bhargava Shastry
2020-12-10Populate a bunch of main_repo values. (#4815)Oliver Chang
2020-11-09Solidity: Fuzz breaking branch instead of develop (#4620)Bhargava Shastry
2020-10-19solidity: Upgrade boost (#4546)Bhargava Shastry
2020-10-08Solidity: update docker image and build script (#4397)Bhargava Shastry
2020-06-10solidity: Fix build failure due to missing liblzma used by LPM (#3956)Bhargava Shastry
2020-05-18solidity: Disable Z3 build in dockerfile (#3831)Bhargava Shastry
2020-05-14solidity: Fix solidity proto fuzzer failing build (#3808)Bhargava Shastry
2020-03-10[presubmit] Enforce language attribute in project.yaml to be always set. (#3477)Max Moroz
2020-02-19solidity: Update seed corpus (#3403)Bhargava Shastry
2019-12-09[solidity] Upgrade to evmone v0.4.0 (#3100)Bhargava Shastry
2019-12-04solidity: Upgrade to z3 4.8.7 (#3086)Bhargava Shastry
2019-11-20solidity: Upgrade evmone to v0.3.0 to fix build failure (#3048)Bhargava Shastry
2019-09-18Solidity: Use release build (#2848)Bhargava Shastry
2019-09-17solidity: Use cmake toolchain file (#2841)Bhargava Shastry
2019-09-16solidity: Add and link solc against z3 (#2835)Bhargava Shastry
2019-08-15[solidity] Do not instrument solidity dependencies except jsoncpp (#2699)Bhargava Shastry
2019-07-17[Solidity] Enable abiv2 proto fuzzer (#2614)Bhargava Shastry
2019-07-16Install protobuf-mutator toolchain before building solidity (#2611)Bhargava Shastry
2019-05-15[solidity] Fix failing build (#2418)Bhargava Shastry
2019-03-20[Solidity] copy all dicts (#2254)Bhargava Shastry
2019-03-06[solidity] Update solidity fuzzing corpus for solc and const_opt fuzzers. (#2...Bhargava Shastry
2019-03-05[solidity] Add new fuzzers (including two LPM proto fuzzers) and minimal fuzz...Bhargava Shastry
2019-02-05[solidity] Add fuzzing dictionary (#2132)Bhargava Shastry
2019-01-28[solidity] Add Martin Swende to auto_ccs (#2118)Bhargava Shastry
2019-01-25solidity: update primary contact email (#2112)Bhargava Shastry
2019-01-24[solidity] Add the solidity compiler to oss-fuzz (#2108)Bhargava Shastry