Leonardo
|
75eb67c3e0
|
Merge pull request #7050 from ethereum/smt_set_solver
[SMTChecker] EncodingContext's solver needs to be set dynamically
|
2019-07-08 15:19:55 +02:00 |
|
chriseth
|
2bb06561ce
|
Merge pull request #7057 from ethereum/smt_inlining_flag
[SMTChecker] New VariableUsage flag to inline functions
|
2019-07-08 15:09:10 +02:00 |
|
Leonardo Alt
|
96b0c4c148
|
[SMTChecker] New VariableUsage flag to inline functions
|
2019-07-08 14:40:33 +02:00 |
|
Leonardo Alt
|
01570bbc8c
|
EncodingContext's solver needs to be set dynamically
|
2019-07-08 14:40:15 +02:00 |
|
chriseth
|
035fde2932
|
Merge pull request #7061 from ethereum/fixCommandline
Fix commandline tests.
|
2019-07-08 14:38:22 +02:00 |
|
chriseth
|
2700cb0b43
|
Fix commandline tests.
|
2019-07-08 14:28:54 +02:00 |
|
chriseth
|
18072586c9
|
Remove trailing whitespace in error message.
|
2019-07-08 14:28:38 +02:00 |
|
chriseth
|
25928767b7
|
Merge pull request #7058 from ethereum/smt_reset_context
[SMTChecker] Clear encoding context before engine starts
|
2019-07-08 12:36:50 +02:00 |
|
chriseth
|
bd5d11d82d
|
Merge pull request #7056 from ethereum/yul-reindenter-with-SP
yul::reindent() to reindent with spaces instead of tabs (width: 4)
|
2019-07-08 12:36:26 +02:00 |
|
chriseth
|
aac226f7c1
|
Merge pull request #7041 from ethereum/smt_function_sort
[SMTChecker] Allow symbolic functions to be created via Sort
|
2019-07-08 12:33:38 +02:00 |
|
chriseth
|
7267873a96
|
Merge pull request #7038 from ethereum/addSecondaryLocationToStandardIO
Provide secondary source location for error messages in standard json.
|
2019-07-08 12:00:09 +02:00 |
|
Leonardo Alt
|
be663680d4
|
[SMTChecker] Clear encoding context before engine starts
|
2019-07-08 11:56:04 +02:00 |
|
Christian Parpart
|
7ba9537ae1
|
yul::reindent() to reindent with spaces instead of tabs (width: 4)
|
2019-07-08 11:43:11 +02:00 |
|
chriseth
|
019ec63f63
|
Merge pull request #7036 from ethereum/unescapeNewlines
Unescape newlines in json test expectations.
|
2019-07-04 18:15:51 +02:00 |
|
chriseth
|
b9f9f5ce75
|
Merge pull request #7047 from ethereum/release-checklist-npm
Add pushing git tags to the release checklist
|
2019-07-04 14:59:52 +02:00 |
|
Alex Beregszaszi
|
a9f54ec731
|
Add pushing git tags to the release checklist
|
2019-07-04 11:24:56 +01:00 |
|
chriseth
|
2e01816c6b
|
Merge pull request #7042 from ethereum/make-whiskers-fail-early
Make Whiskers fail early when called with int
|
2019-07-04 12:19:54 +02:00 |
|
Leonardo Alt
|
4aebdcc442
|
[SMTChecker] Allow FunctionSort to be created via sort and not type
|
2019-07-04 12:00:24 +02:00 |
|
chriseth
|
d3e542d32c
|
Provide secondary source location for error messages in standard json.
|
2019-07-04 10:54:01 +02:00 |
|
Mathias L. Baumann
|
3b2ebba472
|
Merge pull request #7040 from ethereum/smt_context_vars
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
|
2019-07-04 09:46:28 +02:00 |
|
Mathias Baumann
|
08b9da0df5
|
Make Whiskers fail early when called with int
|
2019-07-04 09:31:24 +02:00 |
|
Mathias Baumann
|
3e51d14c6d
|
Fix missing int -> string conversion
|
2019-07-04 09:31:24 +02:00 |
|
chriseth
|
7e329769a0
|
Unescape newlines for test expectations.
|
2019-07-04 08:44:35 +02:00 |
|
Leonardo Alt
|
934e00d235
|
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
|
2019-07-03 16:05:56 +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
|
9514561e4a
|
Merge pull request #7037 from ethereum/viewPureBase
Fix view/pure checker for access to base.
|
2019-07-03 14:05:49 +02:00 |
|
Leonardo Alt
|
b8d4400588
|
Make it work on Mac OS
|
2019-07-03 11:26:28 +02:00 |
|
chriseth
|
2b91022b25
|
Fix view/pure checker for access to base.
|
2019-07-03 11:19:57 +02:00 |
|
chriseth
|
c3c8bc09d7
|
Merge pull request #7034 from ethereum/automatedABIJsonTests
Automated ABI Json tests.
|
2019-07-03 10:21:25 +02:00 |
|
Leonardo Alt
|
358368cd0c
|
Tests for output selection
|
2019-07-03 09:58:55 +02:00 |
|
chriseth
|
a4ef435c07
|
Automated ABI Json tests.
|
2019-07-02 18:11:49 +02:00 |
|
chriseth
|
776fec1913
|
Make json output a bit prettier.
|
2019-07-02 18:07:05 +02:00 |
|
chriseth
|
60525dbf52
|
Merge pull request #7026 from ethereum/asmConstants
Support direct constants in inline assembly.
|
2019-07-02 14:21:24 +02:00 |
|
chriseth
|
817852c650
|
Merge pull request #7030 from ethereum/smt_move_solver
[SMTChecker] Move solver from SMTEncoder to BMC
|
2019-07-02 14:08:55 +02:00 |
|
chriseth
|
e542e46163
|
Merge pull request #7022 from ethereum/smt_create_expr
[SMTChecker] Always create symbolic expression
|
2019-07-02 14:07:24 +02:00 |
|
chriseth
|
fb3eb54203
|
Merge pull request #7032 from ethereum/pull-11
Failed-checksum addresses are an error
|
2019-07-02 14:03:57 +02:00 |
|
chriseth
|
cdd137e3d1
|
Support constant numbers in inline assembly.
|
2019-07-02 14:01:05 +02:00 |
|
chriseth
|
ca10b59b25
|
Merge pull request #7020 from ethereum/smt_fix_callstack_message
[SMTChecker] Fix wrong assertion in callstack message
|
2019-07-02 13:47:49 +02:00 |
|
chriseth
|
06d01d1573
|
Merge pull request #7019 from ethereum/smt_fix_require
[SMTChecker] Fix require with message
|
2019-07-02 13:13:50 +02:00 |
|
William Entriken
|
b6cb079157
|
Failed-checksum addresses are an error
|
2019-07-02 13:10:28 +02:00 |
|
Leonardo Alt
|
b0818bd002
|
[SMTChecker] Move solver pointer from SMTEncoder to BMC
|
2019-07-02 12:06:52 +02:00 |
|
Leonardo Alt
|
6f8fd309a2
|
Compile only requested sources and contracts
|
2019-07-01 18:52:21 +02:00 |
|
Leonardo Alt
|
fb3c85633b
|
Always create symbolic expression
|
2019-07-01 16:25:33 +02:00 |
|
chriseth
|
7de18b37c2
|
Merge pull request #7027 from ethereum/chriseth-patch-2
Fix link.
|
2019-07-01 16:19:26 +02:00 |
|
Leonardo Alt
|
75663dc91e
|
[SMTChecker] Fix require with message
|
2019-07-01 16:17:06 +02:00 |
|
Leonardo Alt
|
6606a13ed2
|
[SMTChecker] Remove unsound assertion (too strong)
|
2019-07-01 16:16:39 +02:00 |
|
chriseth
|
82c92eccbc
|
Fix link.
|
2019-07-01 16:03:12 +02:00 |
|
chriseth
|
22776cddcd
|
Merge pull request #7025 from ethereum/EndToEndTest-extractions-1
Extracting some Solidity end-to-end tests.
|
2019-07-01 15:54:09 +02:00 |
|
Leonardo
|
ccc7e30961
|
Merge pull request #7001 from ethereum/smt_refactor_files
[SMTChecker] Split SMTChecker file into different components
|
2019-07-01 15:50:22 +02:00 |
|
Christian Parpart
|
62f6e4bad3
|
Extracting some Solidity end-to-end tests.
|
2019-07-01 15:37:46 +02:00 |
|