Commit Graph

26 Commits

Author SHA1 Message Date
Oliver Chang 84faf55729
Populate a bunch of main_repo values. (#4815)
Also enforce this for future integrations.
2020-12-10 09:49:27 +11: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 6c77e8cd0e
solidity: Fix solidity proto fuzzer failing build (#3808) 2020-05-14 12:24:03 -07:00
Max Moroz 71f4914c45
[presubmit] Enforce language attribute in project.yaml to be always set. (#3477)
* [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-03-10 11:08:01 -07:00
Bhargava Shastry 8cfcd03fd5
solidity: Update seed corpus (#3403) 2020-02-19 06:54:40 -08: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 66faf75fb3 Solidity: Use release build (#2848) 2019-09-18 12:04:32 -07: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 a8acfd51bd [solidity] Fix failing build (#2418) 2019-05-15 06:55:16 -07:00
Bhargava Shastry f555f0c260 [Solidity] copy all dicts (#2254) 2019-03-20 08:04:57 -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 d027fbc238 [solidity] Add Martin Swende to auto_ccs (#2118) 2019-01-28 06:55:49 -08:00
Bhargava Shastry 7ef4eae22c solidity: update primary contact email (#2112) 2019-01-25 05:25:58 -08:00
Bhargava Shastry e43f9e186f [solidity] Add the solidity compiler to oss-fuzz (#2108) 2019-01-24 07:52:29 -08:00