 chriseth
|
922837b44c
|
Forward unknown.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
3203b73c64
|
Some debug output.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
005e743fc5
|
Add fuzzer test case.
|
2022-03-20 20:19:20 +01:00 |
|
 chrisethandBhargava Shastry
|
a1ed2c0f09
|
Update libsolutil/LP.cpp
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
|
2022-03-20 20:19:20 +01:00 |
|
|
chrisethandBhargava Shastry
|
f77f0ecae4
|
Update libsolutil/LP.h
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
1e1964362c
|
Print reasons.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
8fbefb9c85
|
Tests for reason computation.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
337aea9483
|
Merge leftover.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
696515fe69
|
Add reasons.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
0a11aedc90
|
Extract problem splitter.
|
2022-03-20 20:19:20 +01:00 |
|
|
chrisethandBhargava Shastry
|
88c63c3054
|
Apply suggestions from code review
Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
3c75adecc6
|
Add test.
|
2022-03-20 20:19:20 +01:00 |
|
|
chriseth
|
0e54562de4
|
Fix fuzzer bug.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
83b96e6a75
|
qualify move
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
6c2b686c0c
|
Add header.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
0f705c8a82
|
Cache solution for the case where we are not interested in models.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
8835b95719
|
comment
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
592b421f44
|
Extract problem splitter.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
db9028906a
|
small optimization.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
5faebbff39
|
Extract simplification class.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
dec67df8d8
|
Refactor.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
6bff7a1e91
|
cleanup
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
cf6cf5bba2
|
cleanup
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
8600760f3d
|
Cleanup
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
f25cd708ea
|
Cleanup
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
b1fcf023f9
|
Cleanup
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
00a277c0f5
|
Simplifications on LinearExpression.
|
2022-03-20 20:19:19 +01:00 |
|
|
chriseth
|
e6c67924b0
|
Fix compiler warning.
|
2022-03-20 20:19:18 +01:00 |
|
|
chriseth
|
7a250fea42
|
Use names for the bounds.
|
2022-03-20 20:19:18 +01:00 |
|
|
chriseth
|
751f50b6c3
|
LP Solver.
|
2022-03-20 20:19:18 +01:00 |
|
|
chriseth
|
430ecb6e16
|
Merge pull request #12795 from ethereum/morePopRemovalInPeepholeOptimizer
More pop removal in peephole optimizer.
|
2022-03-17 12:22:48 +01:00 |
|
|
chriseth
|
cd19023bfb
|
Merge pull request #12810 from hroussille/create2-documentation-error
Fixed ambiguity in the create2 address computation doc
|
2022-03-17 11:46:50 +01:00 |
|
 Hector Roussille
|
040c444a2a
|
Fixed ambiguity in the create2 address computation doc
specify that arguments are encoded using abi.encode in the example code
|
2022-03-16 19:56:11 +01:00 |
|
|
chriseth
|
10b581b8e8
|
Merge pull request #12808 from ethereum/simplifyRematCandidates
Simplify rematerialization candidates.
|
2022-03-16 17:42:38 +01:00 |
|
|
chriseth
|
a054285f31
|
Simplify rematerialization candidates.
|
2022-03-16 16:43:21 +01:00 |
|
|
chriseth
|
af86a80536
|
Merge pull request #12796 from ethereum/refactorStackCompressor
Refactor stack compressor
|
2022-03-16 16:36:41 +01:00 |
|
 Daniel Kirchner
|
4b9c01752d
|
Test updates.
|
2022-03-16 15:34:38 +01:00 |
|
|
Daniel Kirchner
|
54ab09fee8
|
Additional peephole optimizer rules for removing side-effect free instructions before simple terminations.
|
2022-03-16 15:34:37 +01:00 |
|
|
chriseth
|
936b07a979
|
Merge pull request #12805 from ethereum/setversionto0814
Set version to 0.8.14.
|
2022-03-16 15:29:20 +01:00 |
|
|
chriseth
|
e786bf9b5a
|
Set version to 0.8.14.
|
2022-03-16 14:38:15 +01:00 |
|
|
chriseth
|
abaa5c0eb3
|
Merge pull request #12801 from ethereum/cse-optimization
CSE optimization
v0.8.13
|
2022-03-16 13:54:28 +01:00 |
|
 wechman
|
8b0845fe97
|
CommonSubexpressionEliminator performance optimization
|
2022-03-16 12:57:38 +01:00 |
|
|
chriseth
|
281b68b83a
|
Merge pull request #12803 from ethereum/documentsatetvarinitcahnge
Move state variable initialization to top.
|
2022-03-16 12:43:43 +01:00 |
|
|
chriseth
|
1be21e2670
|
Move state variable initialization to top.
|
2022-03-16 12:23:23 +01:00 |
|
|
chriseth
|
6eece8114a
|
Merge pull request #12800 from ethereum/setreleasefor0813
Set release date.
|
2022-03-16 11:12:57 +01:00 |
|
|
chriseth
|
acd488532d
|
Set release date.
|
2022-03-16 10:28:40 +01:00 |
|
|
chriseth
|
75abe92eb2
|
Refactor stack compressor.
|
2022-03-15 21:28:47 +01:00 |
|
|
chriseth
|
724af73fb8
|
Merge pull request #12759 from ethereum/evmCodeTransformAvoidPops
Avoid unnecessary pops in evm code transform.
|
2022-03-15 19:14:46 +01:00 |
|
|
Daniel Kirchner
|
5cd98006d4
|
Fill in junk in stack layouts on terminating control flow paths.
|
2022-03-15 18:36:55 +01:00 |
|
|
Daniel Kirchner
|
b6cd3e154c
|
Test case for current behaviour.
|
2022-03-15 18:36:30 +01:00 |
|