chriseth
|
8e8e012cdd
|
Merge pull request #7954 from ethereum/changelog
Some wording fixes in the changelog
|
2019-12-11 00:30:56 +01:00 |
|
chriseth
|
97ef98bdbd
|
Merge pull request #7957 from ethereum/smt_docs
[SMTChecker] Add model checking engines to docs
|
2019-12-11 00:28:26 +01:00 |
|
chriseth
|
2b256cf8fc
|
Merge pull request #7953 from ethereum/fix_visitor
Fix visitor.
|
2019-12-11 00:26:15 +01:00 |
|
Alex Beregszaszi
|
2456c6d503
|
Update documentation about (reserved) keywords
|
2019-12-10 17:22:20 +00:00 |
|
Leonardo Alt
|
27346318a2
|
[SMTChecker] Add model checking engines to docs
|
2019-12-10 18:02:48 +01:00 |
|
Alex Beregszaszi
|
fbf946e493
|
Add also smoke tests for opcodes not part of Ewasm
|
2019-12-10 17:00:45 +00:00 |
|
Alex Beregszaszi
|
7f40ca5a8f
|
Fix extcodecopy() stub in EVMToEWasm
|
2019-12-10 17:00:45 +00:00 |
|
Alex Beregszaszi
|
d8cf8e98bd
|
Add basic test cases for most of EVM->Ewasm translator
|
2019-12-10 17:00:45 +00:00 |
|
Alex Beregszaszi
|
c03a2c0fe2
|
Merge pull request #7937 from ethereum/fix-7936
docker: Upgrade to evmone v0.4.0
|
2019-12-10 16:59:20 +00:00 |
|
Alex Beregszaszi
|
b71a4d6ce3
|
Sort the changelog
|
2019-12-10 16:51:59 +00:00 |
|
Alex Beregszaszi
|
e750154074
|
Some wording fixes in the changelog
|
2019-12-10 16:50:54 +00:00 |
|
chriseth
|
a66b5ea0ad
|
Fix visitor.
|
2019-12-10 16:54:04 +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 |
|
Bhargava Shastry
|
f5633ffad7
|
docker: Upgrade to evmone v0.4.0
|
2019-12-10 14:14:26 +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 |
|