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,068 Commits 348 Branches 121 Tags
a08d853bbb0d5f052cc264a84340bde577f54c4e
Commit Graph
9068 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Isaac van Bakel 83f326525e Replaced solAssert in Jumpdest optimization 
This is the only use of solAssert in libevmasm, and the only dependency
on libsolidity.
There is no justification for why the illegal state is checked here.
 2017-11-25 21:51:27 +00:00
Alex Beregszaszi 3c8771c760 Merge pull request #3242 from ethereum/chriseth-patch-1 
Bugfix in blind auction
 2017-11-24 13:50:01 +00:00
chriseth 0e2a9658d2 Explain IntIntFun and merge assertion. 2017-11-23 19:02:47 +01:00
chriseth 1d91b65b72 Force condition to be bool in iulia mode. 2017-11-23 18:52:04 +01:00
chriseth d0be67f6b0 Bugfix in blind auction 2017-11-23 18:43:19 +01:00
chriseth b8d59422d1 Merge pull request #3240 from ethereum/docs-lexer 
Update SolidityLexer
 2017-11-23 12:33:42 -05:00
Alex Beregszaszi dcd55c5005 Add exponential notation to numbers in SolidityLexer 2017-11-23 12:13:00 +00:00
Alex Beregszaszi 2c3c5ad7c9 Move reserved keywords from SolidityLexer 2017-11-23 12:12:34 +00:00
Alex Beregszaszi 3f8c143506 Add SolidityLexer.pyc to gitignore 2017-11-23 12:11:46 +00:00
Alex Beregszaszi ea18bed319 Merge pull request #3235 from ethereum/explicit-tests 
Improve expected test errors for some old cases
 2017-11-22 17:05:01 +00:00
Alex Beregszaszi 4c50d3f8e1 Improve expected test errors for some old cases 2017-11-22 15:41:07 +00:00
Alex Beregszaszi 03b763acee Merge pull request #3233 from kseo/check-success 
success(text) -> CHECK_SUCCESS(text)
 2017-11-22 15:28:07 +00:00
chriseth 9232cd2621 Tests. 2017-11-22 16:27:32 +01:00
chriseth e15918d8b6 Add if statement to Julia specification. 2017-11-22 16:25:24 +01:00
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