Commit Graph
15241 Commits
Author SHA1 Message Date
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 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
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
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 6195072878 Merge pull request #7901 from ethereum/unimplementedOverrides
Overriding (un)implemented functions with unimplemented functions.
2019-12-05 10:40:17 +01:00