493 Commits

Author	SHA1	Message	Date
chriseth	4895864302	Warn about functions named "constructor".	2018-04-18 21:23:09 +02:00
Alex Beregszaszi	cd17c37fe6	Merge pull request #3925 from ethereum/supportBionic2 ... Support ubuntu bionic source builds.	2018-04-18 18:38:05 +01:00
chriseth	64043ef970	Support ubuntu bionic source builds.	2018-04-18 17:15:26 +02:00
chriseth	29a97f1641	Fix name clashes between constructor and fallback function.	2018-04-18 14:24:35 +02:00
Leonardo Alt	ae3350ae03	[SMTChecker] Integration with CVC4	2018-04-17 12:26:58 +01:00
chriseth	3c24d64be5	Set version to 0.4.23	2018-04-17 07:55:35 +02:00
chriseth	c65159c78b	Preparation for 0.4.22 release.	2018-04-16 20:20:58 +02:00
chriseth	936832b3f9	Preparation for 0.4.22 release.	2018-04-16 19:51:49 +02:00
chriseth	3d04d83297	Merge pull request #3868 from ethereum/bytescleanup ... Properly force-clean for shortening bytesXX conversions.	2018-04-16 15:23:36 +02:00
chriseth	533d08517f	Merge pull request #3793 from ethereum/rationalNumberLimit ... Rational number limit	2018-04-16 13:10:50 +02:00
chriseth	4c1d39b7a2	Properly force-clean for shortening bytesXX conversions.	2018-04-16 12:47:38 +02:00
Erik Kundt	33fbf88707	Limits rational numbers to 4096 bits.	2018-04-16 11:45:55 +02:00
chriseth	d8030c9b2a	Merge pull request #3880 from ethereum/addressMemberDocAndWarn ... Improve documentation and warning about accessing contract members in…	2018-04-16 11:05:05 +02:00
chriseth	559fa58ddf	Document ABI encoding functions.	2018-04-13 18:36:33 +02:00
Daniel Kirchner	05c5ab19fb	Improve documentation and warning about accessing contract members inherited from address.	2018-04-13 18:26:24 +02:00
Daniel Kirchner	4bd31aaeca	Add ChangeLog entry.	2018-04-12 21:15:14 +02:00
chriseth	7054defdd6	Merge pull request #3364 from ethereum/revertWithReason ... Revert with reason	2018-04-12 21:01:08 +02:00
Daniel Kirchner	6862f22943	Fix internal compiler error when parsing `var` declaration without identifier.	2018-04-12 14:57:14 +02:00
chriseth	43b1dd758b	Changelog entry.	2018-04-12 13:09:38 +02:00
chriseth	3da16b3e8a	Documentation for revert with reason string.	2018-04-12 13:09:37 +02:00
chriseth	c3dc67d0e0	Merge pull request #3848 from ethereum/constantDivisionByZero ... Error on invalid arithmetic with constant expressions.	2018-04-12 11:49:08 +02:00
chriseth	2ad1acaf72	Warn if modifiers are applied to functions without implementation.	2018-04-11 22:00:21 +02:00
chriseth	d64e933327	Changelog entry.	2018-04-11 22:00:20 +02:00
chriseth	ae3fca6db2	Merge pull request #3863 from ethereum/fixGasEstimation ... Correctly ignore costs of fallback for other functions.	2018-04-11 21:53:41 +02:00
Daniel Kirchner	8d355df14c	Merge pull request #3830 from ethereum/fix-include-paths-errors ... Fix include paths errors	2018-04-11 21:25:30 +02:00
Daniel Kirchner	daa69df447	Error on invalid arithmetic with constant expressions.	2018-04-11 21:17:10 +02:00
chriseth	928ce08845	Correctly ignore costs of fallback for other functions.	2018-04-11 19:42:34 +01:00
Daniel Kirchner	c15cb6cc7a	Prevent information about file existence outside the allowed paths to leak by mimicing boost::filesystem::weakly_canonical.	2018-04-11 18:52:22 +02:00
Daniel Kirchner	cb548f6f53	Fix ConstantEvaluator to correctly handle single element tuples.	2018-04-11 18:30:34 +02:00
chriseth	d50d1f0ac1	Merge pull request #3580 from ethereum/asm-bitshift-optim ... Add simplification rule for bitwise shifting	2018-04-11 17:18:31 +02:00
chriseth	c9bdbcf470	Merge pull request #3309 from ethereum/limit-errors ... Limit the number of errors output in a single run to 256	2018-04-11 16:13:41 +02:00
Jason Cobb	3b7b962b66	Fix bug in typechecking when comparing rational literals	2018-04-11 12:03:08 +02:00
Daniel Kirchner	f03695731b	Add source locations to syntax test expectations.	2018-04-10 14:08:22 +02:00
Daniel Kirchner	3eedbc6a9c	Error when using no parentheses in modifier-style constructor calls.	2018-04-10 12:09:34 +02:00
Alex Beregszaszi	cb352edd26	Add constant optimiser for SHR/SHL instructions	2018-04-09 20:07:44 +01:00
Daniel Kirchner	b8fdb666e2	Allow duplicated constructor calls, if no arguments; support for multiple inheritance; backwards compatibility. ... # tmp	2018-04-09 15:26:05 +02:00
Federico Bond	4e037281ac	Error on duplicated super constructor calls	2018-04-09 11:22:35 +02:00
Daniel Kirchner	b2753aa053	Static Analyzer: Fix non-deterministic order of unused variable warnings.	2018-04-06 18:10:26 +02:00
Alex Beregszaszi	d5f40c141b	Limit the number of errors output in a single run to 256	2018-04-06 13:52:19 +02:00
Daniel Kirchner	037eba20fc	Merge pull request #3824 from ethereum/baseArgumentsEmptyParenthesis ... Error when using empty parentheses for base class constructors that r…	2018-04-05 14:43:28 +02:00
Alex Beregszaszi	36d6c27e68	Merge pull request #3745 from ethereum/fixRecursion ... Fix invalid recursion errors for structs	2018-04-05 12:04:54 +02:00
chriseth	c6da5c1650	Merge pull request #3822 from ethereum/swap-comparison ... Replace comparison operators with opposites if preceded by SWAP1	2018-04-05 11:57:26 +02:00
Daniel Kirchner	96eff0ff6a	Error when using empty parenthesis for base class constructors that require arguments.	2018-04-05 11:52:22 +02:00
Alex Beregszaszi	02ea0e547f	Replace comparison operators with opposites if preceded by SWAP1	2018-04-04 17:47:58 +02:00
chriseth	65f18a18de	More specific push implementation.	2018-04-04 16:50:45 +02:00
Alex Beregszaszi	920de496ab	Merge pull request #3798 from ethereum/commutative-swap ... Remove useless SWAP1 in front of commutative operations	2018-04-04 08:15:24 +02:00
Alex Beregszaszi	17bcabb6cf	Remove useless SWAP1 in front of commutative operations	2018-04-03 18:57:07 +02:00
Daniel Kirchner	d664a599e6	Constructors are defined using the `constructor` keyword.	2018-04-03 18:21:55 +02:00
Alex Beregszaszi	0edce4b570	Merge pull request #3693 from ethereum/optimizeMLOAD ... Optimize across MLOAD if MSIZE is not used.	2018-04-03 15:58:11 +01:00
chriseth	5bdadff0d8	Fix detection of recursive structs.	2018-04-03 16:27:28 +02:00