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
23,078 Commits 348 Branches 121 Tags
09a720b8b47eca8ca14125bf7701f4e0c1d3a3b5
Commit Graph
7092 Commits
Author SHA1 Message Date
r0qsandAlex Beregszaszi 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
chrisethandKamil Śliwak 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 ArltNuno SantosKamil Śliwak
 		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 KirchnerandKamil Śliwak 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
Leo Alt 24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
Daniel 3109ce2dbc Merge pull request #12132 from ethereum/userDefinedSideEffectsCodeTransform 
Use side-effects of user defined functions in evm code transform.
 2022-11-22 14:26:57 +01:00
Alex Beregszaszi eb8af2caec Add basic support for the EVM version Paris 
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
 2022-11-21 14:56:46 +01:00
Bhargava Shastry 2c27405cbb Fix zero size memory expansion semantics in the yul interpreter. 2022-11-21 11:53:42 +01:00
Daniel Kirchner 1b6063ede4 Disable zeppelin test failing due to hardhat heuristics. 2022-11-14 21:26:36 +01:00
chriseth 5ba8c109f4 Use side-effects of user defined functions in evm code transform. 2022-11-14 21:26:36 +01:00
Ishtiaque Zahid 3abf2724a1 changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format 2022-11-14 17:37:38 +01:00
Alex Beregszaszi 54b4598390 Move some tests from viaYul to appropriate groups 2022-11-10 22:21:15 +01:00
Alex Beregszaszi 0f65e17b7b Update tests 2022-11-10 22:21:15 +01:00
Alex Beregszaszi 5a35c50d16 test: Support tracking gas refunds 2022-11-10 22:00:38 +01:00
nishant-sachdeva efbd3666a7 added optimization. shl comes out from being distributed over and 2022-11-11 01:16:14 +05:30
Alex Beregszaszi 47ed36e0db Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0 2022-11-09 21:27:40 +01:00
Alex Beregszaszi b49008af9e Support EVMC_PARIS with randao from merge block 2022-11-09 21:27:40 +01:00