cerc-io/solidity
10
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

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 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
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
chriseth
c42ba9f3e3
Update libsolutil/LP.cpp 
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
 2022-03-01 12:38:48 +01:00
chriseth
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
chriseth
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