chriseth
|
152f42c6b2
|
Make ambigous override checker generic.
|
2019-12-09 18:41:39 +01:00 |
|
chriseth
|
6d2e59cc80
|
More tests.
|
2019-12-09 18:41:39 +01:00 |
|
chriseth
|
086b90fc07
|
Modifier overriding documentation.
|
2019-12-09 18:41:39 +01:00 |
|
chriseth
|
e1d6ce2b66
|
Override checks for modifiers.
|
2019-12-09 18:41:39 +01:00 |
|
chriseth
|
9b4abb2b7f
|
Change jsoncpp version everywhere.
|
2019-12-09 18:39:18 +01:00 |
|
Alex Beregszaszi
|
ac03bfc0b1
|
Drop solc-js backwards compatibility for 0.6
Reverts ee3a8341
|
2019-12-09 17:33:50 +00:00 |
|
Alex Beregszaszi
|
871a5b83ff
|
Merge pull request #7938 from ethereum/fix-solcjs-dao-natspec
Adjusts solc-js DAO contracts to breaking natspec change.
|
2019-12-09 17:33:26 +00:00 |
|
chriseth
|
d6e7202edf
|
Merge pull request #7909 from ethereum/docsChange4
[DOC] Some changes to functions.
|
2019-12-09 17:56:13 +01:00 |
|
chriseth
|
8c82ae2d21
|
Merge pull request #7907 from ethereum/docsChange3
[DOC] Some updates on functions.
|
2019-12-09 17:54:26 +01:00 |
|
chriseth
|
fa026aacb4
|
[DOC] Some changes to functions.
|
2019-12-09 17:53:09 +01:00 |
|
chriseth
|
175e9d4b5f
|
[DOC] Some updates on functions.
|
2019-12-09 17:51:39 +01:00 |
|
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 |
|
chriseth
|
da192e627e
|
Merge pull request #7878 from ethereum/overrideUnimplementedWithBaseImpl
Do not require overriding for functions in common base with unique implementation.
|
2019-12-09 17:15:07 +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
|
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
|
06e8e216b3
|
Some more tests.
|
2019-12-09 16:04:45 +01:00 |
|
chriseth
|
6d2f1f3068
|
Documentation about unique base functions.
|
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
|
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
|
071a52f0ff
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-09 14:43:53 +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 |
|
chriseth
|
0176c97626
|
Merge pull request #7923 from ethereum/assertAddressName
Fix wrong construction of ElementaryTypeNameToken
|
2019-12-09 14:36:01 +01:00 |
|
Mathias Baumann
|
be615d4f2b
|
Fix wrong construction of ElementaryTypeNameToken
And add an assert to prevent it in the future
|
2019-12-09 13:24:33 +00: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 |
|
Mathias L. Baumann
|
c62e89d222
|
Merge pull request #7925 from ethereum/update-ast-export
Sync & update JSON AST exporting according to AST changes
|
2019-12-09 12:43:33 +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 |
|
Mathias Baumann
|
e999409c89
|
Sync & update AST exporting according to AST changes
|
2019-12-09 10:42:24 +00: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
|
e061f1e743
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2019-12-05 16:44:26 +01:00 |
|
chriseth
|
2de7687c4f
|
Merge pull request #7906 from ethereum/docsChange2
[DOCS] Some changes to creation, events and modifiers.
|
2019-12-05 16:06:25 +01:00 |
|
chriseth
|
5816c43df9
|
Some changes to creation, events and modifiers.
|
2019-12-05 15:43:26 +01:00 |
|
chriseth
|
2b777456a4
|
Merge pull request #7905 from ethereum/docsChange
[DOCS] Some changes to "abstract contracts".
|
2019-12-05 15:28:53 +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
|
766bde2d78
|
Some changes to "abstract contracts".
|
2019-12-05 14:55:07 +01:00 |
|
chriseth
|
1890d17744
|
Merge pull request #7839 from ethereum/state-var-override
Public State Variable Overriding
|
2019-12-05 14:48:25 +01:00 |
|