Daniel Kirchner
|
2bfa3487cb
|
Merge pull request #10044 from ethereum/removeAntlrDep
ossfuzz: Remove antlr4 build deps
|
2020-10-15 15:48:53 +02:00 |
|
chriseth
|
8b8cd9f307
|
Merge pull request #10039 from ethereum/bytecodeComparison
Bytecode comparison on CircleCI
|
2020-10-15 14:59:14 +02:00 |
|
Bhargava Shastry
|
5023d3decb
|
ossfuzz: Remove antlr4 build deps
|
2020-10-15 12:59:18 +02:00 |
|
chriseth
|
3c63be519b
|
Merge pull request #10037 from ethereum/enableYultests
Enable some more Yul tests.
|
2020-10-15 11:46:32 +02:00 |
|
chriseth
|
447744e2bf
|
Merge pull request #10041 from ethereum/lValueOrdinaryUndefined
Make sure lValueOfOrdinaryAssignment does not have an undefined value.
|
2020-10-15 10:20:33 +02:00 |
|
Daniel Kirchner
|
a7b8ad311d
|
Always build a windows release binary on tags.
|
2020-10-15 00:48:56 +02:00 |
|
Daniel Kirchner
|
9d873b102e
|
Stop calling yourselves nightlies!
|
2020-10-15 00:48:56 +02:00 |
|
Daniel Kirchner
|
8075d6c7e8
|
Persist osx workspace files in different path to avoid conflicts.
|
2020-10-15 00:48:56 +02:00 |
|
Daniel Kirchner
|
30d990f07c
|
Persist less data to workspaces.
|
2020-10-15 00:48:56 +02:00 |
|
Daniel Kirchner
|
9726ed8586
|
Perform bytecode comparison on CircleCI.
|
2020-10-15 00:48:56 +02:00 |
|
Daniel Kirchner
|
36a36caf09
|
Merge pull request #10040 from ethereum/osxCircleCICacheKey
Reuse CircleCI osx cache across branches.
|
2020-10-15 00:48:39 +02:00 |
|
Daniel Kirchner
|
f7e5831afc
|
Remove .circleci/config.yml from cache keys and move cache check to install_deps script.
|
2020-10-14 23:20:09 +02:00 |
|
Daniel Kirchner
|
20072918d9
|
Make sure lValueOfOrdinaryAssignment does not have an undefined value.
|
2020-10-14 21:00:18 +02:00 |
|
Daniel Kirchner
|
7ccf11c2b5
|
Reuse CircleCI osx cache across branches.
|
2020-10-14 20:38:47 +02:00 |
|
chriseth
|
837dd004c8
|
Enable some more Yul tests.
|
2020-10-14 17:43:19 +02:00 |
|
Djordje Mijovic
|
6f7947cfa5
|
[Sol->Yul] Optimizing delete struct.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-10-14 13:35:15 +02:00 |
|
chriseth
|
25b10b9643
|
Merge pull request #10028 from ethereum/useArrayLength
Use array length function.
|
2020-10-14 13:35:09 +02:00 |
|
chriseth
|
92a2cddbfa
|
Merge pull request #10024 from ethereum/outofBoundsGetter
Use revert for out-of-bounds array index access in getter.
|
2020-10-14 12:33:41 +02:00 |
|
chriseth
|
9b1f90512b
|
Merge pull request #10027 from ethereum/yul-syntax-test-extractions
Continued Yul syntax test extractions.
|
2020-10-14 12:32:39 +02:00 |
|
chriseth
|
a737e51533
|
Use array length function.
|
2020-10-14 12:22:34 +02:00 |
|
chriseth
|
56d6855222
|
Merge pull request #9738 from ethereum/arrayCopyingSol2Yul
[Sol->Yul] Implementing copying of arrays to storage
|
2020-10-14 12:22:09 +02:00 |
|
Christian Parpart
|
626b7cdb09
|
Extract yul syntax tests: invalid use of builtin identifiers
|
2020-10-14 12:18:33 +02:00 |
|
Christian Parpart
|
5d40494ed2
|
Extract yul syntax tests: function
|
2020-10-14 12:05:46 +02:00 |
|
Christian Parpart
|
5b799b01ab
|
Extract yul syntax tests: multiple assignment expression
|
2020-10-14 11:50:25 +02:00 |
|
Christian Parpart
|
99d18336a0
|
Extract yul syntax tests: recursion depth
|
2020-10-14 11:45:54 +02:00 |
|
Christian Parpart
|
b1b2d3ef62
|
Extract yul syntax tests: switch statement
|
2020-10-14 11:39:10 +02:00 |
|
Christian Parpart
|
c63265ff03
|
Extract yul syntax tests: for statement
|
2020-10-14 11:23:10 +02:00 |
|
Christian Parpart
|
2accbbe251
|
Extract yul syntax tests: if statement
|
2020-10-14 10:54:18 +02:00 |
|
chriseth
|
8d241fece9
|
Merge pull request #9849 from ethereum/fixIce9817
Fixing ICE on returning struct with mapping from library
|
2020-10-14 00:05:19 +02:00 |
|
Leonardo
|
4d94a9e35b
|
Merge pull request #10026 from ethereum/smt_fix_predicates_again
[SMTChecker] Fix counterexample state reporting
|
2020-10-13 23:05:05 +01:00 |
|
Leonardo Alt
|
440e5b3935
|
[SMTChecker] Fix counterexample state reporting
|
2020-10-13 22:18:43 +01:00 |
|
Leonardo
|
8675c3ee41
|
Merge pull request #9928 from ethereum/smt_tx
[SMTChecker] Add tx data to CHC
|
2020-10-13 21:00:08 +01:00 |
|
Djordje Mijovic
|
674855f684
|
[Sol->Yul] Adding new and activating old tests for copying of arrays to storage.
|
2020-10-13 20:31:11 +02:00 |
|
Djordje Mijovic
|
850a94bdc9
|
[Sol->Yul] Implementing arrays copying to storage.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-10-13 20:31:08 +02:00 |
|
Leonardo Alt
|
88f783bb1e
|
Remove more tests because current Spacer crashes
|
2020-10-13 19:27:49 +01:00 |
|
Djordje Mijovic
|
1272c474ba
|
Fixing ICE when returning Struct from library
|
2020-10-13 20:00:11 +02:00 |
|
chriseth
|
5dc3a971cb
|
Use revert for out-of-bounds array index access in getter.
|
2020-10-13 18:57:41 +02:00 |
|
Leonardo Alt
|
572a6bfcc6
|
Changelog
|
2020-10-13 17:49:04 +01:00 |
|
Leonardo Alt
|
b9b9c229b4
|
New tests
|
2020-10-13 17:49:04 +01:00 |
|
Leonardo Alt
|
47b268d509
|
Update tests
|
2020-10-13 17:49:04 +01:00 |
|
Leonardo Alt
|
aec456021d
|
Add tx constraints to CHC
|
2020-10-13 17:49:04 +01:00 |
|
Leonardo Alt
|
a2cdde1191
|
Add tx data to symbolic state
|
2020-10-13 17:49:04 +01:00 |
|
chriseth
|
44dc668777
|
Merge pull request #10022 from ethereum/fixIsoltestFormatting
Fix error message formatting in isoltest.
|
2020-10-13 17:51:24 +02:00 |
|
chriseth
|
fed6ea0125
|
Fix error message formatting in isoltest.
|
2020-10-13 17:20:19 +02:00 |
|
Leonardo
|
8fd6de9403
|
Merge pull request #10014 from ethereum/smt_fix_predicagte
[SMTChecker] Fix implicit constructor summary predicate
|
2020-10-13 14:55:52 +01:00 |
|
chriseth
|
9eed68f776
|
Merge pull request #10016 from ethereum/stackToMemoryMoverRefactor
Refactor stack to memory mover in preparation of moving function arguments.
|
2020-10-13 15:43:50 +02:00 |
|
chriseth
|
f4525631d7
|
Merge pull request #9990 from ethereum/issue-4751
Print warning for unnamed return parameters and no return statement
|
2020-10-13 15:35:05 +02:00 |
|
Mathias Baumann
|
32b4f18023
|
Print warning for unnamed return parameters and no return statement
|
2020-10-13 13:11:29 +02:00 |
|
Daniel Kirchner
|
61a03036fe
|
Refactor stack to memory mover in preparation of moving function arguments.
|
2020-10-13 12:20:04 +02:00 |
|
Leonardo Alt
|
1e568d7dc6
|
[SMTChecker] Fix implicit constructor summary predicate
|
2020-10-13 09:38:58 +01:00 |
|