chriseth
|
35c24befb4
|
Increment version number.
|
2019-12-17 17:08:27 +01:00 |
|
chriseth
|
6453d80c08
|
Changelog entry.
|
2019-12-17 17:08:27 +01:00 |
|
chriseth
|
244b011a30
|
More test cases.
|
2019-12-17 17:08:27 +01:00 |
|
chriseth
|
143471fe87
|
Tests.
|
2019-12-17 15:47:32 +01:00 |
|
chriseth
|
7b84e141dc
|
Descend into for loops when determining call graph.
|
2019-12-17 13:47:51 +01:00 |
|
chriseth
|
01f1aaa4c7
|
Merge pull request #7934 from ethereum/develop
Merge develop to release for 0.5.14
|
2019-12-09 16:17:10 +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 |
|
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 |
|