Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Solidity: Fuzz breaking branch instead of develop (#4620) | 2020-11-09 | |
| | |||
* | solidity: Upgrade boost (#4546) | 2020-10-19 | |
| | |||
* | Solidity: update docker image and build script (#4397) | 2020-10-08 | |
| | |||
* | solidity: Fix build failure due to missing liblzma used by LPM (#3956) | 2020-06-10 | |
| | |||
* | solidity: Disable Z3 build in dockerfile (#3831) | 2020-05-18 | |
| | |||
* | solidity: Fix solidity proto fuzzer failing build (#3808) | 2020-05-14 | |
| | |||
* | [presubmit] Enforce language attribute in project.yaml to be always set. (#3477) | 2020-03-10 | |
| | | | | | | | | | | | | | | | | | | | * [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 | ||
* | solidity: Update seed corpus (#3403) | 2020-02-19 | |
| | |||
* | [solidity] Upgrade to evmone v0.4.0 (#3100) | 2019-12-09 | |
| | |||
* | solidity: Upgrade to z3 4.8.7 (#3086) | 2019-12-04 | |
| | |||
* | solidity: Upgrade evmone to v0.3.0 to fix build failure (#3048) | 2019-11-20 | |
| | |||
* | Solidity: Use release build (#2848) | 2019-09-18 | |
| | |||
* | solidity: Use cmake toolchain file (#2841) | 2019-09-17 | |
| | |||
* | solidity: Add and link solc against z3 (#2835) | 2019-09-16 | |
| | |||
* | [solidity] Do not instrument solidity dependencies except jsoncpp (#2699) | 2019-08-15 | |
| | |||
* | [Solidity] Enable abiv2 proto fuzzer (#2614) | 2019-07-17 | |
| | |||
* | Install protobuf-mutator toolchain before building solidity (#2611) | 2019-07-16 | |
| | |||
* | [solidity] Fix failing build (#2418) | 2019-05-15 | |
| | |||
* | [Solidity] copy all dicts (#2254) | 2019-03-20 | |
| | |||
* | [solidity] Update solidity fuzzing corpus for solc and const_opt fuzzers. ↵ | 2019-03-06 | |
| | | | | (#2212) | ||
* | [solidity] Add new fuzzers (including two LPM proto fuzzers) and minimal ↵ | 2019-03-05 | |
| | | | | fuzzing corpora. (#2208) | ||
* | [solidity] Add fuzzing dictionary (#2132) | 2019-02-05 | |
| | |||
* | [solidity] Add Martin Swende to auto_ccs (#2118) | 2019-01-28 | |
| | |||
* | solidity: update primary contact email (#2112) | 2019-01-25 | |
| | |||
* | [solidity] Add the solidity compiler to oss-fuzz (#2108) | 2019-01-24 | |