Daniel Kirchner
|
3e714913a0
|
Disallow positional arguments for (i)soltest instead of ignoring
|
2020-01-06 15:28:20 +01:00 |
|
Leonardo
|
f7624e254c
|
Merge pull request #8098 from ethereum/smt_fix_shared_ptr
[SMTChecker] Replace some shared_ptr by unique_ptr/raw
|
2020-01-06 14:58:37 +01:00 |
|
Mathias L. Baumann
|
20cf9d9fef
|
Merge pull request #8038 from ethereum/statless-typechecker-7566
Refactor PostTypeChecker into multiple classes per usecase
|
2020-01-06 14:39:58 +01:00 |
|
Leonardo Alt
|
f4f83690f3
|
Replace some shared_ptr by unique_ptr or raw pointers
|
2020-01-06 14:16:49 +01:00 |
|
chriseth
|
31cd9d364d
|
Merge pull request #8097 from ethereum/release
Merge release back into develop.
|
2020-01-03 13:40:41 +01:00 |
|
chriseth
|
943af71d3d
|
Merge pull request #8092 from ethereum/chriseth-patch-1
Update the standard-json yul switch to the 0.6.0 behaviour.
|
2020-01-03 13:39:59 +01:00 |
|
chriseth
|
e6f7d5a492
|
Merge pull request #8095 from ethereum/develop
Merge develop into release for 0.6.1
|
2020-01-03 00:35:39 +01:00 |
|
chriseth
|
1cc7eb7fe8
|
Merge pull request #8090 from ethereum/release061
Prepare release of 0.6.1
|
2020-01-03 00:04:56 +01:00 |
|
chriseth
|
30a2d712c0
|
Bug list entry.
|
2020-01-03 00:04:01 +01:00 |
|
chriseth
|
385e1bf70a
|
Set release date.
|
2020-01-03 00:04:01 +01:00 |
|
chriseth
|
42712a78ce
|
Merge branch 'release-0.5' into develop.
|
2020-01-02 23:49:43 +01:00 |
|
chriseth
|
bdd9f215cb
|
Update the yul switch to the 0.6.0 behaviour.
|
2020-01-02 23:01:50 +01:00 |
|
chriseth
|
9c3226ce75
|
Set version to 0.5.16.
|
2020-01-02 19:52:34 +01:00 |
|
chriseth
|
281edc6fd8
|
Merge pull request #8083 from ethereum/fixRedundantContinue05
Fix redundant removal for 0.5 branch
|
2020-01-02 19:41:30 +01:00 |
|
Leonardo Alt
|
026f7c37af
|
Review 1
|
2020-01-02 18:51:21 +01:00 |
|
chriseth
|
8328f826a1
|
Bug list entry.
|
2020-01-02 18:51:21 +01:00 |
|
chriseth
|
1c2096a360
|
Changelog entry.
|
2020-01-02 18:49:56 +01:00 |
|
chriseth
|
c70bdf2b2c
|
Merge pull request #8082 from ethereum/fixRedundantContinue
Fix redundant assignment removal in combination with break / continue.
|
2020-01-02 18:46:26 +01:00 |
|
Alex Beregszaszi
|
d082b9b868
|
Merge pull request #8087 from elenadimitrova/update-solium-naming
Rename solium to ethlint
|
2020-01-02 13:15:56 +01:00 |
|
Leonardo Alt
|
d972a10b4f
|
Review 1
|
2020-01-02 12:43:56 +01:00 |
|
elenadimitrova
|
27727a7af3
|
Rename solium to ethlint
|
2020-01-02 12:39:10 +02:00 |
|
chriseth
|
29c0b73dff
|
Bug list entry.
|
2019-12-29 16:08:15 +01:00 |
|
chriseth
|
92c3511f47
|
Tests.
|
2019-12-29 15:55:51 +01:00 |
|
chriseth
|
1e50fc61e4
|
Fix redundant assignment removal in combination with break / continue.
|
2019-12-29 15:55:51 +01:00 |
|
chriseth
|
c3f43fd1e6
|
Changelog entry.
|
2019-12-29 15:53:47 +01:00 |
|
chriseth
|
3994c9135f
|
Tests.
|
2019-12-29 15:53:47 +01:00 |
|
chriseth
|
aab8b9bc36
|
Fix redundant assignment removal in combination with break / continue.
|
2019-12-29 15:53:47 +01:00 |
|
chriseth
|
07a56625e4
|
Merge pull request #8070 from ethereum/tryCatchChangelog
Changelog entry for try/catch.
|
2019-12-20 14:53:34 +01:00 |
|
chriseth
|
c44916cbd5
|
Changelog entry for try/catch.
|
2019-12-20 08:29:25 +01:00 |
|
chriseth
|
ece6463f56
|
Merge pull request #8069 from random-internet-cat/set-scope
Move scope of Scopable into new ScopableAnnotation
|
2019-12-20 08:22:36 +01:00 |
|
Jason Cobb
|
6679f92c8a
|
Move all references to scope into annotation
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
69fd185903
|
Add new annotations for Scopables
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
30b1b39901
|
Have other annotations subclass DeclarationAnnotation
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
be14d5f28d
|
Add DeclarationAnnotation
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
bc71f61467
|
Add ScopableAnnotation
|
2019-12-19 20:50:43 -05:00 |
|
chriseth
|
2b3a9d79ff
|
Merge pull request #8067 from ethereum/removeInstruction
Remove `yul::Instruction`.
|
2019-12-19 23:49:50 +01:00 |
|
chriseth
|
7db88cfedd
|
Remove yul::Instruction.
|
2019-12-19 23:22:19 +01:00 |
|
chriseth
|
d420fe3786
|
Merge pull request #8055 from ethereum/ewasm-rename
Rename to consistent usage of Ewasm
|
2019-12-19 12:50:28 +01:00 |
|
Alex Beregszaszi
|
9c27e98b83
|
Rename EWasmBuiltinInterpreter to EwasmBuiltinInterpreter
|
2019-12-19 11:36:08 +00:00 |
|
Alex Beregszaszi
|
65e59ecd06
|
Rename EWasm/ewasm/eWasm to Ewasm
|
2019-12-19 11:36:08 +00:00 |
|
Mathias Baumann
|
a8ca96cd3e
|
Refactor PostTypeChecker into multiple classes per usecase
|
2019-12-19 10:43:27 +00:00 |
|
Alex Beregszaszi
|
8511012e95
|
Merge pull request #8060 from ethereum/yul-interp-fix
Fix getExternalCodeSize in the Yul Ewasm interpreter
|
2019-12-18 23:14:48 +00:00 |
|
Alex Beregszaszi
|
4cebe66f8c
|
Merge pull request #8059 from ethereum/dialectForOpt
Dialect setting for yul optimizer tests.
|
2019-12-18 22:56:35 +00:00 |
|
Alex Beregszaszi
|
47a8e5fbd1
|
Fix getExternalCodeSize in the Yul Ewasm interpreter
|
2019-12-18 22:54:34 +00:00 |
|
Alex Beregszaszi
|
37ae229a4c
|
Merge pull request #8046 from imapp-pl/ewasm-interpreter-improvements
Wasm dialect extension and EWasm interpreter improvements.
|
2019-12-18 22:04:34 +00:00 |
|
chriseth
|
1e59c19166
|
Dialect setting for yul optimizer tests.
|
2019-12-18 21:54:30 +01:00 |
|
rodiazet
|
d867f5339b
|
[WASM] add i64.clz and i64.store8 to Wasm dialect and EWasm interpreter.
dsads
|
2019-12-18 19:51:27 +01:00 |
|
Alex Beregszaszi
|
12dac24871
|
Merge pull request #8054 from ethereum/wasm
Rename some generic Wasm helpers from Ewasm
|
2019-12-18 18:16:52 +00:00 |
|
Alex Beregszaszi
|
7effc94f24
|
Rename EVMToEWasmTranslator to EVMToEwasmTranslator
|
2019-12-18 16:57:45 +00:00 |
|
Alex Beregszaszi
|
018960ebb1
|
Rename EWasmObjectCompiler to WasmObjectCompiler
|
2019-12-18 15:59:31 +00:00 |
|