Leonardo Alt
|
fac383a233
|
Move SMT specific code into smt namespace
|
2019-05-10 20:03:11 +02:00 |
|
Erik Kundt
|
2b021eaa30
|
Allows wildcard as output selector in standard JSON.
|
2019-05-10 18:58:51 +02:00 |
|
chriseth
|
ea637f2097
|
Merge pull request #6424 from ethereum/external-tests-colony
Add external Colony Networks tests
|
2019-05-10 13:17:03 +02:00 |
|
chriseth
|
cc40e65a4b
|
Merge pull request #6712 from ethereum/smt_unique_ptr
[SMTChecker] Use unique_ptr instead of shared_ptr where applicable
|
2019-05-10 12:53:53 +02:00 |
|
Leonardo Alt
|
3ea5c112d3
|
[SMTChecker] Fix VariableUsage for IndexAccess
|
2019-05-10 11:28:10 +02:00 |
|
Erik Kundt
|
656364d967
|
Fixes Natspec parser error when whitespace is missing.
|
2019-05-10 10:53:32 +02:00 |
|
Leonardo
|
661b08e16c
|
Merge pull request #6718 from ethereum/smt_style
[SMTChecker] Style changes
|
2019-05-10 09:20:21 +02:00 |
|
chriseth
|
c0b3da1369
|
Merge pull request #6664 from ethereum/add-func-defs
[Proto fuzzer] Add function calls, and multi variable declaration/assignment statements
|
2019-05-09 22:37:55 +02:00 |
|
chriseth
|
4de75b24c5
|
Merge pull request #6677 from ethereum/externalCalls
[SolYul] External function calls
|
2019-05-09 19:18:10 +02:00 |
|
Leonardo Alt
|
8d65fd18fc
|
[SMTChecker] Style changes
|
2019-05-09 19:15:43 +02:00 |
|
chriseth
|
89700dbcff
|
Merge pull request #6665 from ethereum/smt_inline_external_this
[SMTChecker] Inline external function calls to `this`
|
2019-05-09 19:09:08 +02:00 |
|
chriseth
|
d9bdc4fd89
|
Merge pull request #6705 from ethereum/smt_fix_const_state_var
[SMTChecker] Fix function call at state var init
|
2019-05-09 19:05:32 +02:00 |
|
chriseth
|
e047c8d4d9
|
Code generator for external function calls.
|
2019-05-09 18:55:12 +02:00 |
|
chriseth
|
8e3d394803
|
Merge pull request #6715 from ethereum/wordSizeTransformForIf
Word size transform for if
|
2019-05-09 18:47:35 +02:00 |
|
chriseth
|
63a072f122
|
[SolYul] Partially implement constructor.
|
2019-05-09 17:57:33 +02:00 |
|
chriseth
|
021b312264
|
Revert with reason.
|
2019-05-09 17:57:33 +02:00 |
|
chriseth
|
60a42f58a0
|
Fix internal function calls.
|
2019-05-09 17:57:33 +02:00 |
|
chriseth
|
45ee3fc007
|
Subtraction for unsigned integers.
|
2019-05-09 17:57:30 +02:00 |
|
chriseth
|
5e5138869b
|
Test.
|
2019-05-09 17:57:30 +02:00 |
|
chriseth
|
6ee9ccf140
|
Test.
|
2019-05-09 17:36:40 +02:00 |
|
chriseth
|
3f55b52a88
|
Unify suffixes.
|
2019-05-09 17:07:18 +02:00 |
|
chriseth
|
eaee4412da
|
Implement word size transform for if.
|
2019-05-09 16:55:39 +02:00 |
|
Leonardo Alt
|
ef32bf185f
|
[SMTChecker] Inline external function calls to this.
|
2019-05-09 16:53:30 +02:00 |
|
Leonardo Alt
|
c8a017ccd6
|
[SMTChecker] Use unique_ptr instead of shared_ptr where applicable.
|
2019-05-09 16:34:22 +02:00 |
|
Leonardo Alt
|
6027383ae5
|
[SMTChecker] Fix call to function at state var init
|
2019-05-09 16:12:44 +02:00 |
|
Bhargava Shastry
|
495f7f9013
|
[Proto fuzzer] Add function calls, and multi variable declaration/assignment statements
|
2019-05-09 16:00:29 +02:00 |
|
chriseth
|
c3a1c168d0
|
Merge pull request #6711 from ethereum/solYulIf
[Sol -> Yul] Implement if statements
|
2019-05-09 15:33:34 +02:00 |
|
chriseth
|
c093d00af1
|
Update gas test.
|
2019-05-09 15:27:42 +02:00 |
|
chriseth
|
b3e51bcae1
|
Some more compression.
|
2019-05-09 15:25:21 +02:00 |
|
chriseth
|
d3d205b6eb
|
Some more compression.
|
2019-05-09 15:25:21 +02:00 |
|
chriseth
|
c6b9fa96ae
|
Use conditional Whiskers.
|
2019-05-09 15:25:21 +02:00 |
|
Daniel Kirchner
|
b83f6d8d46
|
[Sol -> Yul] Implement if statements
|
2019-05-09 14:52:20 +02:00 |
|
Leonardo
|
9e09b5d33b
|
Merge pull request #6679 from ethereum/smt_fix_ssa_reset
[SMTChecker] Fix ICE in touched vars
|
2019-05-09 12:17:32 +02:00 |
|
chriseth
|
0852ccc318
|
Merge pull request #4764 from ethereum/cbor-version
Store compiler version in CBOR metadata
|
2019-05-09 10:10:50 +02:00 |
|
chriseth
|
30ff326b82
|
Merge pull request #6700 from ethereum/sol-yul-while
[Sol -> Yul] Fix ForLoops and implement WhileLoops
|
2019-05-09 10:05:38 +02:00 |
|
Mathias Baumann
|
0abe00d393
|
[Sol -> Yul] Fix ForLoops and implement WhileLoops
|
2019-05-09 09:46:19 +02:00 |
|
chriseth
|
f61348728c
|
Merge pull request #6704 from ethereum/abiEncodeV2Cleanup
Add ABIEncoderV2 cleanup tests.
|
2019-05-09 09:30:58 +02:00 |
|
Leonardo Alt
|
3d52a6ca68
|
[SMTChecker] Fix ICE in branch-inline function call-modify local variable
|
2019-05-09 09:15:11 +02:00 |
|
Leonardo Alt
|
dcd6cb94bf
|
Add function that retrieves first FunctionDefinition up the scope path
|
2019-05-09 09:15:11 +02:00 |
|
chriseth
|
8f2c8daf22
|
Merge pull request #6706 from ethereum/smt_deterministic_merge
[SMTChecker] Make mergeVariables deterministic
|
2019-05-09 08:25:11 +02:00 |
|
Daniel Kirchner
|
aa4ee3a155
|
Document version field in CBOR metadata.
|
2019-05-08 22:21:50 +02:00 |
|
Daniel Kirchner
|
a6a28ac475
|
Allow overwriting the release flag for tests and adjust test suite to CBOR metadata.
|
2019-05-08 22:21:50 +02:00 |
|
Alex Beregszaszi
|
e121c8f3c7
|
Store compiler version in CBOR metadata
|
2019-05-08 22:21:50 +02:00 |
|
Daniel Kirchner
|
62dc8d0a87
|
Add ABIEncoderV2 cleanup tests.
|
2019-05-08 22:16:06 +02:00 |
|
Leonardo Alt
|
9893cae27a
|
[SMTChecker] Make mergeVariables deterministic
|
2019-05-08 20:46:01 +02:00 |
|
chriseth
|
4d460915f3
|
Merge pull request #6655 from ethereum/storageMappings
[SolYul] Storage mappings
|
2019-05-08 20:38:46 +02:00 |
|
Leonardo
|
241b6b4bae
|
Merge pull request #6702 from ethereum/smt_fix_asgn_unsupported_type
[SMTChecker] Fix unsupported type assignment
|
2019-05-08 16:12:46 +02:00 |
|
chriseth
|
595544645e
|
Mappings.
|
2019-05-08 15:54:52 +02:00 |
|
chriseth
|
4037da9575
|
Merge pull request #6663 from ethereum/events
Events
|
2019-05-08 14:58:41 +02:00 |
|
chriseth
|
54a3116ab8
|
Merge pull request #6698 from ethereum/asmPrinterOneLine
Format short blocks and loops on a single line.
|
2019-05-08 14:46:02 +02:00 |
|