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
21917 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Bhargava Shastry 4e915e05cd Add LP unknown Z3 known test case. 2022-03-02 15:34:43 +01:00
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 b42a38edde Add new fuzzer test case. 2022-03-01 16:52:29 +01:00
Bhargava Shastry e2b86d605d Add fuzzer test. 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
chriseth be9e2d320a Forward unknown. 2022-03-01 16:07:52 +01:00
chriseth 913ad20df8 Some debug output. 2022-03-01 16:07:52 +01:00
chriseth 91696426f7 Add fuzzer test case. 2022-03-01 12:40:40 +01:00
chrisethandBhargava Shastry c42ba9f3e3 Update libsolutil/LP.cpp 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-03-01 12:38:48 +01:00
chrisethandBhargava Shastry 739e3dce04 Update libsolutil/LP.h 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-03-01 12:28:52 +01:00
chriseth e7c68cd0d0 Print reasons. 2022-02-17 14:47:22 +01:00
chriseth 2eed4c36a9 Tests for reason computation. 2022-02-17 14:47:22 +01:00
chriseth 8a76a61e55 Merge leftover. 2022-02-17 12:00:07 +01:00
chriseth 597007e3b4 Add reasons. 2022-02-17 11:55:51 +01:00
chriseth 677a7951dd Extract problem splitter. 2022-02-17 11:55:51 +01:00
chrisethandBhargava Shastry 56546a1b57 Apply suggestions from code review 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-02-17 11:55:51 +01:00
chriseth 0225f366f5 Add test. 2022-02-17 11:55:51 +01:00
chriseth 1d37398f04 Fix fuzzer bug. 2022-02-17 11:55:51 +01:00
chriseth 309624d03b qualify move 2022-02-17 11:55:51 +01:00
chriseth 37b92bb71c Add header. 2022-02-17 11:55:51 +01:00
chriseth 641c76a678 Cache solution for the case where we are not interested in models. 2022-02-17 11:55:51 +01:00
chriseth 9cdc2ed3f2 comment 2022-02-17 11:55:51 +01:00
chriseth e1df82ac19 Extract problem splitter. 2022-02-17 11:55:51 +01:00
chriseth 944937604a small optimization. 2022-02-17 11:55:51 +01:00
chriseth 1af1df6908 Extract simplification class. 2022-02-17 11:55:51 +01:00
chriseth 7b08e57a2c Refactor. 2022-02-17 11:55:51 +01:00
chriseth 6e9ffa1f16 cleanup 2022-02-17 11:55:51 +01:00
chriseth 8a1ad0e1d4 cleanup 2022-02-17 11:55:51 +01:00
chriseth 7d203ac1fb Cleanup 2022-02-17 11:55:51 +01:00
chriseth 7a948e8ba6 Cleanup 2022-02-17 11:55:51 +01:00
chriseth d50a7d9b3d Cleanup 2022-02-17 11:55:51 +01:00
chriseth 03e1a2e074 Simplifications on LinearExpression. 2022-02-17 11:55:51 +01:00
chriseth 34d3b802ad Fix compiler warning. 2022-02-17 11:55:51 +01:00
chriseth 76485dff82 Use names for the bounds. 2022-02-17 11:55:51 +01:00
chriseth 7c7132bff8 LP Solver. 2022-02-17 11:55:51 +01:00
chriseth a674406299 Merge pull request #12694 from wesbz/yul-doc-table-fix 
Fixing a typo in doc's EVM dialect in Yul's doc.
 2022-02-17 11:53:22 +01:00
Wes Bouaziz e9cc45b258 Fixing a typo in doc's EVM dialect in Yul's doc. 
It's the tiniest typo but it's visible on the website.
 2022-02-17 10:57:28 +01:00
chriseth da50176b1f Merge pull request #12686 from ethereum/setVersionTo0813 
Set version to 0.8.13
 2022-02-16 16:44:23 +01:00
chriseth eb57e23ba0 Merge pull request #12685 from ethereum/bypass-prebuilt-artifacts-in-yield-ext-test 
Neutralize packaged Uniswap contracts in yield-liquidator external test
 2022-02-16 16:42:41 +01:00
chriseth 6a479fece1 Merge pull request #12683 from ethereum/ext_foundry 
Added solidity visual auditor for VSCode
 2022-02-16 16:39:38 +01:00
chriseth 65ba798caf Set version to 0.8.13 2022-02-16 16:12:18 +01:00