Daniel Kirchner
1f0f77aa95
Minor test adjustments.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
6a655bb0dd
Minor test updates.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
b73d082809
Adjust data section size during creation.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
321bef463f
new container
2023-01-05 13:06:14 +01:00
Daniel Kirchner
5fd0eae74c
Fix metadata test.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
5302dd01fe
Adjust test for duplicated subobjects.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
4078802c72
Some simplifications.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
0ccc3e3762
Initial working version of rjumps.
2023-01-05 13:06:14 +01:00
Daniel Kirchner
41c9ff8985
Initial still broken version.
2023-01-05 13:06:13 +01:00
Daniel Kirchner
40460279b2
hacks
2023-01-05 13:06:13 +01:00
Rodrigo Q. Saramago
2fe9ffb799
Add notes about temporary changes
2023-01-05 13:06:13 +01:00
r0qs
80b2539e5f
Update test/libsolidity/SolidityExecutionFramework.h
...
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
2023-01-05 13:06:13 +01:00
Rodrigo Q. Saramago
e4681a949f
Add arguments size to EOF data_section_size header
2023-01-05 13:06:13 +01:00
Rodrigo Q. Saramago
d33792ec1c
Add evm version shanghai
2023-01-05 13:06:13 +01:00
Rodrigo Q. Saramago
87d1e69d28
Passing eofVersion down
2023-01-05 13:06:13 +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
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
