Alex Beregszaszi
|
eafcb42be7
|
Enable more compiler warnings in the build system
"-pedantic -Wno-unknown-pragmas -Wimplicit-fallthrough"
|
2020-01-15 14:33:27 +00:00 |
|
chriseth
|
6ab8802601
|
Merge pull request #8132 from ethereum/drop-lll
Remove the LLL compiler
|
2020-01-15 15:15:22 +01:00 |
|
Alex Beregszaszi
|
9c19b93c37
|
Remove LLL specific features from libevmasm
|
2020-01-15 13:27:51 +00:00 |
|
chriseth
|
ed87b08911
|
Merge pull request #8066 from ethereum/removeAsmFlavour
Remove asm flavour
|
2020-01-15 14:21:54 +01:00 |
|
Alex Beregszaszi
|
1ee4b9dc3b
|
Remove the LLL compiler
|
2020-01-15 13:18:18 +00:00 |
|
rodiazet
|
3760e90582
|
[WASM] mstore8 function implementation added.
|
2020-01-15 14:06:43 +01:00 |
|
chriseth
|
9d9a7ebe25
|
Merge pull request #7765 from ethereum/fix-7626
yul proto fuzzer: permit variable declarations inside for-init block
|
2020-01-15 11:21:23 +01:00 |
|
chriseth
|
0149220e0d
|
Merge pull request #8140 from nventuro/patch-1
Fix error message suggestion for receive
|
2020-01-14 23:36:09 +01:00 |
|
Nicolás Venturo
|
9649c92e12
|
Fix error message suggestion for receive
|
2020-01-14 23:24:27 +01:00 |
|
Mathias Baumann
|
21611f6b6f
|
Add test for incorrect evm version when importing an ast tree
|
2020-01-14 18:42:43 +01:00 |
|
chriseth
|
b3fe84a6ea
|
Merge pull request #7153 from djudjuu/newImportAST
import ast from JSON
|
2020-01-14 17:56:53 +01:00 |
|
chriseth
|
0f014144c8
|
Test for true/false in inline assembly.
|
2020-01-14 17:16:09 +01:00 |
|
chriseth
|
123ea0a250
|
Remove asm flavour.
|
2020-01-14 17:16:09 +01:00 |
|
djudjuu
|
e8556fa1b2
|
Ast-Import from standard-json
|
2020-01-14 17:15:53 +01:00 |
|
Mathias Baumann
|
adc4774d4a
|
ASTJSON: Export evm version
|
2020-01-14 12:51:21 +01:00 |
|
Christian Parpart
|
abb9f1eed7
|
CMake: Renaming devcore static library to solutil (to match source code paths)
|
2020-01-13 15:52:46 +01:00 |
|
Bhargava Shastry
|
49a05b5935
|
Permit variable declarations inside for init block
|
2020-01-13 16:17:33 +05:30 |
|
chriseth
|
a4e34b378a
|
Merge pull request #8105 from ethereum/functionTypeRefactor
Add a new Function Type referring to FunctionDefinition's without calling context and use it to allow selector lookup.
|
2020-01-09 17:15:46 +01:00 |
|
Daniel Kirchner
|
9535c0f520
|
Introduce FunctionKind::Declaration and allow accessing function signatures via contract name.
|
2020-01-09 15:40:41 +01:00 |
|
Daniel Kirchner
|
b845595cbd
|
Ignore empty options to (i)soltest
|
2020-01-09 14:49:11 +01:00 |
|
chriseth
|
5ca3abd7cb
|
Merge pull request #8106 from random-internet-cat/move-contract-kind
Move ContractKind from ContractDefinition to file-scope
|
2020-01-08 13:06:26 +01:00 |
|
chriseth
|
e81e73345e
|
Merge pull request #8112 from ethereum/fixIndent
[tiny PR] Fix indentation in test/tools/CMakeLists.txt
|
2020-01-08 11:44:06 +01:00 |
|
Daniel Kirchner
|
61652366ab
|
Fix indentation
|
2020-01-08 10:42:19 +01:00 |
|
chriseth
|
b5bd4787af
|
Merge pull request #7801 from ethereum/tuneRemat
Tune rematerializer
|
2020-01-08 10:41:32 +01:00 |
|
rodiazet
|
b8c59c56e0
|
[WASM] Add keccak256, balance, extcodecopy, blockhash, coinbase, log's, call, callcode, delegatecall, staticcall
|
2020-01-08 10:08:36 +01:00 |
|
chriseth
|
40c0602b5c
|
Do not rematerialize in loops.
|
2020-01-08 09:56:08 +01:00 |
|
chriseth
|
25d3f27c11
|
Tune Rematerializer
|
2020-01-08 09:56:08 +01:00 |
|
chriseth
|
d1a7ff0fbc
|
Merge pull request #8008 from ethereum/large-code
Issue warning if codesize exceeds EIP-170 limits
|
2020-01-08 09:48:59 +01:00 |
|
Daniel Kirchner
|
70a2902714
|
Merge pull request #8100 from ethereum/deadTestArguments
Disallow dead positional arguments for (i)soltest
|
2020-01-07 16:56:10 +01:00 |
|
Daniel Kirchner
|
be0775da49
|
Merge pull request #8075 from ethereum/refactor-namespaces
Refactor namespaces
|
2020-01-07 16:52:20 +01:00 |
|
Mathias L. Baumann
|
a2141d3be2
|
Merge pull request #7869 from fulldecent/fix-kill
Reduce usage of word kill
|
2020-01-07 16:01:04 +01:00 |
|
Christian Parpart
|
345f9928ab
|
Library libdevcore renamed to libsolutil.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
8ac6258d31
|
lll: Adapted to namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
ed45b000d1
|
Adapt tests directory to C++ namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
6b23412fae
|
C++ namespace cleanup (except tests).
|
2020-01-07 15:51:50 +01:00 |
|
Jason Cobb
|
529405deb6
|
Move ContractKind from ContractDefinition to file-scope
|
2020-01-07 09:11:29 -05:00 |
|
William Entriken
|
6d068b6331
|
Reduce usage of the word "kill"
|
2020-01-07 11:18:10 +01:00 |
|
Bhargava Shastry
|
49aec64caf
|
abiv2 proto converter: Do not resize dynamic storage arrays by writing to the length field as it is now read only
|
2020-01-06 17:44:42 +01:00 |
|
Daniel Kirchner
|
3e714913a0
|
Disallow positional arguments for (i)soltest instead of ignoring
|
2020-01-06 15:28:20 +01:00 |
|
Leonardo Alt
|
d972a10b4f
|
Review 1
|
2020-01-02 12:43:56 +01:00 |
|
chriseth
|
3994c9135f
|
Tests.
|
2019-12-29 15:53:47 +01:00 |
|
Alex Beregszaszi
|
4d791b2679
|
Issue warning if codesize exceeds EIP-170 limits
|
2019-12-25 19:51:35 +01:00 |
|
Alex Beregszaszi
|
9c27e98b83
|
Rename EWasmBuiltinInterpreter to EwasmBuiltinInterpreter
|
2019-12-19 11:36:08 +00:00 |
|
Alex Beregszaszi
|
65e59ecd06
|
Rename EWasm/ewasm/eWasm to Ewasm
|
2019-12-19 11:36:08 +00:00 |
|
Alex Beregszaszi
|
8511012e95
|
Merge pull request #8060 from ethereum/yul-interp-fix
Fix getExternalCodeSize in the Yul Ewasm interpreter
|
2019-12-18 23:14:48 +00:00 |
|
Alex Beregszaszi
|
4cebe66f8c
|
Merge pull request #8059 from ethereum/dialectForOpt
Dialect setting for yul optimizer tests.
|
2019-12-18 22:56:35 +00:00 |
|
Alex Beregszaszi
|
47a8e5fbd1
|
Fix getExternalCodeSize in the Yul Ewasm interpreter
|
2019-12-18 22:54:34 +00:00 |
|
chriseth
|
1e59c19166
|
Dialect setting for yul optimizer tests.
|
2019-12-18 21:54:30 +01:00 |
|
rodiazet
|
d867f5339b
|
[WASM] add i64.clz and i64.store8 to Wasm dialect and EWasm interpreter.
dsads
|
2019-12-18 19:51:27 +01:00 |
|
Alex Beregszaszi
|
7effc94f24
|
Rename EVMToEWasmTranslator to EVMToEwasmTranslator
|
2019-12-18 16:57:45 +00:00 |
|
Alex Beregszaszi
|
7d3ccee921
|
Fix implementation of getCodeSize in Ewasm
|
2019-12-18 14:58:28 +00:00 |
|
Alex Beregszaszi
|
b3caf35e88
|
Change writeU256/writeU128/writeAddress not to return anything in Yul Ewasm interpreter
|
2019-12-18 14:58:28 +00:00 |
|
Alex Beregszaszi
|
9f1e8086bb
|
Fix returning code size in Yul Ewasm interpreter
|
2019-12-18 14:58:28 +00:00 |
|
chriseth
|
b74f357c5e
|
Merge pull request #8051 from ethereum/yul-interp-log
Fix tracing LOG instruction in the Yul Ewasm interpreter
|
2019-12-18 15:08:06 +01:00 |
|
Alex Beregszaszi
|
7d60cc1729
|
Fix tracing LOG instruction in the Yul Ewasm interpreter
|
2019-12-18 13:35:05 +00:00 |
|
rodiazet
|
7d8c4c24ee
|
Add arithmetic test cases for most of EVM->Ewasm translator
|
2019-12-18 13:58:03 +01:00 |
|
chriseth
|
4b026fa633
|
Update gas costs.
|
2019-12-18 01:41:32 +01:00 |
|
chriseth
|
b6fc703a27
|
Merge remote-tracking branch 'origin/release' into HEAD
|
2019-12-17 19:47:59 +01:00 |
|
chriseth
|
85a503725c
|
Merge pull request #8015 from ethereum/yul-trace-unreachable
Add trace for unreachable in Yul Ewasm translation tests
|
2019-12-17 17:42:44 +01:00 |
|
chriseth
|
244b011a30
|
More test cases.
|
2019-12-17 17:08:27 +01:00 |
|
chriseth
|
143471fe87
|
Tests.
|
2019-12-17 15:47:32 +01:00 |
|
chriseth
|
bdd338a8de
|
Merge pull request #7921 from ghallak/func-selector-ast-json
Add function selector to FunctionDefinition AST JSON
|
2019-12-16 14:07:35 +01:00 |
|
Gaith Hallak
|
0396bc7beb
|
Modify the tests to include the function selector
|
2019-12-16 15:16:54 +03:00 |
|
Alex Beregszaszi
|
2a808e4f32
|
Add trace for unreachable in Yul Ewasm translation tests
|
2019-12-15 13:28:38 +00:00 |
|
Erik Kundt
|
0620936506
|
Adds test for empty contract w/ error recovery.
|
2019-12-13 15:39:10 +01:00 |
|
Alex Beregszaszi
|
5db5382fac
|
Remove boost <1.59 workaround from tests
|
2019-12-13 00:36:34 +00:00 |
|
chriseth
|
670b719773
|
Updates to control structures (2).
Co-Authored-By: Bhargava Shastry <bhargava.shastry@ethereum.org>
|
2019-12-12 17:01:57 +01:00 |
|
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 |
|