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,054 Commits 348 Branches 121 Tags 100 MiB
134cc73e8e
Commit Graph

9054 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
6ed4e0632f Use if statement in abi functions. 2017-11-22 16:25:24 +01:00
chriseth
6dbc34e16e If statement for Iulia / inline assembly. 2017-11-22 16:25:24 +01:00
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