1545 Commits

Author	SHA1	Message	Date
wadeAlexC	8a6692b2cf	Improves address literal checksum error message	2017-11-17 00:46:44 +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
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	08fec146ba	Merge pull request #3206 from kseo/outdated-comment ... Update outdated comments	2017-11-15 16:35:53 +00:00
Alex Beregszaszi	ed3ce43d6d	Merge pull request #3189 from kseo/unused ... Remove unused method	2017-11-15 16:31:22 +00:00
Kwang Yul Seo	33664c04a8	Update outdated comments ... _errors -> _errorReporter.	2017-11-16 00:28:41 +09:00
Kwang Yul Seo	f364529713	Fix a typo ... A semicolon was mistakenly inserted where a string concatenation operator was meant.	2017-11-14 21:50:09 +09:00
Kwang Yul Seo	d70ff5f8c3	Remove a redundant check ... m_type can't be FunctionType::Kind::DelegateCall.	2017-11-13 09:54:55 +09:00
Kwang Yul Seo	486647fd38	Remove unused method ... The body of Function::functionIdentifier is missing and is not used.	2017-11-12 22:27:05 +09:00
chriseth	dc6b1f02bc	Merge pull request #3092 from rivenhk/b_2885 ... added formatting when source snippets is too long	2017-10-23 10:54:52 +02:00
chriseth	7d0e46bf59	Merge pull request #3030 from ethereum/smt-variable-types ... SMT enforce variable types	2017-10-20 16:55:09 +02:00
Alex Beregszaszi	3a8324266f	More detailed errors for invalid array lengths (such as division by zero).	2017-10-20 11:59:18 +01:00
rivenhk	950f5ae7d7	updated formatting when source snippets is too long	2017-10-19 20:20:07 +08:00
chriseth	4e7d1440ab	Merge pull request #3101 from ethereum/compilerstack-header ... Remove the reliance on empty contract name equals "last contract" in CompilerStack	2017-10-19 13:43:17 +02:00
chriseth	0ae4aad8f3	Merge pull request #3108 from ethereum/remove-callcode ... Turn usage of callcode into an error as experimental 0.5.0 feature	2017-10-19 11:10:10 +02:00
Alex Beregszaszi	10677125ae	Turn usage of callcode into an error as experimental 0.5.0 feature	2017-10-19 02:20:30 +01:00
Alex Beregszaszi	8d3cfa8cff	Simplify contract lookup in CompileStack	2017-10-18 23:54:32 +01:00
Alex Beregszaszi	2ce35b77be	Implement CompilerStack.lastContractName()	2017-10-18 23:54:32 +01:00
Alex Beregszaszi	039cc25b1f	Always require a contract/sourceName in CompilerStack	2017-10-18 23:32:33 +01:00
Alex Beregszaszi	7a4c165518	Remove unused variable in Z3	2017-10-18 23:18:11 +01:00
rivenhk	d53c44a066	updating formatting when source snippets is too long	2017-10-18 22:03:33 +08:00
chriseth	e854da1a8c	Merge pull request #2925 from ethereum/tuple-value-check ... Validate each tuple literal	2017-10-18 11:59:40 +02:00
chriseth	a3db1fc197	Do not accept truncated function selectors.	2017-10-17 23:17:36 +02:00
rivenhk	b93a5980ed	added formatting when source snippets is too long	2017-10-18 01:59:15 +08:00
chriseth	153ae98878	Catch exception in Z3. ... Note: This exception might not be the result of resource limitation, it might also hint towards usage error.	2017-10-17 18:30:10 +01:00
Alex Beregszaszi	a71c6faf0f	Remove duplicate >= in Z3	2017-10-17 18:30:07 +01:00
chriseth	114983e079	Missing forward declaration.	2017-10-17 18:30:04 +01:00
chriseth	1f97c1ea8f	Rename variables in SMT checker.	2017-10-17 18:29:53 +01:00
chriseth	8a8a71de84	Only check tuples for valid rational numbers if they have more than one element.	2017-10-17 19:14:49 +02:00
Alex Beregszaszi	c99d2aae04	Validate each tuple literal	2017-10-17 18:59:01 +02:00
chriseth	6001bd1406	Allocate one byte per memory byte array element instead of 32.	2017-10-16 22:29:31 +02:00
Alex Beregszaszi	372c6693ea	Improve Z3 message in cmake	2017-10-13 13:33:18 +01:00
Alex Beregszaszi	c45e55675c	Force interface functions as external (0.5.0)	2017-10-06 13:48:38 +01:00
Alex Beregszaszi	475b818801	Remove obsolete createTypeError in AST	2017-10-05 20:18:46 +01:00
Alex Beregszaszi	ed62b2583c	Use the proper error reporting interface in ConstantEvaluator	2017-10-05 20:17:54 +01:00
Alex Beregszaszi	81519845bc	Require location keyword for local variables (0.5.0)	2017-10-05 19:02:30 +01:00
chriseth	d0fa56a217	Merge pull request #2981 from ethereum/no-address-overload ... Do not add members of address to contracts in experimental 0.5.0	2017-10-05 16:12:21 +02:00
Alex Beregszaszi	8b26d65b62	Merge pull request #3020 from ethereum/smt-functioncall ... SMT should not crash on special function calls (typecast)	2017-10-05 14:04:16 +01:00
Alex Beregszaszi	18ae0c3d78	SMT enforce variable types	2017-10-05 12:29:20 +01:00
Alex Beregszaszi	6ba0c2bba8	Merge pull request #2982 from ethereum/encoderFixes ... ABI encoder fixes and test.	2017-10-05 11:59:42 +01:00
Alex Beregszaszi	09276cb9d3	Do not add members of address to contracts in experimental 0.5.0	2017-10-05 11:42:34 +01:00
Alex Beregszaszi	10529e994f	SMT should not crash on typecast/structs	2017-10-05 11:41:11 +01:00
Alex Beregszaszi	880be25811	Merge pull request #3029 from ethereum/tanwisgas ... Send all gas for 0.5.0.	2017-10-05 11:34:17 +01:00
chriseth	11c51de5b9	Merge pull request #2968 from ethereum/calldataencodedsize ... Add some asserts about calldata encoded size.	2017-10-05 12:16:37 +02:00
chriseth	69ea5c43f3	Send all gas for 0.5.0.	2017-10-05 11:56:36 +02:00
chriseth	54cf15ac4f	Merge pull request #2901 from ethereum/compiler-names ... Provide optional list of contract names to CompilerStack.compile	2017-10-05 11:23:46 +02:00
Alex Beregszaszi	a0394a1bfa	Restrict contracts compiled via outputSelection (but not the individual output details)	2017-10-04 20:30:14 +01:00
Alex Beregszaszi	f96e932243	Provide optional list of contract names to CompilerStack.compile	2017-10-04 20:30:14 +01:00