cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
21,917 Commits 348 Branches 121 Tags 100 MiB
lpsolvergen
Commit Graph

11 Commits

Author SHA1 Message Date
Bhargava Shastry
de338e60de Rebase on rational solver. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
9826efa461 Add variable names to LP solver. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
ea50fee663 Differentially fuzz against z3. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
3e88f7f85a Stick to constraint parsing convention and refactor fuzzer harness. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
5535bf90e2 Finetune fuzzer parameters for LP solver constraints. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
aeaf9addc0 Refactor FuzzerSolverInterface. 
Co-authored-by: chriseth <chris@ethereum.org>
 2022-03-01 16:52:29 +01:00
Bhargava Shastry
30550429eb Introduce a piecewise constant dist over [-1, 1] 2022-03-01 16:52:29 +01:00
Bhargava Shastry
cb1e6b3179 Support models. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
255fc98817 Add eq or leq constraints. 2022-03-01 16:52:29 +01:00
Bhargava Shastry
48c325727b Parse csv input 2022-03-01 16:52:29 +01:00
Bhargava Shastry
11a903d330 Create fuzzer solver interface and add constraint generator. 2022-03-01 16:52:29 +01:00