9167 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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