chriseth
|
8eb0d5edf6
|
Export used errors in the AST.
|
2021-04-19 14:15:50 +02:00 |
|
Kamil Śliwak
|
7b467a49d7
|
Disable assertion that gives non-deterministic results in in slice tests for SMTChecker
|
2021-04-15 17:14:21 +02:00 |
|
chriseth
|
11b227e33e
|
Merge pull request #11205 from ethereum/fix-docstring-bug
Fix docstring bug
|
2021-04-14 13:18:33 +02:00 |
|
Djordje Mijovic
|
ea5cda08c8
|
Adding tests for bytes.concat with fixed bytes arguments.
|
2021-04-14 11:21:24 +02:00 |
|
chriseth
|
0289994da5
|
Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug
Fix calldata decoding overflow bug
|
2021-04-12 18:11:29 +02:00 |
|
chriseth
|
4912bfe639
|
Merge pull request #11229 from ethereum/antlrPath
Fix import paths in grammar and grammar testing details.
|
2021-04-12 16:30:41 +02:00 |
|
Daniel Kirchner
|
6fdfd8b62b
|
Fix import path grammar and grammar testing details.
|
2021-04-12 14:54:36 +02:00 |
|
chriseth
|
2ed17e4b43
|
Update tests.
|
2021-04-12 13:43:56 +02:00 |
|
chriseth
|
72d0a56a72
|
Fix array decoding offset overflow.
|
2021-04-12 13:43:51 +02:00 |
|
chriseth
|
32b8332867
|
Refactor array decoding.
|
2021-04-12 13:43:51 +02:00 |
|
hrkrshnn
|
382c488edd
|
Fix missing error when events are used without an emit statement.
Whenever there was a proper invocation of events, the compiler assumed that all the subsequent
invocations were proper.
|
2021-04-12 10:23:05 +02:00 |
|
Leonardo Alt
|
8a7e94c06f
|
Keep pragma in smoke test for bytecode compare script
|
2021-04-08 21:03:39 +02:00 |
|
Leonardo Alt
|
0a4afa71bd
|
Update old tests
|
2021-04-08 21:03:39 +02:00 |
|
Leonardo Alt
|
d617ef461e
|
Add new tests
|
2021-04-08 21:03:38 +02:00 |
|
chriseth
|
0cc0cabd30
|
Merge pull request #11224 from ethereum/lastAllocationUnbounded
Use unbounded allocation before returning.
|
2021-04-08 19:32:40 +02:00 |
|
Daniel Kirchner
|
96c8123b6b
|
Use unbounded allocation before returning.
|
2021-04-08 18:37:24 +02:00 |
|
hrkrshnn
|
e96a161115
|
Tests and changelog
|
2021-04-08 17:06:24 +02:00 |
|
chriseth
|
2856f56525
|
Merge pull request #10942 from ethereum/returnSlotAllocation
Delayed return slot allocation.
|
2021-04-08 16:42:07 +02:00 |
|
chriseth
|
f04adde664
|
Allow hex string literals in Yul.
|
2021-04-08 15:03:33 +02:00 |
|
chriseth
|
6d6112a81b
|
Merge pull request #11210 from anurag-git/issue_10738-2
Use range-v3 loops(transform)
|
2021-04-08 14:56:15 +02:00 |
|
anurag4u80
|
b2ca7916aa
|
Replaced boost::adaptors::transformed
|
2021-04-08 17:38:14 +05:30 |
|
Harikrishnan Mulackal
|
c060bd5633
|
Merge pull request #11211 from ethereum/someTests
Add some bytecode reference tests.
|
2021-04-08 09:29:51 +02:00 |
|
chriseth
|
47728a083f
|
Add some bytecode reference tests.
|
2021-04-06 16:25:02 +02:00 |
|
Christian Parpart
|
3490577140
|
Extract import-file remapping logic out of CompilerStack into ImportRemapper.
|
2021-04-06 14:28:53 +02:00 |
|
Daniel Kirchner
|
6fc4b04d1d
|
Update test expectations.
|
2021-04-06 13:41:26 +02:00 |
|
Martin Blicha
|
330fb8f4d0
|
[SMTChecker] Assignment refactoring
|
2021-03-31 13:36:50 +02:00 |
|
Leonardo
|
78d94737a4
|
Merge pull request #11188 from blishko/issue-11181
[SMTChecker] Fix crash when analysing try-catch clauses with function call.
|
2021-03-31 11:24:36 +02:00 |
|
Mathias Baumann
|
e590a99f39
|
Detect circular references for library and free functions
|
2021-03-30 23:06:30 +02:00 |
|
chriseth
|
79d7466e19
|
NatSpec for errors.
|
2021-03-30 21:16:58 +02:00 |
|
chriseth
|
517cd17a6f
|
Add errors to the ABI.
|
2021-03-30 21:16:58 +02:00 |
|
chriseth
|
e877e2bba7
|
Use all referenced errors.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
1057fd5355
|
Take revert statement into account in control flow graph.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
d5669696d5
|
Code generation for errors.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
fb67051467
|
Revert statement.
|
2021-03-30 21:15:46 +02:00 |
|
chriseth
|
b04b189959
|
Syntax for custom errors.
|
2021-03-30 21:15:18 +02:00 |
|
Martin Blicha
|
2d231f1859
|
[SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first
|
2021-03-30 20:35:44 +02:00 |
|
Leonardo Alt
|
ba97d6ac4e
|
Add local vars to cex
|
2021-03-30 17:55:21 +02:00 |
|
Leonardo Alt
|
dbd067d6db
|
Report out of bounds index access
|
2021-03-30 10:28:48 +02:00 |
|
chriseth
|
bb49bc5892
|
Merge pull request #10418 from ethereum/function-specializer
Function specializer
|
2021-03-29 15:48:01 +02:00 |
|
hrkrshnn
|
0100f48e05
|
FunctionSpecializer: skip specializing recursive functions
This avoids potential pathological behaviour, like in Ackermann function.
|
2021-03-29 11:02:31 +02:00 |
|
hrkrshnn
|
2c75d1dfe4
|
Isoltest gas update for FunctionSpecializer
|
2021-03-29 11:02:31 +02:00 |
|
hrkrshnn
|
09998ceb0c
|
Tests for FunctionSpecializer
|
2021-03-29 11:02:18 +02:00 |
|
Martin Blicha
|
85358dfe30
|
[SMTChecker] Do not create targets for contracts that cannot be deployed
|
2021-03-25 15:38:37 +01:00 |
|
Leonardo
|
7e1be52281
|
Merge pull request #11165 from blishko/smt-abi-no-args
[SMTChecker] Fix ICE on ABI functions with no arguments
|
2021-03-25 15:21:57 +01:00 |
|
Alex Beregszaszi
|
e071884bbf
|
Show proper error for misusing the custom natspec tag
|
2021-03-25 12:45:37 +00:00 |
|
Martin Blicha
|
5293f05ee3
|
[SMTChecker] Fix ICE on ABI functions with no arguments
|
2021-03-25 13:28:29 +01:00 |
|
Alex Beregszaszi
|
7a7ff7af2f
|
Add one more test for invalid custom tag
|
2021-03-25 12:24:18 +00:00 |
|
chriseth
|
6eac77aea2
|
Merge pull request #11107 from ethereum/extendedLowlevelInliner
Inline ordinary jumps to small blocks and jumps to terminating control flow.
|
2021-03-24 18:06:15 +01:00 |
|
Martin Blicha
|
98446782e2
|
[SMTChecker] Fix compound assignment to push
|
2021-03-24 14:54:13 +01:00 |
|
Leonardo
|
13d3b35141
|
Merge pull request #11116 from blishko/issue-10985
[SMTChecker] Handle InaccessibleDynamicType
|
2021-03-24 14:39:24 +01:00 |
|
Daniel Kirchner
|
8b3095920a
|
Inline ordinary jumps to small blocks and jumps to terminating control flow.
|
2021-03-24 13:50:24 +01:00 |
|
Martin Blicha
|
852e877ae7
|
[SMTChecker] Handle InaccessibleDynamicType
|
2021-03-24 11:53:06 +01:00 |
|
Djordje Mijovic
|
d0a854b312
|
Adding semantic tests for bytes.concat.
|
2021-03-24 11:49:21 +01:00 |
|
Djordje Mijovic
|
e7da9f3d52
|
Adding syntax tests for bytes.concat.
|
2021-03-24 11:49:21 +01:00 |
|
chriseth
|
d15ba987d1
|
Fix AST output if modifier invocation is base constructor call.
|
2021-03-24 11:24:26 +01:00 |
|
chriseth
|
e3ea5c631e
|
Merge pull request #11136 from ethereum/refactor-typepointer
Replace `TypePointer` with `Type const*`
|
2021-03-23 18:32:38 +01:00 |
|
Mathias Baumann
|
e197ebbdd1
|
Replace TypePointer with Type const*
|
2021-03-23 11:47:19 +01:00 |
|
hrkrshnn
|
30e08ee3a5
|
Changelog and test for the KeccakCaching bug
|
2021-03-23 11:09:00 +01:00 |
|
Mathias Baumann
|
bccedf791b
|
Add creationCode/runtimeCode contract creation detection to call graph
|
2021-03-22 15:44:23 +01:00 |
|
chriseth
|
7aa51bcb40
|
Test updates.
|
2021-03-18 08:42:49 +01:00 |
|
Leonardo
|
25b31111df
|
Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time
[SMTChecker] Fix bug in virtual functions called by constructor
|
2021-03-17 16:54:36 +01:00 |
|
Harikrishnan Mulackal
|
35da404ca9
|
Merge pull request #11091 from ethereum/modifierInvocationAST
Add "kind" field to ModifierInvocation AST json element.
|
2021-03-16 19:44:40 +01:00 |
|
chriseth
|
0519473059
|
Add "kind" field to ModifierInvocation AST json element.
|
2021-03-16 18:50:37 +01:00 |
|
Martin Blicha
|
432944d0b4
|
[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples
|
2021-03-16 15:34:43 +01:00 |
|
Martin Blicha
|
2f52affcc2
|
[SMTChecker] Correctly resolve current scope contract in VariableUsage.
|
2021-03-15 13:55:14 +01:00 |
|
Martin Blicha
|
6aa6c5f5f9
|
[SMTChecker] Reset reference variables on assignment to a variable of reference type
|
2021-03-12 19:51:31 +01:00 |
|
Leonardo Alt
|
998346e599
|
Fix bug in virtual functions called by constructor.
|
2021-03-12 16:42:28 +01:00 |
|
Martin Blicha
|
0cb75293f9
|
[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name
|
2021-03-12 14:01:07 +01:00 |
|
Daniel Kirchner
|
6d19a25705
|
Fix compilation error with GCC 8.
|
2021-03-12 12:28:18 +01:00 |
|
Leonardo Alt
|
6fd76e830d
|
Fix CHC cex order
|
2021-03-11 10:36:40 +01:00 |
|
chriseth
|
89946b15d2
|
Merge pull request #10863 from ethereum/isoltestGasCosts
[isoltest] Add gas costs to function call expectations
|
2021-03-10 15:11:20 +01:00 |
|
Djordje Mijovic
|
b73e9f3eef
|
Update tests.
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
63017bd510
|
Not showing gas used if it is equal to m_gas(in case of out of gas failures).
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
06171a3100
|
Changing enforceGasCost functionality.
|
2021-03-10 14:22:26 +01:00 |
|
Djordje Mijovic
|
2b14efbbcc
|
Adding debug info on gas costs when updating gas values.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2021-03-09 21:48:11 +01:00 |
|
Djordje Mijovic
|
14a3731182
|
Don't run gas for ir if it is not explicitely added to expectations.
|
2021-03-09 21:27:44 +01:00 |
|
Djordje Mijovic
|
2c575db0ea
|
Show both expected and obtained gas expectations when failure happens.
|
2021-03-09 21:27:38 +01:00 |
|
Djordje Mijovic
|
12ef273d06
|
Setting metadata has and version type for semantic tests to be empty.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
cf59d7fc13
|
Making order of gas expectations deterministic.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
aed3832b27
|
Implementing enforcing gas expectations in isoltest.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
515f15f7a3
|
Small style fix for SemanticTest constructor.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
5ea97a5d43
|
Running gas tests only on tests having expectations.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
6d51dfb617
|
[isoltest] Adding gas used as semantic tests expectation.
|
2021-03-09 21:26:36 +01:00 |
|
Martin Blicha
|
4285c2803b
|
[SMTChecker] Fix ICE on array.pop nested inside 1-tuple
|
2021-03-09 20:00:51 +01:00 |
|
Leonardo
|
5677df86af
|
Merge pull request #11069 from blishko/smt-array-slice-fix
[SMTChecker] Use same sort name for array slice as for the underlying array
|
2021-03-09 16:39:12 +01:00 |
|
Daniel Kirchner
|
a75424eec4
|
Drop support for evm15 and eip-615.
|
2021-03-09 15:56:03 +01:00 |
|
Martin Blicha
|
5af01f6896
|
[SMTChecker] Use same sort name for array slice as for the underlying array.
|
2021-03-09 11:06:22 +01:00 |
|
Martin Blicha
|
385a664f3c
|
[SMTChecker] Fix public getter for array of structs.
|
2021-03-08 17:34:20 +01:00 |
|
Leonardo
|
d42d0faf41
|
Merge pull request #11052 from blishko/issue-10986
[SMTChecker] Correct handling of FixedBytes constants initialized with string literal
|
2021-03-04 16:51:22 +01:00 |
|
Martin Blicha
|
0340510c53
|
[SMTChecker] correct handling of FixedBytes constants initialized with string literal
|
2021-03-04 15:14:47 +01:00 |
|
Alexander Arlt
|
94895822d2
|
[isoltest] Add support for builtin functions.
|
2021-03-04 08:49:59 -05:00 |
|
Martin Blicha
|
9e81c81560
|
[SMTChecker] updated tests
|
2021-03-03 17:11:42 +01:00 |
|
chriseth
|
d2023f5f95
|
Check for invalid tags.
|
2021-03-02 16:53:31 +01:00 |
|
chriseth
|
5690020d88
|
Allow custom natspec tags.
|
2021-03-02 16:13:28 +01:00 |
|
chriseth
|
2a25d04896
|
Merge pull request #11023 from ethereum/natspecparsinglocations
Provide locations for docstring parsing errors.
|
2021-03-02 14:03:42 +01:00 |
|
chriseth
|
f4050e81c6
|
Provide locations for docstring parsing errors.
|
2021-03-01 17:34:25 +01:00 |
|
chriseth
|
5e94fce7df
|
Provide selector for some internal functions.
|
2021-03-01 16:19:59 +01:00 |
|
Kamil Śliwak
|
186d14d97f
|
FunctionCallGraph: Tests for constants, immutables and accessing function selectors
|
2021-02-25 16:00:53 +01:00 |
|
chriseth
|
eacf7c1cf9
|
Merge pull request #11009 from ethereum/properlyParseAddressMember
Properly parse address member.
|
2021-02-24 17:12:00 +01:00 |
|
chriseth
|
3d97e9a77b
|
Properly parse address member.
|
2021-02-24 16:44:16 +01:00 |
|