Erik Kundt
|
1de27e0830
|
Adjusts solc-js DAO contracts to breaking natspec change.
|
2019-12-09 17:28:57 +01:00 |
|
chriseth
|
f6916a637e
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-09 17:16:58 +01: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
|
06e8e216b3
|
Some more tests.
|
2019-12-09 16:04:45 +01:00 |
|
Daniel Kirchner
|
4c7f9f9751
|
Do not require overriding for functions in common base with unique implementation.
|
2019-12-09 16:04:45 +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
|
071a52f0ff
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-09 14:43:53 +01:00 |
|
Alex Beregszaszi
|
b4a260d6e3
|
Test solc-js with v0.5.0
Reverts part of edd80a98
|
2019-12-09 13:17:38 +00:00 |
|
Mathias Baumann
|
e999409c89
|
Sync & update AST exporting according to AST changes
|
2019-12-09 10:42:24 +00:00 |
|
Christian Parpart
|
48dd1e398d
|
test: Improve handling invalid EVMVersion syntax in test cases.
|
2019-12-09 10:14:27 +01:00 |
|
chriseth
|
e061f1e743
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2019-12-05 16:44:26 +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 |
|
Mathias Baumann
|
b7d5de59c5
|
Implement overridding of functions by public variables
|
2019-12-05 12:48:52 +00:00 |
|
Gaith Hallak
|
4d90180e24
|
Support referencing other constants in inline assembly
|
2019-12-05 13:27:17 +03:00 |
|
chriseth
|
52467108ac
|
Merge pull request #7903 from ethereum/fixSuperFunction
Update missed tests for removal of superFunction.
|
2019-12-05 10:45:35 +01:00 |
|
chriseth
|
ac996d209f
|
Fix gas cost test.
|
2019-12-05 10:17:09 +01:00 |
|
chriseth
|
c326641341
|
Update missed tests for removal of superFunction.
|
2019-12-05 09:37:52 +01:00 |
|
Daniel Kirchner
|
426f04b389
|
Implement and fix overriding unimplemented and implemented functions with unimplemented functions.
|
2019-12-05 09:26:43 +01:00 |
|
chriseth
|
2c72ee7017
|
Merge pull request #7902 from ethereum/fixTest
Fix test
|
2019-12-05 09:22:50 +01:00 |
|
chriseth
|
cf12e20e43
|
Fix test.
|
2019-12-05 09:12:05 +01:00 |
|
Daniel Kirchner
|
d3ba65968c
|
Add new test.
|
2019-12-05 03:33:32 +01:00 |
|
Daniel Kirchner
|
7fab1c5e4a
|
Update tests.
|
2019-12-05 03:33:32 +01: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
|
d34b0b76b1
|
Merge pull request #7837 from ethereum/docstring-named-return
Report DocString error on named return paramater mismatch
|
2019-12-04 17:57:52 +01:00 |
|
chriseth
|
42d9a8e962
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-04 17:01:44 +01:00 |
|
Erik Kundt
|
19d466d6fb
|
Fixes named return natspec errors in compilation tests.
|
2019-12-04 15:38:12 +01:00 |
|
Erik Kundt
|
e5cb0fe839
|
Reports doctring error on named return mismatch.
|
2019-12-04 15:38:11 +01:00 |
|
chriseth
|
bd26da8d37
|
Merge pull request #7892 from ethereum/fixArrayLoopBug
Increase loop size to account for net storage gas metering.
|
2019-12-04 15:31:17 +01:00 |
|
Mathias Baumann
|
12f18b0220
|
Fix commandline tests after "develop" -> "develop_060" merge
|
2019-12-04 13:54:06 +01:00 |
|
chriseth
|
4365b665f4
|
Increase loop size to account for net storage gas metering.
|
2019-12-04 13:13:05 +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 |
|
Leonardo Alt
|
d6e8ca4c54
|
Fix SMTChecker tests in 060
|
2019-12-03 21:44:10 +01:00 |
|
chriseth
|
f2790cc5e0
|
Merge pull request #7886 from ethereum/develop
Merge develop into develop_060
|
2019-12-03 21:41:49 +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
|
e3ee67da6c
|
Merge pull request #7792 from ethereum/enableYulOptimizer
Enable yul optimizer by default.
|
2019-12-03 21:24:22 +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
|
2d42da3b7d
|
Merge pull request #7817 from ethereum/bail-on-shadowing-state-vars
Report error on shadowing state variables
|
2019-12-03 21:22:39 +01:00 |
|
Christian Parpart
|
7bbdfe070f
|
Make shadowing of inherited state variables an error.
|
2019-12-03 21:20:03 +01:00 |
|