Commit Graph

9001 Commits

Author SHA1 Message Date
Alex Beregszaszi
4c50d3f8e1 Improve expected test errors for some old cases 2017-11-22 15:41:07 +00: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
Alex Beregszaszi
173bdb0df6 Define types in Julia 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
c3a6db7256 Describe built-in Julia functions 2017-11-22 03:07:54 +00:00
Alex Beregszaszi
2a91eb9538 Move Julia documentation to its own file 2017-11-22 03:07:49 +00:00
chriseth
f73660423a First take in formal specification. 2017-11-22 02:45:07 +00:00
chriseth
243002e5f3 Describe Julia. 2017-11-22 02:45:07 +00:00
chriseth
8538a25f8d Fix problem with non-value-typed variables. 2017-11-22 02:35:34 +00:00
chriseth
19d5c42429 For loop. 2017-11-22 02:35:34 +00:00
chriseth
5e2c066778 Test for multi-branches. 2017-11-22 02:35:34 +00:00
chriseth
95a65dc04c Fix boolean constants. 2017-11-22 02:35:34 +00:00
chriseth
90fb14f525 Tests. 2017-11-22 02:35:34 +00:00
chriseth
22c689d516 Check for conditions being constant. 2017-11-22 02:35:34 +00:00
chriseth
e5de4a66ed Tests. 2017-11-22 02:35:34 +00:00
chriseth
b37377641d Track usage of variables. 2017-11-22 02:35:34 +00:00
chriseth
f62caf587e Handle branches. 2017-11-22 02:35:34 +00:00
Alex Beregszaszi
4e0723ce27
Merge pull request #3142 from Balajiganapathi/allow_constant_array_length
Allow constant integer variables as array lengths.
2017-11-22 02:34:17 +00:00
Alex Beregszaszi
f22ac8fc96
Merge pull request #3204 from frangio/grammar-incomplete-tuples
Make tuple components optional in documented grammar
2017-11-22 02:22:38 +00:00