hrkrshnn
|
3d29ae73e7
|
Isoltest: updated the gas tests.
|
2021-04-22 18:19:47 +02:00 |
|
hrkrshnn
|
221292c278
|
Tests and changelog
|
2021-04-22 18:19:47 +02:00 |
|
chriseth
|
ec4558a245
|
Update gas costs.
|
2021-04-22 16:54:02 +02:00 |
|
chriseth
|
00fb2d390b
|
Do not replace zeros by return variable.
|
2021-04-22 16:54:02 +02:00 |
|
Đorđe Mijović
|
8840fb6ffd
|
Merge pull request #11270 from ethereum/addingBoundsByteArraySolYul
|
2021-04-22 15:41:32 +02:00 |
|
Djordje Mijovic
|
3a4233f3ad
|
[Sol->Yul] Adding bounds check when increasing size of byte array.
|
2021-04-22 11:42:46 +02:00 |
|
chriseth
|
35b651103d
|
Adjust cost of literal zero.
|
2021-04-22 11:42:42 +02:00 |
|
Alex Beregszaszi
|
8fb7a18800
|
Small refactorings for isoltest
|
2021-04-22 01:04:34 +01:00 |
|
Djordje Mijovic
|
9fcf16900d
|
Update gas costs in smeantic tests.
|
2021-04-21 11:01:22 +02:00 |
|
Alex Beregszaszi
|
4177270562
|
Trivial isoltest updates: comments always on the same line
|
2021-04-20 17:38:29 +02:00 |
|
Alex Beregszaszi
|
1be07c2b36
|
Trivial isoltest updates: missing // ---- at the end
|
2021-04-20 17:38:29 +02:00 |
|
Alex Beregszaszi
|
84c05d35f3
|
Trivial isoltest updates: normalized whitespace
|
2021-04-20 17:38:29 +02:00 |
|
Alex Beregszaszi
|
45c6bbe02b
|
Trivial isoltest updates: directives sorted alphabetically
|
2021-04-20 17:21:56 +02:00 |
|
chriseth
|
cf7f814a4e
|
Merge pull request #10921 from ethereum/issue-10881
Natspec: Don't copy from base function if return parameters differ
|
2021-04-20 15:33:48 +02:00 |
|
Leonardo Alt
|
a39a6e26da
|
update tests
|
2021-04-19 19:23:18 +02:00 |
|
Leonardo Alt
|
80892c8a21
|
Fix nondeterminism
|
2021-04-19 19:23:18 +02:00 |
|
Leonardo Alt
|
36def3ef6e
|
tests for free constants
|
2021-04-19 19:23:18 +02:00 |
|
Leonardo Alt
|
fd8b4afb76
|
new free function tests
|
2021-04-19 19:23:18 +02:00 |
|
Leonardo Alt
|
095d337140
|
Basic support to free constants
|
2021-04-19 19:23:18 +02:00 |
|
Leonardo Alt
|
6ae82fcec2
|
Add tests for the library bug
|
2021-04-19 19:23:18 +02:00 |
|
Leonardo Alt
|
4e34359063
|
Basic support to free functions
|
2021-04-19 19:23:18 +02:00 |
|
Mathias Baumann
|
1737bd7ded
|
Natspec: Don't copy from base function if return parameters differ
|
2021-04-19 15:20:30 +02:00 |
|
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 |
|