 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 |
|
|
chriseth
|
ad5cd21571
|
More specification.
|
2017-11-22 03:33:05 +00:00 |
|
|
chriseth
|
f17bdaabda
|
Improve semantics description.
|
2017-11-22 03:33:04 +00:00 |
|
|
Alex Beregszaszi
|
e33a9b43ad
|
Include split/combine256
|
2017-11-22 03:33:04 +00:00 |
|
|
Alex Beregszaszi
|
aa6f33db2c
|
Use signed/unsigned types in low-level functions
|
2017-11-22 03:33:04 +00:00 |
|
|
Alex Beregszaszi
|
f47604c14b
|
Merge pull request #2993 from ethereum/trackVariables
SMT checker for various things
|
2017-11-22 03:20:09 +00:00 |
|
|
Alex Beregszaszi
|
0e4d236558
|
Include implicit type conversions
|
2017-11-22 03:07:54 +00:00 |
|
|
Alex Beregszaszi
|
183f70262a
|
Document backends
|
2017-11-22 03:07:54 +00:00 |
|
|
Alex Beregszaszi
|
0339cc1bb1
|
Case is missing from switch statements
|
2017-11-22 03:07:54 +00:00 |
|
|
Alex Beregszaszi
|
3d99e82795
|
Add types to the examples
|
2017-11-22 03:07:54 +00:00 |
|