Rodrigo Q. Saramago
|
5ed7600130
|
Add notes about temporary changes
|
2022-12-06 20:31:31 +01:00 |
|
r0qs
|
bc119e2522
|
Update test/libsolidity/SolidityExecutionFramework.h
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
|
2022-12-06 20:31:21 +01:00 |
|
Rodrigo Q. Saramago
|
504fe2a1fe
|
Add arguments size to EOF data_section_size header
|
2022-12-06 20:31:14 +01:00 |
|
Rodrigo Q. Saramago
|
ffba3715a3
|
Add evm version shanghai
|
2022-12-05 20:21:54 +01:00 |
|
Rodrigo Q. Saramago
|
6a44bb26ae
|
Passing eofVersion down
|
2022-12-05 20:17:55 +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 |
|
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 |
|
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 |
|
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 |
|
nishant-sachdeva
|
efbd3666a7
|
added optimization. shl comes out from being distributed over and
|
2022-11-11 01:16:14 +05:30 |
|
Paweł Bylica
|
4830194383
|
test: Update test expectations
|
2022-11-09 10:15:17 +01:00 |
|
chriseth
|
cffacac9de
|
Hash number literals according to their value instead of their string representation.
|
2022-11-08 20:34:10 +01:00 |
|
Daniel
|
9a60c06335
|
Merge pull request #11087 from ethereum/precompile-prices
EVMHost: charge gas for precompiles
|
2022-11-08 19:56:42 +01:00 |
|
Paweł Bylica
|
c4b6f5f00b
|
test: Properly clear storage dirty flag
Clear storage dirty flag between transactions in EVMHost. The EIP-2200
dirty flag should be persisted only in a single transaction.
|
2022-11-08 18:13:17 +01:00 |
|
Duc Thanh Nguyen
|
4aac4c7bc4
|
Add Natspec devdoc inheritance support for events
|
2022-11-08 15:53:10 +01:00 |
|
wechman
|
52bfb8bd2d
|
Minor test naming/style corrections
|
2022-11-07 23:16:02 +01:00 |
|
wechman
|
6da09e8d9a
|
Error message tweak: built-in unary/binary operator
|
2022-11-07 17:13:41 +01:00 |
|
wechman
|
4c9a58eb0f
|
Don't include location in a message about binding function to a type
|
2022-11-07 17:13:09 +01:00 |
|
Alex Beregszaszi
|
b74b55198d
|
Update tests
|
2022-11-04 10:48:30 +01:00 |
|
wechman
|
d5428af5bb
|
Make the message about name not referring to a user-defined type more generic
|
2022-11-04 08:46:53 +01:00 |
|
wechman
|
c297183467
|
Test that built-ins cannot be bound to structs
|
2022-11-04 08:46:53 +01:00 |
|
Daniel
|
7ac4c70c9b
|
Merge pull request #13569 from ethereum/document-call-to-zero-init-function-type
Document legacy and IR behavior for call to zero initialized variable of function type
|
2022-11-01 15:42:12 +01:00 |
|
Christian Parpart
|
4915c8eb8e
|
Merge pull request #13609 from ethereum/lsp-hover-provider
Adds basic `textDocument/hover`
|
2022-10-26 14:38:35 +02:00 |
|
Christian Parpart
|
9e7fe985bf
|
[Language Server]: Add basic document hover support.
|
2022-10-26 13:53:29 +02:00 |
|
nishant-sachdeva
|
8c0740748e
|
functions taking calldata args should be assignable to function pointers of same type
|
2022-10-26 13:29:02 +05:30 |
|
andy53
|
54965fb0ae
|
fix emit statments being printed on the same line
Update test/libsolidity/semanticTests/emit_three_identical_events.sol
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
Update test/libsolidity/semanticTests/emit_two_identical_events.sol
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
|
2022-10-25 19:22:07 +02:00 |
|
Kamil Śliwak
|
5c5045ee26
|
Merge pull request #13644 from ethereum/builtin-tests
test: Move hashing algorithm tests to semanticTests
|
2022-10-21 20:17:47 +02:00 |
|
Alex Beregszaszi
|
4f07be6348
|
test: Move hashing algorithm tests to semanticTests
|
2022-10-21 15:59:47 +02:00 |
|
Bojidar00
|
af9a1d8a18
|
refactor: Move error generating tests to /invalid
|
2022-10-20 14:04:12 +03:00 |
|
Daniel
|
2cb618a5c3
|
Merge pull request #13593 from ethereum/test-selfdestruct
Add test for selfdestruct
|
2022-10-17 17:43:08 +02:00 |
|
Nikola Matić
|
16c4c7565a
|
Merge pull request #13546 from KatyaPrusakova/move-nonstruct-test
test copy_from_calldata.sol folder location update
|
2022-10-06 19:02:50 +02:00 |
|
Prusakova Katya
|
2d4aa990fb
|
test copy_from_calldata.sol folder location update
Rename copy_from_calldata
|
2022-10-06 18:14:15 +02:00 |
|
Kamil Śliwak
|
53e0a47a1c
|
Merge pull request #13265 from ethereum/no-append-metadata
Add `--no-append-metadata` in CLI and `metadata.append` in JSON
|
2022-10-04 17:32:22 +02:00 |
|
Alex Beregszaszi
|
96168a1438
|
Add test for selfdestruct
Also drop less useful EndToEndTest
|
2022-10-01 11:45:46 +02:00 |
|