Commit Graph

14914 Commits

Author SHA1 Message Date
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
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
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