cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,032 Commits 348 Branches 121 Tags 100 MiB
8da245cca3
Commit Graph

9032 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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