Commit Graph

8982 Commits

Author SHA1 Message Date
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
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
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
Alex Beregszaszi
455e51a608 Improve cyclic constant error message 2017-11-22 02:11:22 +00:00
Balajiganapathi S
d102deaec9 Detect cyclic constant definitions 2017-11-22 02:07:56 +00:00
Balajiganapathi S
c0b4969451 Add more tests for constant var as array lengths 2017-11-22 01:41:50 +00:00
Balajiganapathi S
165857b1d4 Allow constant integer variables as array lengths. 2017-11-22 01:41:46 +00:00
chriseth
5c9e273d02 Link to translations. (#3212) 2017-11-21 12:03:47 +00:00
Alex Beregszaszi
2b5ef80634
Merge pull request #3031 from wadeAlexC/develop
Improves checksum error message
2017-11-17 01:43:08 +00:00
Alex Beregszaszi
53796c0fe8 Add tests for getChecksummedAddress 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
f7249abe28 Extend address checksum tests 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
8d26894841 Show checksummed address always (prepend with 0) 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
1d5dd909b4 Do not try to display checksummed address for too-short/long address literals 2017-11-17 00:46:45 +00:00
Alex Beregszaszi
6ebc094474 Ensure that non-hex characters are caught in address checksumming 2017-11-17 00:46:45 +00:00
wadeAlexC
8a6692b2cf Improves address literal checksum error message 2017-11-17 00:46:44 +00:00
Alex Beregszaszi
2927ce0bd4
Merge pull request #3213 from chuacw/patch-1
Change phrase in type deduction
2017-11-16 16:44:23 +00:00
Chua Chee Wee
15427dc8d3
Change phrase in type deduction
updated phrase in type deduction from "any value of this type" to "the highest value of this type"
2017-11-16 23:18:06 +08:00
Alex Beregszaszi
58e452d14d
Merge pull request #3173 from federicobond/improve-number-grammar
Improve rule for decimal numbers in grammar.txt
2017-11-16 09:43:47 +00:00
chriseth
0c1fc594ef
Merge pull request #3209 from ethereum/unimplemented-msgs
Add explanation to unimplemented assertions
2017-11-16 04:32:51 -05:00
Federico Bond
58a0f09f8e Improve rule for decimal numbers in grammar.txt 2017-11-15 17:11:45 -03:00
Alex Beregszaszi
f2e9dea5e7
Merge pull request #3194 from kseo/print-using-for
Print using for directive in ASTPrinter
2017-11-15 17:20:49 +00:00