aboutsummaryrefslogtreecommitdiff
path: root/projects/solidity
AgeCommit message (Collapse)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
Also enforce this for future integrations.
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
* [presubmit] Enforce language attribute in projectt.yaml to be always set. * Update documentation, better presubmit check, new project template. * add docstring to templates.py * Add example values in the project.yaml template and remove python value for now * Add "project: c++" to 256 projects * format * Add labels and selective_unpack sections to the presubmit check * fix incorrect auto_ccs format in three projects * fix nss emails after rebase
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. ↵Bhargava Shastry
(#2212)
2019-03-05[solidity] Add new fuzzers (including two LPM proto fuzzers) and minimal ↵Bhargava Shastry
fuzzing corpora. (#2208)
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