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
|
91696426f7
|
Add fuzzer test case.
|
2022-03-01 12:40:40 +01:00 |
|
chriseth
|
2eed4c36a9
|
Tests for reason computation.
|
2022-02-17 14:47:22 +01:00 |
|
chriseth
|
597007e3b4
|
Add reasons.
|
2022-02-17 11:55:51 +01:00 |
|
chriseth
|
0225f366f5
|
Add test.
|
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 |
|
Kamil Śliwak
|
8aa3b7fea0
|
Neutralize packaged Uniswap contracts in yield-liquidator external test
|
2022-02-16 13:16:44 +01:00 |
|
Kamil Śliwak
|
ccbc865beb
|
elementfi: Bypass expiration check that won't pass due to test settings
|
2022-02-15 12:51:40 +01:00 |
|
Leo
|
947a599e91
|
Merge pull request #12441 from ethereum/benchmarking-ext-tests
Benchmarking external tests
|
2022-02-14 20:14:27 +01:00 |
|
Leo
|
e3e77c0f01
|
Merge pull request #12551 from ethereum/natspec-test
Add test for fixed natspec ICE
|
2022-02-14 19:51:03 +01:00 |
|
Leo
|
3915768753
|
Merge pull request #12594 from ethereum/solc-js-ext-test-local-checkout
solc-js external test on a local checkout
|
2022-02-14 19:44:46 +01:00 |
|
Daniel Kirchner
|
c47da51eab
|
Consider all grandparents in override analysis.
|
2022-02-14 15:31:31 +01:00 |
|
Daniel Kirchner
|
3b6c99f3e8
|
Merge pull request #12572 from ethereum/fixStackShuffling
Improved stack shuffling in corner cases.
|
2022-02-14 13:00:56 +01:00 |
|
nishant-sachdeva
|
276851ff91
|
Added support for FunctionType::Kind::StringConcat and functions string.concat
|
2022-02-10 22:08:47 +05:30 |
|
Daniel Kirchner
|
290b9326e3
|
Move stray semantics test to proper directory.
|
2022-02-10 13:43:49 +01:00 |
|
Kamil Śliwak
|
c6094bb0c2
|
externalTests: Benchmark reports
|
2022-02-09 17:02:40 +01:00 |
|
Kamil Śliwak
|
a7852cba75
|
Python script for parsing eth-gas-reporter output
|
2022-02-09 17:02:40 +01:00 |
|
Kamil Śliwak
|
7fc2253841
|
externalTests: Make comments about failing presets less terse
|
2022-02-09 17:02:40 +01:00 |
|
Kamil Śliwak
|
3e1aee1745
|
externalTests: Clean the build/ dir for Hardhat too
|
2022-02-09 17:02:40 +01:00 |
|
Marenz
|
46075d04d9
|
Include used events in `--hashes` output
|
2022-02-09 13:50:42 +01:00 |
|
Marenz
|
3e7c68d9b0
|
Merge identifier query methods into one
|
2022-02-08 17:44:21 +01:00 |
|
joshieDo
|
9e62f21b25
|
Add event and error identifiers to cli hashes cmd
|
2022-02-08 17:44:21 +01:00 |
|
chriseth
|
5c3bcb6c2d
|
Merge pull request #12434 from ethereum/outputLocations
Output searched locations on import failure.
|
2022-02-08 17:16:46 +01:00 |
|
joshuatarkwski
|
6225dad332
|
Output searched locations on import failure.
|
2022-02-08 16:20:27 +01:00 |
|
chriseth
|
91b7d5fe5d
|
Merge pull request #12642 from ethereum/remove-solidityfixedfeeregistrar-ref
Remove a reference to unused SolidityFixedFeeRegistrar (retry)
|
2022-02-08 13:32:05 +01:00 |
|
Kamil Śliwak
|
28bc5db576
|
Merge pull request #12598 from a3d4/case-insensitive-root-in-normalizeclipathforvfs
Treat root path in normalizeCLIPathForVFS as case insensitive on Windows
|
2022-02-08 13:17:05 +01:00 |
|
Kamil Śliwak
|
122ad0770a
|
Merge pull request #12632 from a3d4/symlinks-on-windows
Clarify symlink handling on Windows
|
2022-02-08 13:16:24 +01:00 |
|
Mathias L. Baumann
|
c139d39b9b
|
Merge pull request #12589 from ethereum/emit-immutable-references
Emit immutable references for pure yul code
|
2022-02-07 13:21:44 +01:00 |
|
Marenz
|
b9fe628b70
|
Emit immutable references for pure yul code
|
2022-02-07 12:32:54 +01:00 |
|
chriseth
|
4715fafb82
|
Re-enable preset for poolTogether.
|
2022-02-07 11:31:59 +01:00 |
|
a3d4
|
a0dd2cd1ff
|
Remove a reference to unused SolidityFixedFeeRegistrar
|
2022-02-05 15:14:18 +01:00 |
|
a3d4
|
0a17495cf9
|
Treat root path in normalizeCLIPathForVFS as case insensitive on Windows
|
2022-02-05 11:51:11 +01:00 |
|
a3d4
|
7634fc4ea9
|
Clarify symlink handling on Windows
|
2022-02-05 03:44:54 +01:00 |
|
Kamil Śliwak
|
32d64ce666
|
Merge pull request #12630 from ethereum/enable-full-tests-in-prb-math-ext-test
Enable full tests in PRBMath external test
|
2022-02-04 16:56:31 +01:00 |
|
Kamil Śliwak
|
4ebd839d3a
|
Run full tests, not just test:contracts in PRBMath external test
- `test:contracts` does not seem to be running any tests at all.
|
2022-02-04 15:51:34 +01:00 |
|
Kamil Śliwak
|
b52032a452
|
Re-enable Bleeps and just disable the failing governor test
|
2022-02-04 15:18:37 +01:00 |
|