Leonardo Alt
|
27346318a2
|
[SMTChecker] Add model checking engines to docs
|
2019-12-10 18:02:48 +01:00 |
|
chriseth
|
2b2df31b0e
|
Merge pull request #7952 from ethereum/overrideOwnFile
Split out override checker into its own file.
|
2019-12-10 16:16:29 +01:00 |
|
chriseth
|
93d84f3554
|
Split out override checker into its own file.
|
2019-12-10 16:00:05 +01:00 |
|
chriseth
|
7244aa01da
|
Merge pull request #7950 from ethereum/develop_060
Merge develop_060 into develop
|
2019-12-10 14:16:32 +01:00 |
|
chriseth
|
07d271e770
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-10 10:07:30 +01:00 |
|
chriseth
|
45aa7a8891
|
Merge pull request #7945 from ethereum/release
Merging release back into develop.
|
2019-12-10 10:03:41 +01:00 |
|
chriseth
|
b570907a12
|
Merge pull request #7933 from ethereum/solcjs-drop-compat
Drop solc-js backwards compatibility for 0.6
|
2019-12-10 10:03:03 +01:00 |
|
chriseth
|
0d846f496d
|
Merge pull request #7941 from ethereum/snark-test
Move snark test from SolidityEndToEnd
|
2019-12-10 10:02:00 +01:00 |
|
chriseth
|
5eb66e3b37
|
Merge pull request #7940 from ethereum/fixUbuntuBuildScript
Change jsoncpp version everywhere.
|
2019-12-09 19:37:26 +01:00 |
|
chriseth
|
bffd999b20
|
Merge pull request #7912 from ethereum/overrideForModifiers
Override for modifiers
|
2019-12-09 19:37:02 +01:00 |
|
Alex Beregszaszi
|
c9360421fc
|
Move snark test from SolidityEndToEnd
|
2019-12-09 18:33:07 +00:00 |
|
chriseth
|
a5f7661075
|
Ambigous overrides for modifiers.
|
2019-12-09 18:43:59 +01:00 |
|
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 |
|