8997 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Alex Beregszaszi	f22ac8fc96	Merge pull request #3204 from frangio/grammar-incomplete-tuples ... Make tuple components optional in documented grammar	2017-11-22 02:22:38 +00:00
Alex Beregszaszi	455e51a608	Improve cyclic constant error message	2017-11-22 02:11:22 +00:00
Balajiganapathi S	d102deaec9	Detect cyclic constant definitions	2017-11-22 02:07:56 +00:00
Balajiganapathi S	c0b4969451	Add more tests for constant var as array lengths	2017-11-22 01:41:50 +00:00