9680 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
chriseth	03b3faa8ef	Tone down similarity to JavaScript.	2017-11-16 13:18:43 +01:00
Alex Beregszaszi	58e452d14d	Merge pull request #3173 from federicobond/improve-number-grammar ... Improve rule for decimal numbers in grammar.txt	2017-11-16 09:43:47 +00:00
chriseth	0c1fc594ef	Merge pull request #3209 from ethereum/unimplemented-msgs ... Add explanation to unimplemented assertions	2017-11-16 04:32:51 -05:00
Federico Bond	58a0f09f8e	Improve rule for decimal numbers in grammar.txt	2017-11-15 17:11:45 -03:00
Alex Beregszaszi	f2e9dea5e7	Merge pull request #3194 from kseo/print-using-for ... Print using for directive in ASTPrinter	2017-11-15 17:20:49 +00:00
Alex Beregszaszi	c1e202618c	Add explanation to unimplemented assertions	2017-11-15 17:19:29 +00:00
Kwang Yul Seo	02db1ad584	Print using for directive in ASTPrinter	2017-11-16 01:36:57 +09:00
Alex Beregszaszi	5e55b27e28	Merge pull request #3207 from ethereum/chriseth-patch-2 ... Remove obsolote statement about msg.sender and library calls.	2017-11-15 16:36:14 +00:00