 Leonardo Alt
|
80e85b772b
|
[SMTChecker] Apply const eval to arithmetic binary expressions
|
2020-12-16 14:58:00 +01:00 |
|
 chriseth
|
2a54079d41
|
Merge pull request #10575 from ethereum/calldataArraySlices
Conversion of calldata array slices to memory
|
2020-12-15 12:21:33 +01:00 |
|
 Martin Blicha
|
e2c27b8ea4
|
[SMTChecker] Fix internal error on constructor of a recursive struct
|
2020-12-15 09:53:52 +01:00 |
|
 Djordje Mijovic
|
64f0120622
|
Change assertions to align to TypeChecker.
|
2020-12-15 09:21:50 +01:00 |
|
|
Martin Blicha
|
71f835b71b
|
[SMTChecker] Fixed internal error when increment/decrement is applied on a result of push().
|
2020-12-14 22:52:44 +01:00 |
|
 Djordje MijovicandKamil Śliwak
|
8aa4568b10
|
[Sol->Yul] Implementing conversion from calldata slices to memory arrays.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-12-14 22:21:37 +01:00 |
|
|
Djordje Mijovic
|
b99a74fb34
|
Implementing conversion from calldata slices to memory arrays.
|
2020-12-14 22:21:37 +01:00 |
|
|
Djordje Mijovic
|
0efd52a38e
|
Allowing implicit conversion from calldata slice to memory and storage array types.
|
2020-12-14 22:21:37 +01:00 |
|
|
Martin Blicha
|
103fa3b7eb
|
[SMTChecker] Fix internal error on abstract modifier
|
2020-12-14 18:23:25 +01:00 |
|
|
Martin Blicha
|
27402781c4
|
[SMTChecker] Fixed crash on push to bytes on lhs of an assignment
|
2020-12-14 17:40:45 +01:00 |
|
|
Martin Blicha
|
0be325dc0d
|
[SMTChecker] Fix handling of function calls where the function identifier is nested in a tuple.
|
2020-12-14 16:19:24 +01:00 |
|
|
Leonardo
|
db9aa36d6c
|
Merge pull request #10567 from blishko/unary-operators-fix
[SMTChecker] Fix CHC analysis of increment/decrement
|
2020-12-11 18:52:12 +01:00 |
|
|
Leonardo
|
da9cede0fe
|
Merge pull request #10348 from ethereum/simplify-compiler
Simplify abstraction of Compiler/CompilerContext/CompilerStack
|
2020-12-11 17:42:36 +01:00 |
|
|
Martin Blicha
|
8927015e5a
|
[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine
|
2020-12-11 17:41:50 +01:00 |
|
 Alex Beregszaszi
|
bcaefb57b8
|
Add evmAssembly and evmRuntimeAssembly pointer in CompilerStack
This is a preparation for allowing those outputs to be served from the IR too
|
2020-12-11 14:53:29 +00:00 |
|
|
Alex Beregszaszi
|
98d8174d31
|
Simplify Compiler/CompilerContext by removing extra layers of indirection
|
2020-12-11 14:43:51 +00:00 |
|
|
Alex Beregszaszi
|
fa37e69c25
|
Improved error messages when converting to/from builtin functions
|
2020-12-10 22:38:15 +00:00 |
|
|
Đorđe Mijović
|
9e4f3bad06
|
Merge pull request #10569 from ethereum/byteArrayStorageStorage
Fix copying byte arrays from storage to storage.
|
2020-12-10 22:52:50 +01:00 |
|
|
Alex Beregszaszi
|
bd641a5206
|
Enable more C++ compiler warnings
|
2020-12-10 21:03:58 +00:00 |
|
|
chriseth
|
7764ee8d86
|
Fix copying byte arrays from storage to storage.
|
2020-12-10 21:47:37 +01:00 |
|
 Daniel Kirchner
|
c400c61fc3
|
Fix incorrect behaviour on clang 6.
|
2020-12-10 17:20:30 +01:00 |
|
|
Daniel Kirchner
|
7308abc084
|
Allow loading Z3 dynamically at runtime.
|
2020-12-10 16:47:47 +01:00 |
|
|
chriseth
|
4861c9b8d1
|
Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul
[Sol->Yul] Implementing empty byte array push.
|
2020-12-10 12:19:07 +01:00 |
|
 Mathias Baumann
|
37cc795034
|
Fix segfault for empty @return tags in modifiers
|
2020-12-10 11:54:40 +01:00 |
|
|
Leonardo Alt
|
3c142e0e94
|
Move CHC counterexamples to primary location
|
2020-12-09 19:55:18 +01:00 |
|
|
Djordje Mijovic
|
ab74194ca3
|
[Sol->Yul] Implementing empty byte array push.
|
2020-12-09 19:31:35 +01:00 |
|
|
Daniel Kirchner
|
e691b7402a
|
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
|
2020-12-09 15:53:32 +01:00 |
|
|
Leonardo Alt
|
a961a76263
|
Do not run SMTChecker when file level functions/constants are present.
|
2020-12-09 12:18:55 +01:00 |
|
|
Alex Beregszaszi
|
47b10fd751
|
Report warning if contract uses abicoder v1, but IR is requested
|
2020-12-09 01:20:58 +00:00 |
|
|
chriseth
|
49d1f541a1
|
Merge pull request #10264 from ethereum/warn-conversion
Enable -Wconversion
|
2020-12-08 20:37:12 +01:00 |
|
|
chriseth
|
672abc2276
|
Merge pull request #10530 from ethereum/changeConstructorOrder
[Sol->Yul] Evaluate base arguments in derived to base order.
|
2020-12-08 20:32:48 +01:00 |
|
|
chriseth
|
e97ca0a777
|
Evaluate base arguments in derived to base order.
|
2020-12-08 20:27:06 +01:00 |
|
|
Alex Beregszaszi
|
7e88ba8da0
|
Enable the -Wconversion warning
|
2020-12-08 16:45:24 +00:00 |
|
|
Martin Blicha
|
eb356735f6
|
[SMTChecker] Adding support for reporting values of structs in CEX in CHC engine.
|
2020-12-08 16:40:28 +01:00 |
|
|
Leonardo
|
71a4a4efb1
|
Merge pull request #10529 from blishko/compound_assignment
[SMTChecker] Remove assert that is not true for compound assignment with right shift
|
2020-12-08 15:43:36 +01:00 |
|
|
Martin Blicha
|
0ebab439be
|
removing assert that is not always true
|
2020-12-08 12:27:59 +01:00 |
|
|
chriseth
|
759db0e646
|
Properly filter requested artefacts inside the EVM objects.
|
2020-12-07 22:03:06 +01:00 |
|
|
Martin Blicha
|
ff0c794674
|
[SMTChecker] Fixing conversion from StringLiteral to FixedBytes
|
2020-12-07 19:30:51 +01:00 |
|
|
Leonardo Alt
|
b7ac207391
|
[SMTChecker] Support return in CHC
|
2020-12-07 18:17:33 +01:00 |
|
|
Alex Beregszaszi
|
a8197788d0
|
Replace the inconsistent use of u160/Address/h160 with h160 only
|
2020-12-07 16:44:59 +01:00 |
|
|
chriseth
|
73a2843f05
|
Merge pull request #10513 from ethereum/groupDecoder
Group decoding function cases.
|
2020-12-07 14:40:19 +01:00 |
|
|
chriseth
|
254119d146
|
Merge pull request #10506 from ethereum/superInLibs
Make super unavailable in libraries.
|
2020-12-07 14:36:42 +01:00 |
|
|
chriseth
|
251f722919
|
Group decoding function cases.
|
2020-12-07 14:14:54 +01:00 |
|
|
chriseth
|
b86c91d1a3
|
Make super unavailable in libraries.
|
2020-12-07 13:59:50 +01:00 |
|
|
Alex Beregszaszi
|
1e2bfbd6b2
|
Enable the -Wextra-semi warning
|
2020-12-04 17:21:19 +01:00 |
|
|
Leonardo Alt
|
7490ffbe13
|
Use nonlinear clauses instead of inlining for base constructors
|
2020-12-04 13:25:56 +01:00 |
|
|
chriseth
|
27e44b85e3
|
Merge pull request #10419 from ethereum/bug-namesimplifier
Fix a bug in NameSimplifier.
|
2020-12-03 17:52:40 +01:00 |
|
|
Leonardo
|
088b694f0b
|
Merge pull request #10207 from ethereum/smt_tests_asserts
[SMTChecker] Add uncovered test and replace uncovered tests by asserts
|
2020-12-03 08:59:48 +01:00 |
|
|
Martin Blicha
|
2ee633f404
|
[SMTChecker] Added support for public getters through this.
|
2020-12-02 16:06:48 +01:00 |
|
 hrkrshnn
|
3efac3eef0
|
NameSimplifier is removed from steps available to users.
|
2020-12-02 13:48:01 +01:00 |
|