9122 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	a1f59cbb17	Merge pull request #3220 from ethereum/IuliaIf ... If statement for Iulia / Inline Assembly	2017-11-27 09:02:46 -05:00
Alex Beregszaszi	a7136dbc16	Merge pull request #3234 from ethereum/sortsForExpressions ... Introduce sorts for smt expressions.	2017-11-27 13:56:34 +00:00
Alex Beregszaszi	663ea4b5c6	Merge pull request #3245 from ivanbakel/removeSolAssert ... Remove use of solAssert in Jumpdest optimization	2017-11-27 02:48:45 +00:00
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
Federico Bond	14fd647b85	Fix event parsing. Refs #3175	2017-11-22 23:08:12 -03: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