1698 Commits

Author	SHA1	Message	Date
chriseth	f6c0daec14	Merge pull request #3652 from ethereum/gasleft_v2 ... Use StaticAnalyzer to deprecate msg.gas instead of conditionally remo…	2018-03-06 09:26:14 +01:00
Daniel Kirchner	91b13b734d	Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it in MagicType.	2018-03-05 23:16:26 +01:00
chriseth	9d67e9b4fc	Merge pull request #3640 from AnthonyBroadCrawford/spanning-multiline-message-fix ... moved spanning multi lines message to appear on some lane vs new line…	2018-03-05 22:51:53 +01:00
Anthony Broad-Crawford	174c46d5af	Improved messaging when an error spans multiple lines and updated change log file.	2018-03-05 14:14:14 -06:00
chriseth	be797cb796	Merge pull request #3599 from ethereum/sendAllGasOnByzantium ... Send all gas on byzantium	2018-03-05 20:13:52 +01:00
chriseth	3793aa405b	Merge pull request #3643 from ethereum/gasleft ... Move msg.gas to global function gasleft(). Closes #2971.	2018-03-05 20:11:37 +01:00
chriseth	83fcf007bf	Do not retain any gas in external calls (except if EVM version is set to homestead).	2018-03-05 19:32:12 +01:00
chriseth	f190b27431	Merge pull request #3600 from ethereum/version050IsAnalysisOnly ... Do not warn about 0.5.0 experimental pragma.	2018-03-05 19:28:41 +01:00
Daniel Kirchner	3340053fd9	Style improvements.	2018-03-05 17:00:37 +01:00
chriseth	477571e190	Do not warn about 0.5.0 experimental pragma.	2018-03-05 12:14:44 +01:00
chriseth	cd6ffbdf79	Merge pull request #3642 from leonardoalt/fix_z3-46 ... Add z3 performance option	2018-03-05 12:13:39 +01:00
chriseth	6dc137317f	Merge pull request #3569 from ethereum/evmVersion ... EVM version	2018-03-05 12:10:49 +01:00
chriseth	6ec4517929	Use EVM version in gas meter and optimizer.	2018-03-05 11:36:33 +01:00
Daniel Kirchner	c633c0eacb	Move msg.gas to global function gasleft(). Closes #2971.	2018-03-05 11:18:04 +01:00
Leonardo Alt	5d74b862a3	This z3 option is necessary for good solving performance	2018-03-04 14:42:36 +01:00
chriseth	f78d6a9a1e	Merge pull request #3628 from ethereum/literalsHexUnit ... Deprecate using unit denominations in combination with hex numbers.	2018-03-02 11:11:16 +01:00
Daniel Kirchner	454b470cee	Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with unit denominations.	2018-03-02 10:22:58 +01:00
Alex Beregszaszi	5a54cd5c70	Only warn for shift instructions if not using constantinople	2018-03-01 17:19:35 +01:00
chriseth	4ce0e7775d	Add constantinople.	2018-03-01 17:19:35 +01:00
chriseth	982476f99d	Add TangerineWhistle.	2018-03-01 17:19:35 +01:00
chriseth	dc317a44e0	Provide EVM version to assembly analysis.	2018-03-01 17:19:35 +01:00
chriseth	a53d6b499d	Use EVM version in type checker.	2018-03-01 17:19:35 +01:00
chriseth	f75a411325	Provide target EVM version in CompilerContext.	2018-03-01 17:19:35 +01:00
chriseth	85785710e6	Store EVM version in settings.	2018-03-01 17:19:34 +01:00
chriseth	5ab4a1ae78	Add ability to set the target EVM version.	2018-03-01 17:19:34 +01:00
Daniel Kirchner	bd4c2b9bde	Deprecate using unit denominations in combination with hex numbers. Closes #3574.	2018-03-01 16:58:55 +01:00
Alex Beregszaszi	2c82f748bb	Merge pull request #3624 from ethereum/jsonio-libraries-hex ... Ensure that library addresses supplied are of correct length and hex prefixed	2018-03-01 12:37:14 +01:00
Alex Beregszaszi	b6dfd9ef54	Ensure that library addresses supplied are of correct length and hex prefixed in JSONIO	2018-03-01 12:03:56 +01:00
Leonardo Alt	8b1b4b78c0	Fix PR comments	2018-02-28 18:31:11 +01:00
Leonardo Alt	cff0836c03	Fix PR comments	2018-02-28 18:05:20 +01:00
Leonardo Alt	21c6b80fc9	Supported types listed in SSAVariable	2018-02-28 18:05:20 +01:00
Leonardo Alt	3b2851ee41	Integer min and max values placed under SymbolicIntVar instead of SMTChecker	2018-02-28 18:05:20 +01:00
Leonardo Alt	f41591b3dd	[SMTChecker] A little refactoring on SSA vars	2018-02-28 18:05:20 +01:00
chriseth	7938339572	Merge pull request #3617 from ethereum/jsonio-libraries ... Add more comprehensive tests and checks for libraries in JSONIO	2018-02-28 17:40:29 +01:00
chriseth	22d26e059c	Merge pull request #3613 from ethereum/require-visibility ... Issue error if no visibility is specified (on 0.5.0)	2018-02-28 16:33:39 +01:00
Alex Beregszaszi	7897301b71	Properly validate invalid hex characters in JSONIO libraries	2018-02-28 10:44:48 +01:00
Alex Beregszaszi	83fec0232d	Add more comprehensive tests and checks for libraries in JSONIO	2018-02-28 10:36:07 +01:00
chriseth	908b46e9a7	Merge pull request #3476 from ethereum/scoping ... C99/C++ scoping rules	2018-02-27 17:06:10 +01:00
Alex Beregszaszi	a566825589	Issue error if no visibility is specified (on 0.5.0)	2018-02-27 16:31:53 +01:00
Alex Beregszaszi	afa4a48e37	Remove ROL/ROR as they are not part of EIP145 anymore	2018-02-27 13:42:41 +01:00
Alex Beregszaszi	468d0f6199	Warn on using shift instructions	2018-02-27 13:42:31 +01:00
chriseth	88a5c66f4a	Only active variables at the point of their declaration.	2018-02-27 12:17:25 +01:00
chriseth	6b9dda06f3	Enable C99-scoping with the 0.5.0-experimental pragma.	2018-02-27 12:17:25 +01:00
chriseth	e6d48bb72a	Blocks and for loops can be scopes.	2018-02-27 12:17:25 +01:00
chriseth	5f20129e65	Scopes do not have to be declarations.	2018-02-27 12:17:25 +01:00
chriseth	53289e15a2	Make all lookups recursive by default.	2018-02-27 12:17:25 +01:00
Alex Beregszaszi	5c0d82059f	Turn throw into a syntax error for 0.5.0	2018-02-27 02:10:24 +01:00
Alex Beregszaszi	b62d43912b	Merge pull request #3589 from ethereum/identifiers ... Clean up type identifiers	2018-02-26 20:27:26 +01:00
Alex Beregszaszi	b471983e3c	Use new escaping helpers for type identifiers	2018-02-26 19:09:43 +01:00
Alex Beregszaszi	2e7067fbe4	Rename Types::identifier to Types::richIdentifier	2018-02-26 19:09:43 +01:00