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 |
|
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
|
6230d8f515
|
Merge pull request #7900 from ethereum/replaceSuperFunctionAnnotation
Replace ``superFunction`` with ``baseFunctions`` in AST annotations and ASTJSON.
|
2019-12-05 09:21:48 +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 |
|
Daniel Kirchner
|
8b35918ad0
|
Replace superFunction by baseFunctions in AST annotations and JSON AST.
|
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
|
6c0660ac66
|
Merge pull request #7876 from ethereum/docInheritance
[DOC] Clarification about inhertiance.
|
2019-12-04 18:14:25 +01:00 |
|
chriseth
|
fc5bbd1963
|
Clarify documentation with regards to inheritance.
|
2019-12-04 18:11:04 +01: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
|
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 |
|