Leonardo Alt
|
c5e081dc8c
|
[SMTChecker] Refactor CHC loops and add if blocks
|
2019-11-05 09:28:59 +01:00 |
|
Leonardo
|
1eac3d1d83
|
Merge pull request #7582 from ethereum/smt_multid_array_assignment
[SMTChecker] Support assignments to m-d arrays and mappings
|
2019-11-04 17:37:33 +01:00 |
|
chriseth
|
5d6e983be3
|
Conditional simplifier.
|
2019-11-01 14:01:56 +01:00 |
|
Leonardo Alt
|
8a42e3f87a
|
[SMTChecker] Support assignments to m-d arrays and mappings
|
2019-10-28 17:27:39 +01:00 |
|
Henry Lee
|
24cbb4dd17
|
Treat magic variables as unknown identifiers in inline assembly
This fixes #4575. For keywords such as 'super' and 'this', will be
treated as unknown identifiers.
|
2019-10-28 14:59:50 +11:00 |
|
Mathias Baumann
|
c3e8023ad5
|
Fix wrong assert in overflow check
|
2019-10-23 14:59:34 +02:00 |
|
Mathias Baumann
|
6ac12afd06
|
Disallow call of same-class-ctor as modifier
|
2019-10-23 10:29:41 +02:00 |
|
chriseth
|
ebfe7391ff
|
Use selfbalance for `address(this).balance`.
|
2019-10-16 14:25:56 +02:00 |
|
chriseth
|
5b9b28fdf0
|
Set version to 0.5.13
|
2019-10-01 21:02:23 +02:00 |
|
Daniel Kirchner
|
7202ebb5b2
|
Fix internal compiler error for arrays of recursive structs.
|
2019-10-01 16:51:14 +02:00 |
|
chriseth
|
a3dacc4d8b
|
Update changelog for 0.5.12 release.
|
2019-10-01 15:54:10 +02:00 |
|
Christian Parpart
|
00d7dac15f
|
Fixes source location in warning for shadowing import delcarations.
|
2019-09-30 11:45:46 +02:00 |
|
Christian Parpart
|
f85f6ba7e0
|
Fixes doxygen style multiline comment parsing for files with CRLF as line terminators.
|
2019-09-25 12:59:46 +02:00 |
|
chriseth
|
c224b09bb3
|
Fix reordering bug in optimizer.
|
2019-09-17 12:33:00 +02:00 |
|
Leonardo Alt
|
eab9f65610
|
Fix ICE when pop dyn storage array of mapping
|
2019-09-16 16:33:17 +02:00 |
|
Leonardo Alt
|
e1c238e25f
|
[SMTChecker] Add loop support
|
2019-09-13 12:40:53 +02:00 |
|
chriseth
|
edbec012ae
|
Activate load resolver.
|
2019-09-04 19:16:54 +02:00 |
|
chriseth
|
8485a1abec
|
Change ABI sorting order.
|
2019-09-04 13:06:09 +02:00 |
|
chriseth
|
635f638fde
|
Changelog entry.
|
2019-09-02 17:41:51 +02:00 |
|
chriseth
|
e86b5cf14e
|
Replace byte(A, X) by zero if A >= 32
|
2019-08-29 15:35:34 +02:00 |
|
Leonardo Alt
|
1a70a46f9b
|
[CHC] Add function blocks and check asserts
|
2019-08-15 12:25:15 +02:00 |
|
Daniel Kirchner
|
b0a5666b43
|
Better error messages when writing to expressions that cannot be written to.
|
2019-08-14 17:59:48 +02:00 |
|
chriseth
|
445376ef7c
|
Set version to 0.5.12.
|
2019-08-13 00:18:10 +02:00 |
|
chriseth
|
755365396e
|
Prepare changelog for release.
|
2019-08-12 14:49:35 +02:00 |
|
Leonardo Alt
|
360f868836
|
[SMTChecker] Fix literal string type mismatch
|
2019-08-10 21:51:46 +02:00 |
|
Leonardo Alt
|
4214cd1354
|
[SMTChecker] Fix ICE when reporting cex concerning state vars from different source files
|
2019-08-10 20:56:52 +02:00 |
|
Leonardo Alt
|
7b22496b1f
|
[SMTChecker] Fix ICE when inlining functions that use state vars and are in a different source
|
2019-08-09 17:50:52 +02:00 |
|
mingchuan
|
15631a7fbe
|
Split calldataEncodedSize into calldataEncodedSize, calldataEncodedTailSize and calldataHeadSize and fix all usages.
|
2019-08-08 15:52:21 +02:00 |
|
chriseth
|
6166dc8e8f
|
Merge pull request #6856 from rocky/recoveringParser1-ast
Produce AST even when there are parser errors
|
2019-08-07 15:56:45 +02:00 |
|
chriseth
|
c8f04b88bf
|
Merge pull request #7176 from ethereum/decodeMemoryLocation
Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode
|
2019-08-07 15:42:14 +02:00 |
|
rocky
|
7fd7cc1e76
|
Produce AST even when there are parser errors
|
2019-08-07 15:25:53 +02:00 |
|
Daniel Kirchner
|
efb34bdf22
|
Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode.
|
2019-08-06 14:11:14 +02:00 |
|
Leonardo
|
cd563e526a
|
Merge pull request #7122 from sifmelcara/expression-inliner-avoid-dup-expr
[Yul] ExpressionInliner: avoid duplicating expressions
|
2019-08-06 11:08:38 +02:00 |
|
Leonardo Alt
|
369f8cd97f
|
[SMTChecker] CHC create function return variables
|
2019-08-05 12:36:51 +02:00 |
|
Leonardo
|
11632966c9
|
Merge pull request #7171 from ethereum/smt_fix_compound_bitwise
[SMTChecker] Fix ICE compound bitwise op inside branch
|
2019-08-05 12:15:01 +02:00 |
|
mingchuan
|
46387eaea2
|
[Yul] ExpressionInliner: avoid duplicating high cost expressions
|
2019-08-05 11:48:32 +02:00 |
|
Leonardo Alt
|
d5fb8cf58a
|
[SMTChecker] Fix ICE compound bitwise op inside branch
|
2019-08-02 20:02:39 +02:00 |
|
Leonardo Alt
|
7b5863e583
|
Do not erase knowledge about storage pointers when another pointer is assigned
|
2019-08-02 13:09:06 +02:00 |
|
Leonardo Alt
|
44d7c6976a
|
Erase pointer knowledge properly inside loops
|
2019-07-30 12:47:50 +02:00 |
|
Leonardo Alt
|
847f574e22
|
[SMTChecker] Fix ICE when inlining function with tuple expression
|
2019-07-26 16:29:29 +02:00 |
|
chriseth
|
a30be56c27
|
Additional type info for ABI.
|
2019-07-18 16:54:11 +02:00 |
|
chriseth
|
a0a0a34a21
|
Do not overwrite allowMSizeOptimization
|
2019-07-16 10:13:18 +02:00 |
|
chriseth
|
2a5280faa0
|
Check availability of data objects already in analysis phase.
|
2019-07-10 18:49:42 +02:00 |
|
chriseth
|
d3e542d32c
|
Provide secondary source location for error messages in standard json.
|
2019-07-04 10:54:01 +02:00 |
|
chriseth
|
b837705259
|
Merge pull request #7018 from ethereum/compile_only_requested
Compile only requested sources and contracts
|
2019-07-03 14:11:42 +02:00 |
|
chriseth
|
2b91022b25
|
Fix view/pure checker for access to base.
|
2019-07-03 11:19:57 +02:00 |
|
Leonardo Alt
|
358368cd0c
|
Tests for output selection
|
2019-07-03 09:58:55 +02:00 |
|
chriseth
|
cdd137e3d1
|
Support constant numbers in inline assembly.
|
2019-07-02 14:01:05 +02:00 |
|
Leonardo Alt
|
6f8fd309a2
|
Compile only requested sources and contracts
|
2019-07-01 18:52:21 +02:00 |
|
chriseth
|
89f0e1e6da
|
Use updated swarm hash.
|
2019-06-27 12:49:06 +02:00 |
|