Djordje Mijovic
|
e23d8f5593
|
[SMTChecker] Supporting inline arrays.
|
2020-10-12 16:59:14 +02:00 |
|
Kamil Śliwak
|
e1cc888369
|
Fix checkBaseABICompatibility() to make it actually check return parameters and not just ordinary parameters twice
|
2020-10-12 15:14:56 +02:00 |
|
Kamil Śliwak
|
9dc7f5de4a
|
Enable 4 semantic tests from functionCall.inheritance that now work via Yul
- Looks like something overlooked in one of the recently merged PRs.
|
2020-10-12 15:10:16 +02:00 |
|
Kamil Śliwak
|
3128e82a9a
|
Look for experimental pragmas in the module containing the definition when generating code for modifiers and inherited functions
|
2020-10-12 14:29:53 +02:00 |
|
chriseth
|
e7603d7590
|
Merge pull request #10003 from ethereum/more-tests-and-docs-for-mixed-abi-encoder-use-checks
More tests and some minimal docs for mixed ABI encoder use
|
2020-10-12 14:22:44 +02:00 |
|
chriseth
|
1a125cf755
|
Merge pull request #10006 from ethereum/bug-9229-fix
Fixes internal compiler error with an unused reference to module member.
|
2020-10-12 13:43:35 +02:00 |
|
chriseth
|
d1b06328a6
|
Merge pull request #8635 from ethereum/test-coverage-inheritance
Improving test coverage wrt. inheritance
|
2020-10-12 13:40:48 +02:00 |
|
Kamil Śliwak
|
94a49fcc4a
|
Additional tests for ABIEncoderV1 calls using ABIEncoderV2 types
|
2020-10-12 13:26:01 +02:00 |
|
Christian Parpart
|
8ac0bee361
|
Adds some more tests and groups all function call inheritance related together into single sub-directory.
|
2020-10-12 12:29:55 +02:00 |
|
Leonardo Alt
|
3d2e6252f0
|
Add/update tests
|
2020-10-12 11:11:52 +01:00 |
|
Leonardo Alt
|
18cf01c187
|
Add this and state to CHC
|
2020-10-12 11:11:52 +01:00 |
|
Christian Parpart
|
712d0805eb
|
Fixes internal compiler error with an unused reference to module member.
|
2020-10-12 11:56:01 +02:00 |
|
Kamil Śliwak
|
d9215cf956
|
Merge pull request #9999 from ethereum/enableTest
Enable test that started working for yul.
|
2020-10-09 19:44:15 +02:00 |
|
a3d4
|
90c8c32d86
|
If a declaration shadows several others, group them together
|
2020-10-08 21:01:25 +02:00 |
|
chriseth
|
aa7aa21913
|
Enable test.
|
2020-10-08 21:00:50 +02:00 |
|
a3d4
|
f29ebc0847
|
Fix shadowing/same-name warnings for later declarations
|
2020-10-08 20:22:04 +02:00 |
|
chriseth
|
3970c4e57d
|
Merge pull request #9892 from ethereum/constantsAtFileLevel
Constants at file-level.
|
2020-10-08 19:53:33 +02:00 |
|
chriseth
|
f8d5c4db36
|
Merge pull request #9843 from ethereum/deleteStructSol2Yul
[Sol->Yul] Implementing delete struct
|
2020-10-08 19:08:40 +02:00 |
|
chriseth
|
34e7ae6ff9
|
New tests.
|
2020-10-08 18:56:18 +02:00 |
|
chriseth
|
b2f1d558da
|
Update existing tests.
|
2020-10-08 18:56:17 +02:00 |
|
chriseth
|
346fe1c6c5
|
Constants at file-level.
|
2020-10-08 18:56:17 +02:00 |
|
chriseth
|
b5a08f8641
|
Merge pull request #9958 from a3d4/fix-ice-storage-parameters-in-libraries
Fix ICE caused by storage parameters with nested mappings in libraries
|
2020-10-08 17:17:09 +02:00 |
|
Djordje Mijovic
|
ad8d840ee7
|
[Sol->Yul] Implementing conversion of struct to struct pointer.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-10-08 16:37:57 +02:00 |
|
Djordje Mijovic
|
fa69378f4f
|
Changing unimplemented test for yul
|
2020-10-08 15:27:33 +02:00 |
|
Djordje Mijovic
|
4e8275df2c
|
Enabling triggered tests and adding one new for deleting struct
|
2020-10-08 15:27:33 +02:00 |
|
chriseth
|
fd6196af16
|
Copying of arrays from storage to memory.
|
2020-10-08 15:16:13 +02:00 |
|
a3d4
|
d7b4b4a7aa
|
Fix ICE caused by storage parameters with nested mappings in libraries
|
2020-10-07 22:07:57 +02:00 |
|
Mathias Baumann
|
6114cd8e8e
|
Add missing annotation assignments
|
2020-10-07 14:52:35 +02:00 |
|
Christian Parpart
|
04079bff6f
|
Eliminates dead code around GasEstimator
- structuralEstimation()
- breakToStatementLevel()
|
2020-10-07 13:31:40 +02:00 |
|
chriseth
|
431397eddf
|
Merge pull request #9943 from ethereum/array-cleanup
Array cleanup
|
2020-10-07 11:53:06 +02:00 |
|
Kamil Śliwak
|
33ff79bf82
|
Add missing checks for parameter compatibilty with ABIEncoderV1 in calls
|
2020-10-06 21:28:46 +02:00 |
|
chriseth
|
25d408058b
|
Merge pull request #9954 from ethereum/issue-9948
Remove unneeded assert
|
2020-10-06 16:50:14 +02:00 |
|
Harikrishnan Mulackal
|
1bdbc10110
|
Properly cleanup after copying dynamic-array to storage for packed types
|
2020-10-06 16:06:02 +02:00 |
|
chriseth
|
046cc42121
|
Merge pull request #9965 from ethereum/var_is_reserved
Var is reserved keyword.
|
2020-10-06 15:49:53 +02:00 |
|
chriseth
|
3102b98e82
|
Var is reserved keyword.
|
2020-10-06 15:08:57 +02:00 |
|
Djordje Mijovic
|
818afcbec2
|
[Sol->Yul] Implementing push for nested storage arrays and storage arrays of structs.
|
2020-10-06 13:06:40 +02:00 |
|
Mathias Baumann
|
6af16469e7
|
Remove unneeded assert
An error will trigger later in the name resolve phase
|
2020-10-05 13:01:11 +02:00 |
|
Harikrishnan Mulackal
|
756e21a888
|
Merge pull request #9946 from ethereum/viewpure-tests
Add more tests to ViewPureChecker
|
2020-10-02 14:36:28 +02:00 |
|
Alex Beregszaszi
|
32cb5207b3
|
Add more tests to ViewPureChecker
|
2020-10-02 11:57:35 +01:00 |
|
Alex Beregszaszi
|
fedbea46cd
|
[SMTChecker] Support type conversions
|
2020-10-02 10:26:02 +02:00 |
|
Leonardo
|
87e1934bee
|
Merge pull request #9885 from ethereum/smt_array_slices
[SMTChecker] Support array slices
|
2020-10-01 18:12:57 +02:00 |
|
chriseth
|
e5771efdf8
|
Merge pull request #9905 from ethereum/deleteArrayPackedSol2Yul
[Sol->Yul] Implementing deleting of storage array of types that are packed in storage
|
2020-10-01 16:50:57 +02:00 |
|
Leonardo Alt
|
c8cc73c80c
|
Support array slices
|
2020-10-01 11:52:02 +02:00 |
|
Djordje Mijovic
|
03eeb49a66
|
Adding test for deleting packed storage array.
|
2020-10-01 10:25:04 +02:00 |
|
chriseth
|
3af21c92d2
|
Merge pull request #9702 from a3d4/fix-7410-arrays-of-mappings
Fix ICE caused by an array of mappings
|
2020-09-30 20:24:09 +02:00 |
|
chriseth
|
fda8bde2d7
|
Stop after parsing.
|
2020-09-30 16:57:49 +02:00 |
|
Mathias Baumann
|
4c02cd2310
|
Add name for split-test to prevent failure in other places
|
2020-09-30 16:56:53 +02:00 |
|
Harikrishnan Mulackal
|
fd02ccc68c
|
Implemented events with indexed function as parameter in Yul
|
2020-09-30 12:11:39 +02:00 |
|
Harikrishnan Mulackal
|
3970412422
|
Implemented events with function type as one of its indexed parameters
|
2020-09-30 12:11:38 +02:00 |
|
chriseth
|
7a86a61b08
|
Merge pull request #9895 from ethereum/exp-negative-one
Optimize exp when base is -1
|
2020-09-30 11:54:22 +02:00 |
|