Djordje Mijovic
|
2839a1b0bf
|
[Sol->Yul] Documenting difference in initialization order in case of inheritance.
Co-authored-by: Leonardo <leo@ethereum.org>
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-12-04 16:32:56 +01:00 |
|
Bhargava Shastry
|
2c13a13164
|
Merge pull request #10498 from ethereum/abiv2-fuzzer-minor-refactor
abiv2 proto fuzzer: Move anon namespace utility functions to common source
|
2020-12-04 16:05:03 +01:00 |
|
Leonardo
|
d47a9dedd0
|
Merge pull request #10494 from ethereum/tempRefMemberSegfault
Add const ref to prevent segfaults.
|
2020-12-04 15:49:47 +01:00 |
|
Bhargava Shastry
|
0d6cae304b
|
abiv2 proto fuzzer: Move anon namespace utility functions to common source
|
2020-12-04 15:33:41 +01:00 |
|
Daniel Kirchner
|
cb72d76aaf
|
Add const ref to prevent segfaults.
|
2020-12-04 14:57:46 +01:00 |
|
Leonardo
|
4e4aaaf028
|
Merge pull request #10389 from ethereum/smt_constructors_nonlinear_clauses
[SMTChecker] Use nonlinear clauses instead of inlining base constructors in CHC
|
2020-12-04 14:03:15 +01:00 |
|
Leonardo Alt
|
7490ffbe13
|
Use nonlinear clauses instead of inlining for base constructors
|
2020-12-04 13:25:56 +01:00 |
|
Leonardo
|
a27d7707c8
|
Merge pull request #10493 from ethereum/smt_fix_487
[SMTChecker] Do not request proof for old z3
|
2020-12-03 22:17:41 +01:00 |
|
Leonardo Alt
|
4210e09d9a
|
Do not request proof for old z3
|
2020-12-03 20:57:23 +01:00 |
|
chriseth
|
75266ea8d4
|
Merge pull request #10488 from ethereum/fixDocsRevertData
Fix documentation about revert data.
|
2020-12-03 19:21:44 +01:00 |
|
chriseth
|
61fd76cb27
|
Fix documentation about revert data.
|
2020-12-03 18:47:16 +01:00 |
|
chriseth
|
e04cc80438
|
Merge pull request #9555 from ethereum/yul-parser-refactor
Yul parser refactor
|
2020-12-03 18:07:31 +01:00 |
|
chriseth
|
27e44b85e3
|
Merge pull request #10419 from ethereum/bug-namesimplifier
Fix a bug in NameSimplifier.
|
2020-12-03 17:52:40 +01:00 |
|
chriseth
|
5071709b25
|
Remove FunctionCall from ElementaryOperation.
|
2020-12-03 17:47:47 +01:00 |
|
Alex Beregszaszi
|
a9be2e4bb8
|
update tests
|
2020-12-03 17:15:45 +01:00 |
|
Alex Beregszaszi
|
61ed1f1986
|
cleanup
|
2020-12-03 17:15:45 +01:00 |
|
Alex Beregszaszi
|
6c0a3bd043
|
Ensure that builtins must be executed
|
2020-12-03 17:15:44 +01:00 |
|
Alex Beregszaszi
|
e2a756a705
|
Remove dead code
|
2020-12-03 17:15:44 +01:00 |
|
Alex Beregszaszi
|
43353bb6ca
|
update tests
|
2020-12-03 17:15:43 +01:00 |
|
Alex Beregszaszi
|
baa7251f1d
|
More clean up
|
2020-12-03 17:14:49 +01:00 |
|
Alex Beregszaszi
|
75e0057388
|
Rename parseElementaryOperation to parseLiteralOrIdentifier
|
2020-12-03 17:14:49 +01:00 |
|
Alex Beregszaszi
|
3da2b67b67
|
simplify parser
|
2020-12-03 17:14:49 +01:00 |
|
chriseth
|
3862ceb528
|
Merge pull request #10481 from mattcoding4days/patch-1
Update install_deps.sh
|
2020-12-03 11:50:38 +01:00 |
|
Harikrishnan Mulackal
|
61363d8e21
|
Merge pull request #10471 from ethereum/yul-interpreter-finetune-execution-steps
Yul interpreter: Smaller execution timeout for tests and additional testcases
|
2020-12-03 11:38:33 +01:00 |
|
Bhargava Shastry
|
e1b44500dd
|
Yul interpreter: Smaller execution timeout for tests and additional test cases
|
2020-12-03 10:08:41 +01:00 |
|
Leonardo
|
088b694f0b
|
Merge pull request #10207 from ethereum/smt_tests_asserts
[SMTChecker] Add uncovered test and replace uncovered tests by asserts
|
2020-12-03 08:59:48 +01:00 |
|
Matt Williams
|
7015d971c5
|
Update install_deps.sh
Add support for Pop!_OS
|
2020-12-02 12:08:15 -08:00 |
|
Leonardo
|
3cd0b25220
|
Merge pull request #10442 from blishko/this-public-getters
[SMTChecker] Adding support for public getters on `this`
|
2020-12-02 18:06:29 +01:00 |
|
Martin Blicha
|
2ee633f404
|
[SMTChecker] Added support for public getters through this.
|
2020-12-02 16:06:48 +01:00 |
|
hrkrshnn
|
3efac3eef0
|
NameSimplifier is removed from steps available to users.
|
2020-12-02 13:48:01 +01:00 |
|
hrkrshnn
|
5a15a4a6bd
|
Fix a bug in NameSimplifier.
A new name created by NameSimplifier could also be created by NameDispenser, since the knowledge of
the new name was not stored in NameSimplifier.
|
2020-12-02 13:48:01 +01:00 |
|
chriseth
|
afe500e399
|
Merge pull request #10460 from ethereum/deterministic-internal-dispatch-order
Deterministic function order in internal dispatch
|
2020-12-02 11:50:25 +01:00 |
|
Harikrishnan Mulackal
|
6513b1f2ae
|
Merge pull request #10468 from ethereum/force-latest-truffle-for-ens
Force ENS external test to use latest Truffle
|
2020-12-02 11:24:51 +01:00 |
|
Kamil Śliwak
|
23a9e517e7
|
Force the use of latest Truffle in ENS external tests
|
2020-12-02 01:26:16 +01:00 |
|
Kamil Śliwak
|
bbf2471f64
|
External tests: Replace hard-coded version in force_truffle_version() with a parameter
|
2020-12-02 01:26:16 +01:00 |
|
chriseth
|
e10712c173
|
Merge pull request #10454 from ethereum/ewasm-cleanup
[ewasm] Clean up some builtins and fix text representation of `select`
|
2020-12-01 17:34:48 +01:00 |
|
Kamil Śliwak
|
630fcc3a1d
|
Define a comparator for InternalDispatchMap to ensure deterministic ordering of dispatch functions
|
2020-12-01 16:53:54 +01:00 |
|
chriseth
|
33ca90c284
|
Merge pull request #10194 from ethereum/abicoderv1-empty-string
Change ABIEncoderV1 to not pad empty strings
|
2020-12-01 16:21:52 +01:00 |
|
Alex Beregszaszi
|
d22434ee57
|
Change ABIEncoderV1 to not pad empty strings
|
2020-12-01 14:32:18 +00:00 |
|
chriseth
|
390640f557
|
Merge pull request #10384 from ethereum/called_directly_feature
Use annotation.calledDirectly to simplify IR codegen
|
2020-12-01 15:07:02 +01:00 |
|
chriseth
|
8279d90ba2
|
Merge pull request #10403 from ethereum/rename-asmdata
Rename AsmData* to AST*
|
2020-12-01 14:33:11 +01:00 |
|
chriseth
|
1944d5ce44
|
Merge pull request #9722 from ethereum/fix-9676
Add Solidity test case generator framework
|
2020-12-01 14:26:12 +01:00 |
|
Alex Beregszaszi
|
04cf4867fe
|
[ewasm] Clean up opcodes/builtins in the binary encoder
Also make sure that `i32.drop/i64.drop` won't silently drop its arguments, as they may have side-effects.
|
2020-12-01 12:50:54 +00:00 |
|
Alex Beregszaszi
|
a29a7ad680
|
[ewasm] Properly encode i32/i64.select in the text format
|
2020-12-01 11:22:38 +00:00 |
|
Mathias Baumann
|
ea5b63914a
|
Add test to cover (L.f)() case
|
2020-12-01 12:02:29 +01:00 |
|
chriseth
|
388fcddd23
|
Merge pull request #10415 from ethereum/arrayClearingStorageSol2Yul
[Sol->Yul] Fixing copying from storage to storage.
|
2020-12-01 09:43:47 +01:00 |
|
Djordje Mijovic
|
bd86588459
|
Adding more tests for array copying from storage to storage.
|
2020-12-01 08:50:36 +01:00 |
|
Djordje Mijovic
|
28e01202af
|
[Sol->Yul] Fixing coping from storage to storage.
|
2020-12-01 08:50:33 +01:00 |
|
Mathias Baumann
|
f8e6f4a4eb
|
Use annotation.calledDirectly to simplify IR codegen
|
2020-11-30 18:54:42 +01:00 |
|
Mathias Baumann
|
c3da529a18
|
Mark expressions that are called directly in the annotations
|
2020-11-30 18:52:50 +01:00 |
|