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
23,111 Commits 348 Branches 121 Tags 100 MiB
eof-functions-test
Commit Graph

7105 Commits

Author SHA1 Message Date
Daniel Kirchner
0f06cfe930 Some eof testing. 2023-01-05 20:05:12 +01:00
Daniel Kirchner
c3ea805382 switch uniswap branch 2023-01-05 20:05:11 +01:00
Daniel Kirchner
dc7f6858bb Minor test adjustments. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
7cbfa02159 Minor test updates. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
b055325a8e Adjust data section size during creation. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
98289270da new container 2023-01-05 20:05:11 +01:00
Daniel Kirchner
b32ae4715b Fix metadata test. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
77b9633d3c Adjust test for duplicated subobjects. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
42c17385cd Some simplifications. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
8426b0f35d Initial working version of rjumps. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
ed74f3d2a0 Initial still broken version. 2023-01-05 20:05:11 +01:00
Daniel Kirchner
9453edcbc0 hacks 2023-01-05 20:05:11 +01:00
Rodrigo Q. Saramago
651ac8c2d5 Add notes about temporary changes 2023-01-05 20:05:11 +01:00
r0qs
09a720b8b4 Update test/libsolidity/SolidityExecutionFramework.h 
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
 2023-01-05 20:05:11 +01:00
Rodrigo Q. Saramago
8c774b20d0 Add arguments size to EOF data_section_size header 2023-01-05 20:05:11 +01:00
Rodrigo Q. Saramago
4e60d291c2 Add evm version shanghai 2023-01-05 20:05:11 +01:00
Rodrigo Q. Saramago
4cca66447a Passing eofVersion down 2023-01-05 20:05:11 +01:00
Nikola Matic
5ecf3075fb Silence version check grep and up the node heap limit 2023-01-05 16:55:16 +01:00
Nikola Matic
17d57da082 Unpin v4-core dependency and neutralize packages 2023-01-04 12:02:13 +01:00
Pierre Grimaud
b314e1b37d
docs: fix typos 2022-12-25 22:39:50 +01:00
andy53
3bc535e1a1 Report when no contracts to compile 
updates
 2022-12-19 13:47:03 +01:00
Nikola Matic
4d627e6fc4 fixup! External tests maintenance 2022-12-16 14:49:01 +01:00
Nikola Matic
d1a158368a External tests maintenance 2022-12-16 11:34:00 +01:00
Nikola Matic
cca1b460c9 Unpeg fixed dependency from elementfi external test 2022-12-15 16:45:44 +01:00
Nikola Matic
ab78f69bf5 Pin v4-core dependecy to fix failing exteral pooltogether test 2022-12-15 12:53:57 +01:00
Kamil Śliwak
71506bd3b3 Consistent terminology for attached/bound functions (file rename) 2022-12-07 19:31:44 +01:00
wechman
64a4f32bc2 Consistent terminology for attached/bound functions 2022-12-07 19:31:41 +01:00
chriseth
79c52b3c9e Re-use knowledge about keccak calls. 
Re-use knowledge about keccak calls.

Update gas cost.

More tests.

Fix bug.

Update libyul/optimiser/DataFlowAnalyzer.cpp

Remove util prefixes

fix test

More test cases.

Add Changelog entry
 2022-12-07 14:16:13 +01:00
chriseth
0cf7236729 Add optimizor club benchmark. 2022-12-02 18:40:49 +01:00
chriseth
5e74e95b67 Update test/benchmarks/run.sh 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-12-02 14:08:41 +01:00
chriseth
a0f8cc922f Add optimizor club benchmark. 2022-12-02 14:08:41 +01:00
Daniel
851cc09742
Merge pull request #13516 from ethereum/fix-yul-interpreter-memory-access 
Fix memory expansion semantics in the yul interpreter.
 2022-12-01 15:42:41 +01:00
Rodrigo Q. Saramago
0fb04432fa
Quick fix of prb-math 2022-11-30 16:24:44 +01:00
Leo Alt
77698f8108 Fix internal error when deleting struct member of function type 2022-11-30 12:47:32 +01:00
Kamil Śliwak
d0fb8c2e87 Fix another instance of the spurious unreachable warning, this time in SemVerMatcher 2022-11-29 23:26:22 +01:00
Leo Alt
608b424afc Fix internal error when using user defined value types as mapping indices or struct members. 2022-11-29 13:04:01 +01:00
Leo
cc8baf7ea8
Merge pull request #13754 from ethereum/smt_fix_assignment 
Fix internal error in assignment chains
 2022-11-29 11:58:36 +01:00
Leo Alt
be8b05e6bf Make isoltest not check SMTChecker counterexamples by default. 2022-11-28 20:55:15 +01:00
Leo Alt
07870d0318 Fix internal error in assignment chains that also assign to fully qualified state variables (, for example), where the contract expression is a tuble. 2022-11-28 18:45:50 +01:00
Leo Alt
a5dab6181c Fix internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function 2022-11-28 16:59:35 +01:00
Leo Alt
9a8dd4242f Fix SMTChecker bug when a public library function is called internally by an internal library function, which in turn is called internally by a contract. 2022-11-28 13:07:18 +01:00
Vinay
9e7b85ac4b Improve Error Reporting of SemVer Parser 2022-11-25 13:09:09 -03:00
Nikola Matić
bf1a2c7cee
Merge pull request #13734 from ethereum/add_perf_benchmarks 
Add performance benchmarks.
 2022-11-25 07:44:02 -05:00
chriseth
e9cc770d80 Add performance benchmarks. 2022-11-25 10:29:29 +01:00
Alexander Arlt
fe68200f30
[tests] Refactor scripts/ASTImportTest.sh. (#13576) 
* [tests] Refactor scripts/ASTImportTest.sh.

Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-24 16:16:16 +01:00
Leo Alt
d660f0cab0 adjust nondeterministic tests 2022-11-24 13:08:06 +01:00
Leo Alt
504b70b6af update smt tests 2022-11-24 13:08:06 +01:00
Leo Alt
c3a7adad27 update cli tests 2022-11-24 13:08:06 +01:00
Daniel
eb2f874eac
Merge pull request #13733 from ethereum/eofSetting 
Add experimental EOF options for CLI and Standard JSON.
 2022-11-23 20:37:24 +01:00
Daniel Kirchner
bf26d3be5a Add experimental EOF options for CLI and Standard JSON. 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-23 19:53:44 +01:00