14898 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Henry Lee	628d219c94	Version Checker: 0.5.x-prerelease will match pragma solidity ^0.5 ... Basically, the pre-release rule is only applied when all remaining version numbers equal to 0.	2019-12-05 09:07:20 +11:00
chriseth	2a1b6f55af	Merge pull request #7880 from ethereum/smt_runtime_choice ... [SMTChecker] Create options to choose SMT solver in runtime	2019-12-04 17:57:29 +01:00
Leonardo Alt	7be6b54fc7	Add comment	2019-12-04 17:31:44 +01:00
Leonardo Alt	48c3a5c225	[SMTChecker] Create options to choose SMT solver in runtime	2019-12-04 17:31:44 +01:00
chriseth	e24cca314e	Merge pull request #7890 from ethereum/defaultIstanbul ... Set default EVM version to Istanbul.	2019-12-04 12:53:29 +01:00
chriseth	63b56f4673	Merge pull request #7873 from ethereum/smt_rlimit ... [SMTChecker] Use rlimit instead of tlimit for SMT queries	2019-12-04 12:52:28 +01:00
Leonardo Alt	67d82fc8a7	[SMTChecker] Use rlimit instead of tlimit for SMT queries	2019-12-04 11:52:18 +01:00
chriseth	af482470f9	Update gas costs.	2019-12-04 11:41:42 +01:00
chriseth	dc79274871	Set default EVM version to Istanbul.	2019-12-04 10:42:14 +01:00
chriseth	d0f9201ed4	Merge pull request #7866 from ethereum/considerInfiniteLoopsNonMovable ... [Yul] Mark recursive functions and functions containing loops to be non-movable.	2019-12-03 22:02:20 +01:00
chriseth	f713b7e158	Remove trailing whitespace in test.	2019-12-03 21:38:20 +01:00
chriseth	bbeb093abf	Detect loops in call graph generator.	2019-12-03 21:38:20 +01:00
chriseth	37d776a1a6	Merge pull request #7831 from ethereum/mocked-host ... Use evmc::MockedHost moar	2019-12-03 21:27:50 +01:00
chriseth	287b9be7af	Merge pull request #7872 from ethereum/smt_z3_4_8_7 ... Update to Z3 4.8.7	2019-12-03 21:23:40 +01:00
chriseth	306c7eb5e8	Merge pull request #7884 from ethereum/yul-exceptions ... Replace all solAsserts with yulAsserts in libyul (and support YulException in StandardCompiler)	2019-12-03 20:33:42 +01:00
Leonardo Alt	5337f58767	Update to Z3 4.8.7	2019-12-03 20:19:20 +01:00
Alex Beregszaszi	c644f43cde	Update test expection in use_stack_optimization with YulException	2019-12-03 19:06:48 +01:00
Alex Beregszaszi	9140a7d64e	Support catching YulException nicely in StandardCompiler	2019-12-03 19:06:21 +01:00
Daniel Kirchner	361801b94c	Merge pull request #7879 from ethereum/updateZ3PPAScript ... Update to Z3 4.8.7 and cherry-pick build fix commit	2019-12-03 18:50:24 +01:00
Alex Beregszaszi	7e8f0a17bc	Replace all solAsserts with yulAsserts in libyul	2019-12-03 17:54:34 +01:00
Mathias L. Baumann	a13416f4da	Merge pull request #7882 from ethereum/libyul-assert ... Actually throw YulAssertion in yulAssert	2019-12-03 17:39:22 +01:00
Mathias L. Baumann	d29a87dfdc	Merge pull request #7881 from ethereum/json-cleanup ... Removed non-strict JsonParse helpers	2019-12-03 17:38:00 +01:00
Alex Beregszaszi	cab00755e8	Actually throw YulAssertion in yulAssert	2019-12-03 16:40:48 +01:00
Alex Beregszaszi	7156c908be	Drop non-strict version of jsonParse* and always use jsonParseStrict	2019-12-03 16:20:23 +01:00
Daniel Kirchner	c9be3bdf7e	Rename cmake option	2019-12-03 15:11:38 +01:00
Alex Beregszaszi	7ace66ad59	Remove last boost/variant include	2019-12-03 14:44:56 +01:00
Daniel Kirchner	e04d8955ab	Update to Z3 4.8.7 and cherry-pick build fix commit	2019-12-03 14:41:02 +01:00
Leonardo	9554b90e07	Merge pull request #7871 from ethereum/smt_fix_struct_array_ice ... [SMTChecker] Fix ICE in array of structs type	2019-12-03 10:37:04 +01:00
chriseth	c0931405be	Merge pull request #7875 from ethereum/it-translation ... [DOCS] Add Italian translation	2019-12-03 10:19:09 +01:00
Chris Chinchilla	2340d830ce	Add Italian translation	2019-12-03 10:02:55 +01:00
Leonardo Alt	b1577f5e46	[SMTChecker] Fix ICE in array of structs type	2019-12-03 01:12:30 +01:00
Paweł Bylica	cdcfea73ab	EVMHost: Remove unneeded methods	2019-12-02 23:22:27 +01:00
Paweł Bylica	0bd80ed958	EVMHost: Mark methods as final	2019-12-02 23:22:27 +01:00
Paweł Bylica	19f54857a6	EVMHost: Make m_currentAddress private	2019-12-02 23:22:27 +01:00
Paweł Bylica	eacc1753fd	EVMHost: Remove unnecessary State struct	2019-12-02 23:22:27 +01:00
Paweł Bylica	7a0f311032	EVMHost: Use evmc::MockedAccount	2019-12-02 23:22:10 +01:00
Paweł Bylica	635e2fc9d3	EVMHost: Reuse tx_context from MockedHost	2019-12-02 23:04:02 +01:00
Paweł Bylica	2683c83ad2	EVMHost: Use recorded_logs from MockedHost	2019-12-02 23:04:02 +01:00
Alex Beregszaszi	1718250248	EVMHost: use evmc::MockedHost	2019-12-02 23:04:02 +01:00
Daniel Kirchner	4d2f205706	Merge pull request #7848 from ethereum/evmc-7.1 ... Update EVMC to 7.1.0	2019-12-02 23:03:48 +01:00
Alex Beregszaszi	c4012eee33	Update EVMHost to EVMC 7.1.0 ... Co-authored-by: Paweł Bylica <chfast@gmail.com>	2019-12-02 21:26:42 +01:00
Alex Beregszaszi	aba2ee0f68	Update EVMC to 7.1.0	2019-12-02 21:26:42 +01:00
Daniel Kirchner	7a8d0c9250	Merge pull request #7852 from ethereum/evmc-host-precompiles ... EVMHost: mark precompiles as existing accounts in the constructor	2019-12-02 21:25:59 +01:00
Alex Beregszaszi	2a62425f0a	EVMHost: mark precompiles as existing accounts in the constructor	2019-12-02 20:49:33 +01:00
Paweł Bylica	578d69983d	EVMHost: Mark precompiles implementation as static methods	2019-12-02 20:41:50 +01:00
Daniel Kirchner	04222f0e2b	Merge pull request #7868 from ethereum/evmc-host-byzantium ... EVMHost: disallow Byzantium precompiles on earlier EVM versions	2019-12-02 20:41:07 +01:00
Alex Beregszaszi	fca0f6e2c1	Disable EndToEnd/snark test on <Byzantium (given the precompiles were introduced after)	2019-12-02 19:37:09 +01:00
Alex Beregszaszi	ddf6e067ed	EVMHost: disallow Byzantium precompiles on earlier EVM versions	2019-12-02 19:11:18 +01:00
Alex Beregszaszi	e349973396	Merge pull request #7854 from ethereum/lll-turn-on-testing ... Turn on LLL testing in test_ubuntu1904_clang	2019-12-02 18:22:37 +01:00
Alex Beregszaszi	6a254e27a1	Turn on LLL testing in test_ubuntu1904_clang	2019-12-02 17:39:39 +01:00