14924 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex Beregszaszi	c9360421fc	Move snark test from SolidityEndToEnd	2019-12-09 18:33:07 +00:00
Leonardo	2579a12bb8	Merge pull request #7894 from ethereum/smt_isoltest_choice ... [SMTChecker] Create SMTSolver option in isoltest	2019-12-09 16:41:20 +01:00
chriseth	5404343dd6	Merge pull request #7926 from ethereum/revertSemver ... Revert changes to semver matcher.	2019-12-09 15:45:22 +01:00
chriseth	9c3503834d	Fix semver matcher differently.	2019-12-09 15:45:01 +01:00
Leonardo Alt	beed0f6a27	Set tests that CVC4 can't handle to Z3 only	2019-12-09 15:32:08 +01:00
Leonardo Alt	8d5f5a5cbe	Remove deprecated code	2019-12-09 15:32:08 +01:00
Leonardo Alt	77b9416d3e	Extract SMTChecker mod test	2019-12-09 15:32:08 +01:00
Leonardo Alt	02343208ad	Extract SMTChecker compound assignment division tests	2019-12-09 15:32:08 +01:00
Leonardo Alt	ae6cdc3442	Extract more SMTChecker division tests	2019-12-09 15:32:08 +01:00
Leonardo Alt	b870e4ea31	Extract SMTChecker division tests	2019-12-09 15:32:08 +01:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00
Leonardo Alt	3e8584bd21	Pull SyntaxTest::run content into separate functions	2019-12-09 15:32:08 +01:00
chriseth	69e450038c	Merge pull request #7928 from ethereum/changelogFor0514 ... Changelog updates for 0.5.14	2019-12-09 15:15:08 +01:00
chriseth	e075b10db6	Merge pull request #7917 from ethereum/solc-backwards-compat ... Add backwards compatibility to the generated soljson.js for solc-js <0.5.14	2019-12-09 14:41:56 +01:00
Alex Beregszaszi	b4a260d6e3	Test solc-js with v0.5.0 ... Reverts part of edd80a98	2019-12-09 13:17:38 +00:00
Alex Beregszaszi	ee3a834165	Add backwards compatibility to the generated soljson.js for solc-js <0.5.14 ... Reverts part of edd80a9	2019-12-09 13:17:32 +00:00
chriseth	63962f835d	Update bug list.	2019-12-09 12:52:56 +01:00
chriseth	9d2fc7ec8b	Sort changelog.	2019-12-09 12:34:21 +01:00
chriseth	ea4b9e2f98	Changelog wording.	2019-12-09 12:33:11 +01:00
Erik K	d66675602e	Merge pull request #7916 from ethereum/fix-testcase-invalid-evmversion-handling ... soltest: Improve handling invalid EVMVersion syntax in test files.	2019-12-09 10:51:08 +01:00
Christian Parpart	48dd1e398d	test: Improve handling invalid EVMVersion syntax in test cases.	2019-12-09 10:14:27 +01:00
chriseth	1fe1459b7d	Merge pull request #7583 from HenryRLee/issue5081 ... Version Checker: 0.5.x-prerelease will match `pragma solidity ^0.5` #5081	2019-12-05 14:59:58 +01:00
chriseth	e5276a2ca2	Merge pull request #7904 from ethereum/contributing-fix ... Docs: Add missing `	2019-12-05 14:44:32 +01:00
Mathias Baumann	1ab5dcaa22	Docs: Add missing `	2019-12-05 14:08:55 +01:00
chriseth	d2e3933dc0	Merge pull request #7874 from ghallak/assembly_constant_refs ... Support referencing another constants in inline assembly	2019-12-05 13:52:49 +01:00
Gaith Hallak	4d90180e24	Support referencing other constants in inline assembly	2019-12-05 13:27:17 +03:00
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