Commit Graph

9226 Commits

Author SHA1 Message Date
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
Alex Beregszaszi
3c8771c760
Merge pull request #3242 from ethereum/chriseth-patch-1
Bugfix in blind auction
2017-11-24 13:50:01 +00:00
chriseth
0e2a9658d2 Explain IntIntFun and merge assertion. 2017-11-23 19:02:47 +01:00
chriseth
1d91b65b72 Force condition to be bool in iulia mode. 2017-11-23 18:52:04 +01:00
chriseth
d0be67f6b0
Bugfix in blind auction 2017-11-23 18:43:19 +01:00
chriseth
b8d59422d1
Merge pull request #3240 from ethereum/docs-lexer
Update SolidityLexer
2017-11-23 12:33:42 -05:00
Alex Beregszaszi
dcd55c5005 Add exponential notation to numbers in SolidityLexer 2017-11-23 12:13:00 +00:00
Alex Beregszaszi
2c3c5ad7c9 Move reserved keywords from SolidityLexer 2017-11-23 12:12:34 +00:00
Alex Beregszaszi
3f8c143506 Add SolidityLexer.pyc to gitignore 2017-11-23 12:11:46 +00:00
Federico Bond
14fd647b85 Fix event parsing. Refs #3175 2017-11-22 23:08:12 -03:00
Alex Beregszaszi
ea18bed319
Merge pull request #3235 from ethereum/explicit-tests
Improve expected test errors for some old cases
2017-11-22 17:05:01 +00:00
Alex Beregszaszi
4c50d3f8e1 Improve expected test errors for some old cases 2017-11-22 15:41:07 +00:00
Alex Beregszaszi
03b763acee
Merge pull request #3233 from kseo/check-success
success(text) -> CHECK_SUCCESS(text)
2017-11-22 15:28:07 +00:00
chriseth
9232cd2621 Tests. 2017-11-22 16:27:32 +01:00
chriseth
e15918d8b6 Add if statement to Julia specification. 2017-11-22 16:25:24 +01:00
chriseth
6ed4e0632f Use if statement in abi functions. 2017-11-22 16:25:24 +01:00
chriseth
6dbc34e16e If statement for Iulia / inline assembly. 2017-11-22 16:25:24 +01:00
chriseth
762d591a47 Introduce sorts for smt expressions. 2017-11-22 15:20:26 +01:00
Kwang Yul Seo
4876c58f91 success(text) -> CHECK_SUCCESS(text)
success(text) does not assert the result. Use CHECK_SUCCESS macro.
2017-11-22 23:07:42 +09:00
Alex Beregszaszi
ff229ab05a
Merge pull request #3195 from ethereum/chriseth-patch-1
Tone down similarity to JavaScript.
2017-11-22 13:25:04 +00:00
Alex Beregszaszi
7fc7fa4293
Merge pull request #3231 from ethereum/chriseth-patch-2
More explanation about the packed encoding.
2017-11-22 12:30:04 +00:00
chriseth
88e1b68aaf More explanation about the packed encoding. 2017-11-22 12:29:16 +00:00
Alex Beregszaszi
be34b574bf
Merge pull request #3152 from ethereum/docs-tests
Ensure each code snippet in the docs can be extracted for tests
2017-11-22 04:59:28 +00:00
Ezra Epstein
744dea60a4 had "names" when "parameters" was meant 2017-11-22 04:08:35 +00:00
Alex Beregszaszi
23379e1061 Ensure each code snippet in the docs can be extracted for tests 2017-11-22 04:08:35 +00:00
Alex Beregszaszi
b7fb1bc0a6
Merge pull request #2129 from ethereum/julia
Initial Julia description
2017-11-22 03:37:10 +00:00
Sami Mäkelä
a4310fec55 avoid reassigning variables 2017-11-22 03:33:08 +00:00
Sami Mäkelä
16f8187166 added Switch specification 2017-11-22 03:33:07 +00:00
chriseth
d4452d8c1f Small fixes
suggested by @mrsmkl
2017-11-22 03:33:07 +00:00
chriseth
c2f2b25064 Some clarifications. 2017-11-22 03:33:07 +00:00
chriseth
5eaef9e87e Typos and clarifications. 2017-11-22 03:33:07 +00:00
chriseth
a67bd2fb6a Include JULIA section in the TOC. 2017-11-22 03:33:07 +00:00
Alex Beregszaszi
72f9e45b1a Add true/false literals 2017-11-22 03:33:07 +00:00
Alex Beregszaszi
980ba42faf Remove from examples 2017-11-22 03:33:06 +00:00
Alex Beregszaszi
0e0de7b7fd Switch cases do not require colon 2017-11-22 03:33:06 +00:00
chriseth
d9abe7b712 Require at least one case in switch 2017-11-22 03:33:06 +00:00
Alex Beregszaszi
e9b08e029e Restriction of switch 2017-11-22 03:33:06 +00:00
Alex Beregszaszi
15ca987048 Include section for Julia objects 2017-11-22 03:33:06 +00:00
Alex Beregszaszi
29502f9d44 Include type names in grammar 2017-11-22 03:33:06 +00:00
Alex Beregszaszi
b2f2b36b7c Remove subassembly 2017-11-22 03:33:05 +00:00
Alex Beregszaszi
be470f107e Support types in grammar 2017-11-22 03:33:05 +00:00
Alex Beregszaszi
0493828916 Clarify literals 2017-11-22 03:33:05 +00:00
Alex Beregszaszi
29da069bf0 Do not require parentheses on function return values 2017-11-22 03:33:05 +00:00