cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
15,262 Commits 348 Branches 121 Tags
d8cf8e98bda5cff6a7ca90bd907e2d71666fa989
Commit Graph
15262 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
v0.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