chriseth
|
b53629d3d0
|
Merge pull request #7977 from imapp-pl/yul-ewasm-tests-imapp
Add comparison test cases for most of EVM->Ewasm translator
|
2019-12-12 14:07:13 +01:00 |
|
chriseth
|
255f63e352
|
Merge pull request #7963 from ethereum/yul-ewasm-tests
Add bitwise test cases for most of EVM->Ewasm translator
|
2019-12-12 14:03:17 +01:00 |
|
chriseth
|
276c777af3
|
Merge pull request #7976 from ethereum/solc-api
Test solidity_free in tests too
|
2019-12-12 12:48:28 +01:00 |
|
Alex Beregszaszi
|
6e6bc9904f
|
libsolc: change return type of compile to non-const
|
2019-12-12 11:26:16 +00:00 |
|
chriseth
|
c175a468ab
|
Do not call ABIEncoderV2 experimental.
|
2019-12-12 10:59:07 +01:00 |
|
rodiazet
|
336b436d3e
|
Add comparison test cases for most of EVM->Ewasm translator
Add comparison test cases for most of EVM->Ewasm translator
|
2019-12-11 23:23:35 +01:00 |
|
Alex Beregszaszi
|
2ccf3ea4ab
|
Test solidity_free in tests too
|
2019-12-11 18:43:13 +00:00 |
|
Leonardo
|
b9c35916e5
|
Merge pull request #7975 from ethereum/solcjs-tests
Use master branch of solc-js
|
2019-12-11 19:02:00 +01:00 |
|
Alex Beregszaszi
|
9ce01b19b2
|
Use master branch of solc-js
|
2019-12-11 16:48:11 +00:00 |
|
chriseth
|
f22bd769ff
|
Merge pull request #7939 from ethereum/more_tests_override_stuff
Ambiguous override for public state variables
|
2019-12-11 17:16:59 +01:00 |
|
Bhargava Shastry
|
f5bd483dfa
|
yul proto fuzzer: Target default evm version
|
2019-12-11 16:52:00 +01:00 |
|
Alex Beregszaszi
|
5998f31543
|
Use BOOST_REQUIRE instead of BOOST_CHECK in LibSolc tests where appropriate
|
2019-12-11 15:17:50 +00:00 |
|
Alex Beregszaszi
|
b7d6e44af7
|
Fix callback memory allocation in tests
|
2019-12-11 15:17:39 +00:00 |
|
Christian Parpart
|
8682af2216
|
libsolc: Overhauls memory management.
|
2019-12-11 15:17:39 +00:00 |
|
Leonardo Alt
|
1fb62b91d2
|
Add more override tests with public state variables
|
2019-12-11 15:15:51 +01:00 |
|
Alex Beregszaszi
|
8cb085ca0d
|
Add bitwise test cases for most of EVM->Ewasm translator
|
2019-12-11 12:44:05 +00:00 |
|
Alex Beregszaszi
|
fbf946e493
|
Add also smoke tests for opcodes not part of Ewasm
|
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 |
|
chriseth
|
07d271e770
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-10 10:07:30 +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
|
e1d6ce2b66
|
Override checks for modifiers.
|
2019-12-09 18:41: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 |
|
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
|
06e8e216b3
|
Some more tests.
|
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
|
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
|
071a52f0ff
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-09 14:43:53 +01:00 |
|
Alex Beregszaszi
|
b4a260d6e3
|
Test solc-js with v0.5.0
Reverts part of edd80a98
|
2019-12-09 13:17:38 +00:00 |
|
Mathias Baumann
|
e999409c89
|
Sync & update AST exporting according to AST changes
|
2019-12-09 10:42:24 +00: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
|
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 |
|
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
|
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 |
|