Erik Kundt
|
2d0daae796
|
Disallows index access on contracts and libraries.
|
2019-02-25 23:05:33 +00:00 |
|
Alex Beregszaszi
|
a498062816
|
Fix gas test after using shifts in constant optimiser
|
2019-02-25 19:44:47 +00:00 |
|
chriseth
|
7a2645f7d2
|
Merge pull request #6079 from ethereum/shift-tests
Add more test cases for shifts with constants
|
2019-02-25 16:28:06 +01:00 |
|
Erik Kundt
|
e4182e2add
|
Fixes wrong EVMVersion namespace in yulrun.
|
2019-02-25 15:56:17 +01:00 |
|
Alex Beregszaszi
|
7d52884247
|
Add more test cases for shifts with constants
|
2019-02-25 14:44:30 +00:00 |
|
chriseth
|
70bbdd8fac
|
Merge pull request #3464 from ethereum/iulia_interp
Yul interpreter
|
2019-02-25 15:38:41 +01:00 |
|
Leonardo Alt
|
2405b2151a
|
EVMVersion in langutil namespace instead of solidity
|
2019-02-25 15:29:57 +01:00 |
|
chriseth
|
94e2afff81
|
Rebase update.
|
2019-02-25 14:30:34 +01:00 |
|
chriseth
|
cc88c517a2
|
Review changes.
|
2019-02-25 11:58:37 +01:00 |
|
Bhargava Shastry
|
d564c24f30
|
POP is actually a valid instruction.
|
2019-02-25 11:58:37 +01:00 |
|
chriseth
|
0e471ab811
|
Review comments.
|
2019-02-25 11:58:37 +01:00 |
|
chriseth
|
5eb155b894
|
Interpreter tests.
|
2019-02-25 11:58:36 +01:00 |
|
chriseth
|
e91be8222c
|
Yul interpreter executable.
|
2019-02-25 11:57:48 +01:00 |
|
chriseth
|
0c432a861c
|
Yul interpreter.
|
2019-02-25 11:57:48 +01:00 |
|
chriseth
|
8aeebf7fcd
|
Merge pull request #6071 from ethereum/moveEVMVersionToEVMDialect
Make EVM version part of EVM dialect.
|
2019-02-25 11:56:53 +01:00 |
|
Erik Kundt
|
f683ceb3f8
|
Adds support for boolean literals in soltest.
|
2019-02-21 23:28:48 +01:00 |
|
chriseth
|
7f5b335b47
|
Make EVM version part of EVM dialect.
|
2019-02-21 21:59:46 +01:00 |
|
chriseth
|
773a3ff880
|
Merge pull request #6036 from ethereum/soltest-hexliterals
[soltest] Add support for left-aligned hex literals
|
2019-02-21 19:11:27 +01:00 |
|
chriseth
|
13667d42ec
|
Merge pull request #6067 from ethereum/asm-parser-fatal
Do not ignore fatal error in AsmParser for inline assembly
|
2019-02-21 18:12:13 +01:00 |
|
Alex Beregszaszi
|
fcf884f201
|
Do not ignore fatal error in AsmParser for inline assembly
|
2019-02-21 16:18:53 +00:00 |
|
chriseth
|
6a1e339b9d
|
Merge pull request #6068 from ethereum/fix-no-color
Fix isoltest --no-color option
|
2019-02-21 17:08:10 +01:00 |
|
Erik Kundt
|
d40928f5fc
|
Adds support for hex literals in soltest.
|
2019-02-21 17:04:40 +01:00 |
|
chriseth
|
98012135c6
|
Merge pull request #6060 from ethereum/soltest-formatting
[soltest] Create dedicated formatting
|
2019-02-21 16:43:50 +01:00 |
|
Mathias Baumann
|
7a40088d95
|
Fix isoltest --no-color option
|
2019-02-21 16:42:23 +01:00 |
|
Erik Kundt
|
d1ad431887
|
Moves soltest function call to separate class.
|
2019-02-21 16:39:31 +01:00 |
|
chriseth
|
15d275ed37
|
Merge pull request #6023 from ethereum/assignment-whitespace-op
Add extra token for assembly assignment
|
2019-02-21 14:43:29 +01:00 |
|
chriseth
|
52df027afe
|
Merge pull request #6063 from ethereum/stackCompressorBuiltin
Take builtin functions into account in the compilability checker.
|
2019-02-21 14:40:56 +01:00 |
|
Mathias Baumann
|
1672902abb
|
Unify isoltest and soltest options code
Also provide a default value for ipc-path, which is the same one as aleth uses.
|
2019-02-21 14:04:39 +01:00 |
|
Mathias Baumann
|
f395d5bab4
|
Add extra token for assembly assignment
Adding an extra token for := prevents whitespace between : = being valid
|
2019-02-21 13:58:21 +01:00 |
|
Mathias Baumann
|
8b342cbe6a
|
Use Boost::Program_Options in soltest
|
2019-02-21 13:30:09 +01:00 |
|
Mathias Baumann
|
f4110b295b
|
Use env variable to get IPC path for isoltest
|
2019-02-21 13:27:24 +01:00 |
|
chriseth
|
27d936cf44
|
Merge pull request #5102 from ethereum/abiencoderv2-tests
Run all end-to-end tests with ABIEncoderV2
|
2019-02-21 13:11:06 +01:00 |
|
chriseth
|
947215a901
|
Take builtin functions into account in the compilability checker.
|
2019-02-21 12:13:42 +01:00 |
|
chriseth
|
8ace2c5b11
|
Special treatment for differences between ABI encoders.
|
2019-02-21 11:11:29 +00:00 |
|
Erik Kundt
|
6c7ad42e2d
|
Shares langutil code with soltest.
|
2019-02-21 01:04:34 +01:00 |
|
Alex Beregszaszi
|
219406f45b
|
Add CLI option to soltest to always use ABIEncoderV2
|
2019-02-20 16:55:19 +01:00 |
|
chriseth
|
b14d22d11e
|
Tests for events with structs in libraries.
|
2019-02-20 14:35:02 +01:00 |
|
chriseth
|
0613c69c4a
|
Merge pull request #6043 from ethereum/asm-jump-invalidlabel
Proper error message for missing variables in inline assembly
|
2019-02-20 14:32:40 +01:00 |
|
chriseth
|
fcd82025de
|
Merge pull request #6046 from ethereum/smt_division_tests
[SMTChecker] Move tests that contain division to boost tests
|
2019-02-20 14:29:15 +01:00 |
|
Leonardo Alt
|
123d0857c5
|
[SMTChecker] Move tests that contain division to boost tests
|
2019-02-20 12:17:03 +01:00 |
|
Alex Beregszaszi
|
687522a2f5
|
Move inline assembly tests from nameAndTypeResolution to inlineAssembly
|
2019-02-20 11:00:02 +00:00 |
|
Alex Beregszaszi
|
52496ea719
|
Proper error message for missing variables in inline assembly
|
2019-02-20 10:36:55 +00:00 |
|
Mathias Baumann
|
a63f7ca9df
|
Fix crash due to missing type info
|
2019-02-19 17:28:44 +01:00 |
|
chriseth
|
d9e4a10d5a
|
Merge pull request #6000 from ethereum/fixECRecoverABIV2
Fixed internal error related to ecrecover and ABIEncoderV2.
|
2019-02-19 14:36:08 +01:00 |
|
chriseth
|
874648b924
|
Merge pull request #5999 from ethereum/smt_lazy_overflow
[SMTChecker] Check for under/overflow in the end of the function
|
2019-02-19 14:28:55 +01:00 |
|
chriseth
|
05541e5adb
|
Fixed internal error related to ecrecover and ABIEncoderV2.
|
2019-02-19 14:17:03 +01:00 |
|
chriseth
|
d5791fef41
|
Fix combination of delegatecall and ABIEncoderV2.
We can set the flag to false for bare delegatecall, because we always
send a memory string and never a storage reference.
|
2019-02-19 13:57:03 +01:00 |
|
chriseth
|
55c4131a03
|
Merge pull request #6030 from ethereum/fixABIEncoderV2Mapping
Allow cleanup for mappings (do nothing).
|
2019-02-19 13:56:21 +01:00 |
|
Leonardo Alt
|
34470f3549
|
[SMTChecker] Only check for overflow/underflow in the end of the function
|
2019-02-18 23:55:58 +01:00 |
|
Alex Beregszaszi
|
2949bd14dd
|
Merge pull request #6028 from ethereum/warn-about-unused-struct-array-expr
Detect custom type expressions that have no effect
|
2019-02-18 21:12:04 +00:00 |
|
Mathias Baumann
|
e3d4155fa8
|
Detect custom type expressions that have no effect
|
2019-02-18 18:59:31 +01:00 |
|
chriseth
|
c690f679cb
|
Allow cleanup for mappings (do nothing).
|
2019-02-18 18:50:22 +01:00 |
|
chriseth
|
968ca88690
|
Merge pull request #5872 from ethereum/semantic-tests-split
Semantic test infrastructure
|
2019-02-18 18:13:55 +01:00 |
|
chriseth
|
1b6d87c5bd
|
Merge pull request #5979 from ethereum/fix-context-for-hint
Make sure "value" error hint is only displayed in the right context
|
2019-02-18 17:35:31 +01:00 |
|
chriseth
|
e88765f936
|
Merge pull request #6022 from ethereum/fixFunctionScoping
Properly detect name clashes with functions before their definition.
|
2019-02-18 16:47:21 +01:00 |
|
Mathias Baumann
|
ee9394b4aa
|
Move 'warnUnused' tests to subfolder
|
2019-02-18 16:42:58 +01:00 |
|
Mathias Baumann
|
093b9ced97
|
Make sure "value" error hint is only displayed in the right context
Before, the hint would be shown for any "value" member, even a user-specified one.
|
2019-02-18 16:29:57 +01:00 |
|
chriseth
|
cb0ad2266c
|
Merge pull request #6008 from ethereum/smt_fix_abstract_assignment
[SMTChecker] Assert type is not function when assigning
|
2019-02-18 14:54:20 +01:00 |
|
chriseth
|
b4cd2d6a93
|
Properly detect name clashes with functions before their definition.
|
2019-02-18 14:51:05 +01:00 |
|
chriseth
|
db7b38e3c4
|
Merge pull request #5978 from ethereum/fix-broken-hint
Fix error msg hint for non-payable contracts
|
2019-02-18 11:49:07 +01:00 |
|
Erik Kundt
|
dacad629ef
|
Adds semantic tests to test framework and isoltest.
|
2019-02-15 13:27:15 +01:00 |
|
Mathias Baumann
|
419a12db03
|
TypeChecker: Add test to increase coverage
|
2019-02-14 13:41:33 +01:00 |
|
Leonardo Alt
|
22cdfb18d4
|
[SMTChecker] Assert type is not function when assigning
|
2019-02-14 13:32:56 +01:00 |
|
Mathias Baumann
|
10a9960eb3
|
Fix error msg hint for non-payable contracts
|
2019-02-14 11:39:19 +01:00 |
|
chriseth
|
b1df990a0f
|
Merge pull request #5990 from ethereum/provideAccessToAssmeblyAST
Provide access to assembly ast
|
2019-02-13 17:38:22 +01:00 |
|
chriseth
|
c5879589af
|
Merge pull request #5998 from ethereum/codingStyleCheck
More coding style checks
|
2019-02-13 17:36:34 +01:00 |
|
chriseth
|
17817dc0ef
|
Merge pull request #5995 from ethereum/incr-type-checker-cov
Add tests to increase TypeChecker.cpp coverage
|
2019-02-13 17:06:58 +01:00 |
|
chriseth
|
1a823f0bf8
|
Fix tabs/spaces.
|
2019-02-13 17:05:48 +01:00 |
|
chriseth
|
17ea467e5b
|
Fix style of "const".
|
2019-02-13 16:34:53 +01:00 |
|
Mathias Baumann
|
1e603c27ea
|
Add tests to increase TypeChecker.cpp coverage
|
2019-02-13 16:31:26 +01:00 |
|
chriseth
|
3a3ed1c6b5
|
Fix assertion concerning jumps in strict assembly.
|
2019-02-13 15:57:14 +01:00 |
|
Mathias Baumann
|
6a6cc27b71
|
Rename & move tests of group typeChecking to subfolder
|
2019-02-13 15:52:31 +01:00 |
|
chriseth
|
a344381d5e
|
Provide access to AssemblyStack's AST.
|
2019-02-13 14:19:56 +01:00 |
|
Erik Kundt
|
190634e1f9
|
Implements infrastructure for semantic tests.
|
2019-02-13 13:05:58 +01:00 |
|
chriseth
|
0bd049c849
|
Adapet uses of AssemblyStack.
|
2019-02-13 12:23:07 +01:00 |
|
chriseth
|
9ab72f0188
|
Merge pull request #5971 from ethereum/overloadedEvents
More tests for overloaded events.
|
2019-02-12 12:00:02 +01:00 |
|
Bhargava Shastry
|
7751fa740f
|
Ensure we fail gracefully when user tries to optimize Yul code
|
2019-02-12 11:21:02 +01:00 |
|
chriseth
|
091bbdb459
|
More tests for overloaded events.
|
2019-02-12 10:54:58 +01:00 |
|
chriseth
|
0b392fff7e
|
Merge pull request #5968 from ethereum/calldataArrays
Disallow calldata arrays with dynamically encoded base types in TypeChecker.
|
2019-02-11 18:08:10 +01:00 |
|
Daniel Kirchner
|
9e32aa7510
|
Disallow calldata arrays with dynamically encoded base types in TypeChecker.
|
2019-02-11 17:13:12 +01:00 |
|
chriseth
|
91d224dfb6
|
Merge pull request #5966 from ethereum/AnsiColorized
Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)
|
2019-02-11 16:41:14 +01:00 |
|
chriseth
|
92cb6cb793
|
Merge pull request #5936 from ethereum/calldataStructsV2
ABIEncoderV2: Implement calldata structs without dynamically encoded members.
|
2019-02-11 16:18:27 +01:00 |
|
chriseth
|
18c7ad08a0
|
Merge pull request #5925 from ethereum/stackCompressor
Stack compressor
|
2019-02-11 16:17:47 +01:00 |
|
Christian Parpart
|
53f9be8a23
|
Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)
|
2019-02-11 16:00:24 +01:00 |
|
chriseth
|
83083d2208
|
Stack compressor.
|
2019-02-11 15:48:29 +01:00 |
|
chriseth
|
5a34743d88
|
Allow optimizer steps to run on FunctionDefinition and group suite.
|
2019-02-11 15:48:29 +01:00 |
|
chriseth
|
b34e104173
|
Make dialect a shared pointer.
|
2019-02-11 15:48:29 +01:00 |
|
Mathias Baumann
|
259d803387
|
Conditional Expression: Delay invalid type fatal error
Check the whole conditional first and then output errors for
both, the true and false expressions.
|
2019-02-11 15:47:19 +01:00 |
|
Mathias Baumann
|
08977af843
|
Rename & move test to move away from number prefix
|
2019-02-11 15:47:19 +01:00 |
|
Daniel Kirchner
|
0e4912a203
|
ABIEncoderV2: Implement calldata structs without dynamically encoded members.
|
2019-02-11 15:46:58 +01:00 |
|
chriseth
|
94607011dc
|
Merge pull request #5965 from ethereum/fixSolcjsTests
Use master branch from solc-js for tests
|
2019-02-11 15:46:09 +01:00 |
|
chriseth
|
b5a2c66771
|
Merge pull request #5957 from ethereum/function-param-fix
Ensure function parameter names always matches parameter types length
|
2019-02-11 15:45:28 +01:00 |
|
chriseth
|
d099d55c66
|
Use master branch from solc-js.
|
2019-02-11 15:29:58 +01:00 |
|
Mathias Baumann
|
66b24225fb
|
Remove duplicate if-check
|
2019-02-11 14:56:57 +01:00 |
|
chriseth
|
49cd55d3a0
|
Merge pull request #5839 from ethereum/inplaceEncoding
Inplace and non-padded encoding for ABIEncoderV2.
|
2019-02-11 12:01:28 +01:00 |
|
Mathias Baumann
|
fe2429de9f
|
Packed Encoding: Disallow types in v2 that aren't allowed in v1
|
2019-02-11 11:37:48 +01:00 |
|
chriseth
|
227addfcef
|
Syntax tests.
|
2019-02-11 11:37:48 +01:00 |
|
chriseth
|
7684d886ae
|
Semantic tests.
|
2019-02-11 11:37:47 +01:00 |
|
Mathias Baumann
|
feae01f042
|
Add tests to increase coverage of TypeChecker
|
2019-02-11 11:23:56 +01:00 |
|
Mathias Baumann
|
d41ffd1dcf
|
Rename & move tests to get rid of old number prefix in name
|
2019-02-11 11:23:20 +01:00 |
|