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
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 Shastryandchriseth 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