cerc-io/solidity
11
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,252 Commits 348 Branches 121 Tags
4bd9bcbc774cd1e9bf9f5db385ea82dd1dd54c2e
Commit Graph
9252 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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