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 |
|
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 |
|
chriseth
|
03b3faa8ef
|
Tone down similarity to JavaScript.
|
2017-11-16 13:18:43 +01: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 |
|
Alex Beregszaszi
|
c1e202618c
|
Add explanation to unimplemented assertions
|
2017-11-15 17:19:29 +00:00 |
|
Kwang Yul Seo
|
02db1ad584
|
Print using for directive in ASTPrinter
|
2017-11-16 01:36:57 +09:00 |
|
Alex Beregszaszi
|
5e55b27e28
|
Merge pull request #3207 from ethereum/chriseth-patch-2
Remove obsolote statement about msg.sender and library calls.
|
2017-11-15 16:36:14 +00:00 |
|
Alex Beregszaszi
|
08fec146ba
|
Merge pull request #3206 from kseo/outdated-comment
Update outdated comments
|
2017-11-15 16:35:53 +00:00 |
|
Alex Beregszaszi
|
ed3ce43d6d
|
Merge pull request #3189 from kseo/unused
Remove unused method
|
2017-11-15 16:31:22 +00:00 |
|