Commit Graph

9067 Commits

Author SHA1 Message Date
chriseth
c6df1cdaaa Generic AST walker. 2017-12-05 14:42:52 +01:00
chriseth
b582420b5f
Merge pull request #3219 from ethereum/disambiguator
Iulia disambiguator.
2017-12-05 14:42:20 +01:00
chriseth
b47e023df1
Merge pull request #3032 from ethereum/division
Division and unary operators for SMT checker
2017-12-05 13:59:01 +01:00
chriseth
30d7afc2e3 Simplify disambiguator. 2017-12-05 12:09:55 +01:00
chriseth
cba58629d2 Refactor iulia tests. 2017-12-05 12:09:55 +01:00
chriseth
861210f543 Disambiguator. 2017-12-05 12:09:52 +01:00
chriseth
6d609557b6 Fix test. 2017-12-04 12:57:36 +01:00
chriseth
07101c1338 Rename to ASTDataForward.h 2017-12-04 12:49:55 +01:00
chriseth
240c79e614
Merge pull request #3265 from ethereum/rename_args_to_params
Rename arguments to parameters.
2017-12-04 06:49:44 -05:00
Alex Beregszaszi
4cad0b224b
Merge pull request #3250 from ethereum/aliases
Introduce InlineAsm structs into Iulia namespace.
2017-12-01 16:15:16 +00:00
chriseth
45ddfa1ac4
Merge pull request #3267 from ethereum/docker_manual
Manual deploy to docker.
2017-12-01 10:25:08 -05:00
chriseth
43bb915454 Rename arguments to paramaters and returns to returnVariables. 2017-12-01 16:18:01 +01:00
chriseth
6d8d03937e
Merge pull request #3266 from ethereum/release
Merge release back into develop.
2017-12-01 09:20:56 -05:00
chriseth
f8ef68be18 Manual deploy to docker. 2017-12-01 15:18:39 +01:00
chriseth
cbb3370836 Fix namespace ambiguity. 2017-11-30 19:12:39 +01:00
chriseth
cb16a5d327
Merge pull request #3264 from ethereum/increment_version
Increment version to 0.4.20.
2017-11-30 12:27:25 -05:00
chriseth
0971c00b21 Increment version to 0.4.20. 2017-11-30 17:50:13 +01:00
chriseth
c4cbbb054b
Merge pull request #3261 from ethereum/develop
Merge develop into release for 0.4.19
2017-11-30 10:08:09 -05:00
chriseth
d0af0c1484
Merge pull request #3263 from ethereum/always_store_bytecode
Store bytecode in any case.
2017-11-30 09:24:32 -05:00
chriseth
8d551a3ae4 Store bytecode in any case. 2017-11-30 14:29:16 +01:00
chriseth
f5a2508e7f
Merge pull request #3260 from ethereum/version
Preparation for 0.4.19 release.
2017-11-29 20:02:12 -05:00
chriseth
f7538daaf4 Preparation for 0.4.19 release. 2017-11-30 01:23:22 +01:00
chriseth
a256983320 Fix expression creation problems. 2017-11-30 01:20:21 +01:00
chriseth
00e252a39f Another test for division. 2017-11-30 01:20:21 +01:00
chriseth
d160ec8595 Fix signed division. 2017-11-30 01:20:21 +01:00
chriseth
19e067465a Unary operators and division. 2017-11-30 01:20:21 +01:00
Alex Beregszaszi
9f756e3797 Include missing forward declarations in AsmDataForward 2017-11-29 21:43:44 +00:00
chriseth
565130994a Introduce InlineAsm structs into Julia namespace. 2017-11-29 21:43:44 +00:00
Alex Beregszaszi
ffb3a3c06c
Merge pull request #2146 from ethereum/jsonio-target-selection
Support target artifact selection in JSON I/O
2017-11-29 21:09:03 +00:00
Alex Beregszaszi
3576ccf5b3 Simplify target selection code 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
b2023196a2 Rename target selection to use the word artifact 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
59bed63dbc Update standard json documentation 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
bbcec95bac Add workaround for bytecode/deployedBytecode selection 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
123d85a19e Request all outputs in JSONCompiler 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
73d25c883f Specify output selection in tests 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
8da245cca3 Limit output according to the selected targets in StandardCompiler 2017-11-29 20:10:18 +00:00
Alex Beregszaszi
d37e6ba1c7 Add target selection helpers to StandardCompiler 2017-11-29 20:10:04 +00:00
Alex Beregszaszi
07591478dd
Merge pull request #2863 from ethereum/structDecoder
ABI decoder
2017-11-29 20:02:32 +00:00
Alex Beregszaszi
aebf72c2c5
Merge pull request #3259 from wbt/patch-1
Minor update in contracts
2017-11-29 20:01:09 +00:00
wbt
2ebc9953e4
Minor update in contracts
Fix typos and prevent example code from needing horizontal scroll bar
2017-11-29 14:21:21 -05:00
chriseth
9d8e3ff395 Also test short input for old decoder. 2017-11-29 17:08:44 +01:00
chriseth
5a3dbb0269 Cleanup and overflow checks for data pointers. 2017-11-29 17:08:44 +01:00
chriseth
98c38108e8 Decoder tests. 2017-11-29 17:08:44 +01:00
chriseth
bdc1ff8ec7 ABI decoder. 2017-11-29 17:08:44 +01:00
Alex Beregszaszi
7c69d88f93
Merge pull request #3248 from ethereum/ignorePrerelease
Patch truffle to ignore pre-release compiler warning.
2017-11-29 16:06:18 +00:00
chriseth
f77480cd88 Patch truffle to ignore pre-release compiler warning. 2017-11-27 17:13:25 +01:00
chriseth
a1f59cbb17
Merge pull request #3220 from ethereum/IuliaIf
If statement for Iulia / Inline Assembly
2017-11-27 09:02:46 -05:00
Alex Beregszaszi
a7136dbc16
Merge pull request #3234 from ethereum/sortsForExpressions
Introduce sorts for smt expressions.
2017-11-27 13:56:34 +00:00
Alex Beregszaszi
663ea4b5c6
Merge pull request #3245 from ivanbakel/removeSolAssert
Remove use of solAssert in Jumpdest optimization
2017-11-27 02:48:45 +00:00
Isaac van Bakel
83f326525e Replaced solAssert in Jumpdest optimization
This is the only use of solAssert in libevmasm, and the only dependency
on libsolidity.
There is no justification for why the illegal state is checked here.
2017-11-25 21:51:27 +00:00