9438 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Balajiganapathi S	165857b1d4	Allow constant integer variables as array lengths.	2017-11-22 01:41:46 +00:00
chriseth	5c9e273d02	Link to translations. (#3212)	2017-11-21 12:03:47 +00:00
Alex Beregszaszi	2b5ef80634	Merge pull request #3031 from wadeAlexC/develop ... Improves checksum error message	2017-11-17 01:43:08 +00:00
Alex Beregszaszi	53796c0fe8	Add tests for getChecksummedAddress	2017-11-17 00:46:45 +00:00
Alex Beregszaszi	f7249abe28	Extend address checksum tests	2017-11-17 00:46:45 +00:00
Alex Beregszaszi	8d26894841	Show checksummed address always (prepend with 0)	2017-11-17 00:46:45 +00:00
Alex Beregszaszi	1d5dd909b4	Do not try to display checksummed address for too-short/long address literals	2017-11-17 00:46:45 +00:00
Alex Beregszaszi	6ebc094474	Ensure that non-hex characters are caught in address checksumming	2017-11-17 00:46:45 +00:00
wadeAlexC	8a6692b2cf	Improves address literal checksum error message	2017-11-17 00:46:44 +00:00
Alex Beregszaszi	2927ce0bd4	Merge pull request #3213 from chuacw/patch-1 ... Change phrase in type deduction	2017-11-16 16:44:23 +00:00
Chua Chee Wee	15427dc8d3	Change phrase in type deduction ... updated phrase in type deduction from "any value of this type" to "the highest value of this type"	2017-11-16 23:18:06 +08:00