Erik Kundt
|
11087422d6
|
Adds --test | -t option to isoltest.
|
2019-04-17 11:36:14 +02:00 |
|
Leonardo Alt
|
af9f16e014
|
[SMTChecker] Support mod
|
2019-04-12 12:39:25 +02:00 |
|
Leonardo Alt
|
4fe303530a
|
[SMTChecker] Show unsupported warning for asm blocks
|
2019-04-05 16:41:15 +02:00 |
|
chriseth
|
804c1553bf
|
Changelog entry.
|
2019-04-05 13:41:40 +02:00 |
|
Daniel Kirchner
|
d0fda7ca7c
|
Merge pull request #6262 from ethereum/abiEncodeCalldataArray
ABIEncoderV2: implement encoding of calldata arrays and structs.
|
2019-04-04 14:51:45 +02:00 |
|
Daniel Kirchner
|
91a2a9a9c3
|
Implement ABI encoding of calldata arrays and structs.
|
2019-04-04 13:05:32 +02:00 |
|
chriseth
|
887112b1b0
|
Fix SSA for multi-assignments.
|
2019-04-04 12:06:04 +02:00 |
|
chriseth
|
8c570f31c5
|
Merge pull request #6442 from ethereum/smt_unary_inc_dec
[SMTChecker] Support unary inc/dec for array/mapping access
|
2019-04-04 11:45:13 +02:00 |
|
Alex Beregszaszi
|
43008dd08e
|
Validate value types in decoder of ABIEncoderV2.
|
2019-04-03 11:32:02 +02:00 |
|
Leonardo Alt
|
aa9b9aa87e
|
[SMTChecker] Support unary inc/dec for array/mapping access
|
2019-04-02 16:53:19 +02:00 |
|
Daniel Kirchner
|
ab8dfed144
|
Implement copying recursive structs from storage to memory.
|
2019-04-02 16:01:44 +02:00 |
|
Mathias Baumann
|
e20acf5d0a
|
Yul Optimizer: Remove dead code
|
2019-04-01 17:16:04 +02:00 |
|
Mathias Baumann
|
5c66ccc179
|
Optimize obsolete ANDs in combination with certain SHIFTs
|
2019-03-29 10:08:05 +01:00 |
|
Alex Beregszaszi
|
84fbf605aa
|
Replace shifts by larger than 255 with 0
|
2019-03-29 10:07:54 +01:00 |
|
chriseth
|
84251e5a22
|
Merge pull request #6405 from ethereum/smt_compound_assignment
[SMTChecker] Support arithmetic compound assignment operators.
|
2019-03-28 18:27:25 +01:00 |
|
Leonardo Alt
|
8721952ded
|
Changelog entry
|
2019-03-28 16:22:18 +01:00 |
|
chriseth
|
a1d59dfb4c
|
Merge pull request #6371 from ethereum/smt_variable_usage_function_calls
[SMTChecker] Merge SSA state vars properly
|
2019-03-28 15:54:31 +01:00 |
|
Leonardo Alt
|
15269067b5
|
Support arithmetic compound assignment operators
|
2019-03-28 15:27:52 +01:00 |
|
Leonardo Alt
|
1d63b97857
|
Take inlined function calls into account when collecting touched variables
|
2019-03-28 14:32:47 +01:00 |
|
Christian Parpart
|
b8c6274179
|
[yul] Implements EVM codegen for break/continue plus respective tests & ChangeLog entry.
|
2019-03-28 14:09:25 +01:00 |
|
chriseth
|
e3218a3af8
|
Increment version number.
|
2019-03-26 15:30:22 +01:00 |
|
chriseth
|
79d7fb14e7
|
Preparation for 0.5.7 release.
|
2019-03-26 10:50:58 +01:00 |
|
chriseth
|
e0268a0658
|
Changelog entry.
|
2019-03-25 18:28:44 +01:00 |
|
chriseth
|
caddce6ef0
|
Detect duplicate cases based on integer value of case label.
|
2019-03-25 12:38:22 +01:00 |
|
Alex Beregszaszi
|
3bc2c35cc4
|
Support compiling Yul within StandardCompiler
|
2019-03-22 01:35:16 +00:00 |
|
Bhargava Shastry
|
f7b5a27581
|
Fixes bug in byte optimization rule and adds tests.
|
2019-03-21 14:29:06 +01:00 |
|
Mathias Baumann
|
8e899a0d32
|
Disallow internal function types as parameters for public/external library function
|
2019-03-21 07:25:57 +01:00 |
|
chriseth
|
9aab2329ed
|
Merge pull request #6244 from ethereum/smt_modifiers
[SMTChecker] Support modifiers
|
2019-03-20 18:04:28 +01:00 |
|
chriseth
|
8468dca0bb
|
Merge pull request #6323 from ethereum/bug-637
Fix function calls with named arguments for overloaded functions
|
2019-03-20 16:07:09 +01:00 |
|
chriseth
|
9ac117e5b9
|
Changelog entry.
|
2019-03-20 15:07:05 +01:00 |
|
Mathias Baumann
|
84b68006ba
|
Fix function calls with named arguments for overloaded functions
|
2019-03-20 14:54:41 +01:00 |
|
Leonardo Alt
|
9659f40c8d
|
[SMTChecker] Support modifiers
|
2019-03-20 11:32:20 +01:00 |
|
Leonardo Alt
|
3296fb3764
|
Add callstack to model report
|
2019-03-20 10:35:29 +01:00 |
|
Leonardo Alt
|
9acec99c31
|
Issue error for callvalue in nonpayable function
|
2019-03-19 20:45:27 +01:00 |
|
chriseth
|
6d1ed93247
|
Use stack optimizations.
|
2019-03-14 15:34:23 +01:00 |
|
Erik Kundt
|
ac5f860df9
|
Fixes hex string update via isoltest.
|
2019-03-14 11:01:26 +01:00 |
|
Erik Kundt
|
470c161e50
|
Fixes boost repository URL in CentOS install script.
|
2019-03-13 19:55:36 +01:00 |
|
chriseth
|
2e7794d8a6
|
Defensively pad memory for `type(C).name` to multiples of 32.
|
2019-03-13 18:51:32 +01:00 |
|
chriseth
|
94aa971bd5
|
Set version to 0.5.7.
|
2019-03-13 18:38:30 +01:00 |
|
chriseth
|
2896d6176b
|
Merge pull request #6120 from ethereum/soltest-hex-strings
[soltest] Add support for hex string literals
|
2019-03-13 14:12:32 +01:00 |
|
Christian Parpart
|
b29bb6ccb1
|
Merge pull request #6258 from ethereum/prepare056
Prepare 0.5.6 release.
|
2019-03-13 13:12:17 +01:00 |
|
Erik Kundt
|
25ddf85d95
|
Adds support for hex string literals in soltest.
|
2019-03-13 12:37:33 +01:00 |
|
chriseth
|
4c1a9aa273
|
Merge pull request #6256 from ethereum/completeLtGtRules
Complete the GT/LT rules.
|
2019-03-13 12:08:34 +01:00 |
|
chriseth
|
addb3603c7
|
Prepare 0.5.6 release.
|
2019-03-13 12:05:26 +01:00 |
|
chriseth
|
571f400a3e
|
Complete the GT/LT rules.
|
2019-03-13 12:01:23 +01:00 |
|
Bhargava Shastry
|
515fa872c8
|
Fixes u256 overflow in logical shift optimization rule and adds tests.
|
2019-03-13 11:19:20 +01:00 |
|
chriseth
|
243096f6b5
|
Changelog cleanup.
|
2019-03-12 17:12:12 +01:00 |
|
chriseth
|
8445449c7f
|
Merge pull request #6187 from ethereum/filter-library-abi-3409
Exclude internal functions in library ABIs
|
2019-03-11 17:39:51 +01:00 |
|
chriseth
|
6683ec90ca
|
Merge pull request #6209 from ethereum/dynamicCalldataStructs
Allow dynamically encoded calldata structs with ABIEncoderV2.
|
2019-03-11 17:05:34 +01:00 |
|
Daniel Kirchner
|
66fc7ffab2
|
Allow dynamically encoded calldata structs with ABIEncoderV2.
|
2019-03-11 16:40:13 +01:00 |
|
Mathias Baumann
|
fbbd03dbd7
|
Exclude internal functions in library ABIs
|
2019-03-11 16:33:44 +01:00 |
|
Alex Beregszaszi
|
189983a1b8
|
Merge pull request #6238 from ethereum/reset-version
Reset version to 0.5.6.
|
2019-03-11 15:56:00 +01:00 |
|
Daniel Kirchner
|
f805939429
|
Merge pull request #6221 from ethereum/soltest-signature-struct-arrays
[soltest] Allow struct array in function signatures
|
2019-03-11 15:32:42 +01:00 |
|
chriseth
|
ba56c307bf
|
Reset version to 0.5.6.
|
2019-03-11 14:48:27 +01:00 |
|
Erik Kundt
|
cd9c0914cb
|
Allows struct array in soltest function.
|
2019-03-11 14:36:16 +01:00 |
|
Mathias Baumann
|
d70cb375cf
|
isImplicitlyConvertibleTo(): Add better error messages
|
2019-03-11 13:38:02 +01:00 |
|
Leonardo Alt
|
a8209e9899
|
[SMTChecker] Shortcut RationalNumber expressions
|
2019-03-11 12:53:49 +01:00 |
|
chriseth
|
e0d1b2f5b3
|
Peephole optimizer for "iszero iszero <tag> jumpi".
|
2019-03-07 15:52:02 +01:00 |
|
Leonardo Alt
|
02d0e609b9
|
[SMTChecker] Support enums
|
2019-03-07 15:15:12 +01:00 |
|
chriseth
|
0f336f30ca
|
Merge pull request #6207 from ethereum/fixStructuralVisitationOrder
Fix visitation order bug for structural simplifier.
|
2019-03-06 21:29:17 +01:00 |
|
chriseth
|
0f7b1b31a1
|
Merge pull request #5996 from ethereum/calldataArrays
Allow calldata arrays with dynamically encoded base type.
|
2019-03-06 19:55:57 +01:00 |
|
chriseth
|
21115f8050
|
Fix visitation order bug for structural simplifier.
|
2019-03-06 19:34:07 +01:00 |
|
Mathias Baumann
|
21322dae29
|
YulOpt: Remove empty cases
|
2019-03-06 19:02:23 +01:00 |
|
chriseth
|
3ccf73b3eb
|
Merge pull request #6204 from ethereum/soltest-signature-arrays
[soltest] Add support for arrays in function signatures
|
2019-03-06 18:12:39 +01:00 |
|
Daniel Kirchner
|
f7c6eda2c3
|
Allow calldata arrays with dynamically encoded base type.
|
2019-03-06 18:04:12 +01:00 |
|
chriseth
|
cdf29277f7
|
Merge pull request #6055 from ethereum/smt_arrays
[SMTChecker] Add support to arrays
|
2019-03-06 18:00:23 +01:00 |
|
Erik Kundt
|
ab31c28ed9
|
Adds support for arrays in function signatures.
|
2019-03-06 16:47:00 +01:00 |
|
Leonardo Alt
|
297703bc44
|
Changelog entry
|
2019-03-06 11:29:54 +01:00 |
|
Mathias Baumann
|
9919670ddd
|
Check base contracts for abi encoder compatibility
|
2019-03-06 11:16:54 +01:00 |
|
chriseth
|
77c3352744
|
Some missed entries and set version to 0.6.0.
|
2019-03-05 17:08:16 +01:00 |
|
Erik Kundt
|
d778471ef0
|
Updates Changelog for 0.5.5 release.
|
2019-03-05 15:11:37 +01:00 |
|
chriseth
|
6c9961e040
|
Merge pull request #5941 from ethereum/metadata-compilerstack
Metadata should not require compilation
|
2019-03-04 18:53:07 +01:00 |
|
chriseth
|
9c80f0fc76
|
Merge pull request #6155 from ethereum/defaultToPetersburg
Set default EVM version to petersburg
|
2019-03-04 17:36:42 +01:00 |
|
chriseth
|
34082a2368
|
Merge pull request #6159 from ethereum/more-optims
More optimiser rules for LT/GT/AND/BYTE and address cleanups
|
2019-03-04 16:24:38 +01:00 |
|
Alex Beregszaszi
|
fcbb8ec51c
|
Allow returning metadata in StandardCompiler without compilation
|
2019-03-04 16:19:55 +01:00 |
|
chriseth
|
9a949c1bda
|
Set default EVM version to Petersburg.
|
2019-03-04 14:53:00 +01:00 |
|
Alex Beregszaszi
|
1272951bbb
|
Do not mask with 160-bits after CREATE/CREATE2
|
2019-03-04 14:42:29 +01:00 |
|
Alex Beregszaszi
|
7aa2ee1775
|
More optimiser rules for LT/GT/AND/BYTE
|
2019-03-04 14:42:29 +01:00 |
|
Alex Beregszaszi
|
ecd246aeb6
|
Support petersburg in evmVersion
|
2019-03-04 14:10:41 +01:00 |
|
chriseth
|
8f5e12c192
|
Make unavailable opcodes errors.
|
2019-02-28 22:20:01 +01:00 |
|
Mathias Baumann
|
c686a65876
|
Yul Optimizer: reduce switches with const arguments
|
2019-02-28 15:43:10 +01:00 |
|
chriseth
|
477c53a46f
|
Fix expression simplifying by moving from SSAValueTracker to DataFlowAnalyzer as a base.
|
2019-02-27 16:14:39 +01:00 |
|
chriseth
|
ebec54aacb
|
Merge pull request #6093 from ethereum/mapping-string-keys
Allow dynamic types in public mappings
|
2019-02-26 17:05:18 +01:00 |
|
chriseth
|
4e74c508ce
|
Merge pull request #6089 from ethereum/extcodehash
Consider extcodehash as part of Constantinople
|
2019-02-26 17:04:01 +01:00 |
|
Mathias Baumann
|
e4a52aa2f6
|
Allow dynamic types in public mappings
|
2019-02-26 15:48:54 +01:00 |
|
Alex Beregszaszi
|
d2f493268b
|
Provide access to the name of contracts.
|
2019-02-26 14:07:03 +00:00 |
|
Alex Beregszaszi
|
cb7b053a4a
|
Consider extcodehash as part of Constantinople
|
2019-02-26 12:40:31 +00:00 |
|
Erik Kundt
|
2d0daae796
|
Disallows index access on contracts and libraries.
|
2019-02-25 23:05:33 +00:00 |
|
Alex Beregszaszi
|
4430fe6a54
|
Combine multiple shifts with constant shift-by values in the optimiser
|
2019-02-25 20:56:13 +00:00 |
|
chriseth
|
52ee955fba
|
Merge pull request #6073 from ethereum/const-opt-shift
Support shifts in the constant optimiser when Constantinople is targeted
|
2019-02-25 11:57:13 +01:00 |
|
Alex Beregszaszi
|
81d011335a
|
Support shifts in the constant optimiser when Constantinople is targeted
|
2019-02-22 11:55:43 +00:00 |
|
Erik Kundt
|
f683ceb3f8
|
Adds support for boolean literals in soltest.
|
2019-02-21 23:28:48 +01:00 |
|
Erik Kundt
|
d40928f5fc
|
Adds support for hex literals in soltest.
|
2019-02-21 17:04:40 +01:00 |
|
chriseth
|
947215a901
|
Take builtin functions into account in the compilability checker.
|
2019-02-21 12:13:42 +01:00 |
|
chriseth
|
7f6f958246
|
Fix: Also replace tags in the list of tags referenced from outside.
|
2019-02-20 15:06:23 +01:00 |
|
chriseth
|
03b8fcd7eb
|
Merge pull request #6042 from ethereum/fixEventSignatureInLibraries
Fix event signature in libraries
|
2019-02-20 14:59:21 +01:00 |
|
chriseth
|
e4ac27d9fe
|
Merge pull request #6016 from ethereum/shift-optim
Add more optimisation rules for shifts
|
2019-02-20 14:46:54 +01:00 |
|
chriseth
|
fb07462d82
|
Fix: Do use actual ABI signatures for events also in libraries instead of internal signature.
|
2019-02-20 14:35:24 +01:00 |
|
Alex Beregszaszi
|
fd936439a4
|
Add more optimisation rules for shifts
|
2019-02-20 11:59:15 +00:00 |
|
Alex Beregszaszi
|
52496ea719
|
Proper error message for missing variables in inline assembly
|
2019-02-20 10:36:55 +00:00 |
|