Commit Graph

15279 Commits

Author SHA1 Message Date
chriseth
57c00eece8 Require specific version of g++ to make PPA happy. 2019-12-11 15:29:19 +01:00
Christian Parpart
c5f74587dc
Merge pull request #7964 from ethereum/wasm
Rename EWasmToText to TextTransform and EWasmAST to WasmAST
2019-12-11 14:19:23 +01:00
Alex Beregszaszi
1294c0df99 Rename EWasmAST to WasmAST 2019-12-11 12:08:38 +00:00
Alex Beregszaszi
ae7cc58b55 Rename EWasmToText to TextTransform 2019-12-11 12:08:38 +00:00
Erik K
7247e72d8b
Merge pull request #7951 from ethereum/extractVisibility
Move Visibility out of Declaration.
2019-12-11 10:16:03 +01:00
chriseth
90feb8f72a Move Visibility out of Declaration. 2019-12-11 00:38:59 +01:00
chriseth
5389e03fb1
Merge pull request #7942 from ethereum/yul-ewasm-tests
Add basic test cases for most of EVM->Ewasm translator
2019-12-11 00:32:40 +01:00
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