Leonardo Alt
0ff4cbe51b
Add SMTChecker tests for standard JSON
2018-11-23 10:51:06 +00:00
Christian Parpart
0f4ed52a71
Rewrite header paths to adapt to recent git mv of libsolidity/inlineasm to libyul
2018-11-23 11:18:57 +01:00
Christian Parpart
10e6d2897d
Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/.
2018-11-23 11:16:52 +01:00
Chris Ward
9c1bdb74b9
Add default value details
2018-11-23 10:16:30 +01:00
chriseth
bc5d152e86
Update docs/types.rst
...
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
2018-11-23 09:54:27 +01:00
Leonardo Alt
6251a289dd
Testing with smtlib2 interface always there
2018-11-23 09:43:49 +01:00
Leonardo Alt
dee0c4ded8
Error message stays in the SMTChecker
2018-11-23 09:43:49 +01:00
Leonardo Alt
f3c2309c73
Display better error message in SMTLib2
2018-11-23 09:43:49 +01:00
Leonardo Alt
f44be616c9
Renaming json fields smtlib2queries and smtlib2responses
2018-11-23 09:43:49 +01:00
chriseth
54bed454f6
Rename function and warn if responses are supplied for Z3.
2018-11-23 09:43:49 +01:00
chriseth
bb10be789c
Inject SMTLIB2 queries and responses via standard-json-io.
2018-11-23 09:43:49 +01:00
chriseth
9217fbb58d
Merge pull request #5489 from ethereum/chriseth-patch-1
...
Style
2018-11-22 22:05:36 +01:00
chriseth
d686807153
Style
2018-11-22 21:13:02 +01:00
chriseth
c095440fb7
Merge pull request #5490 from ethereum/fixBytecode
...
Fix bytecode report file.
2018-11-22 21:09:18 +01:00
chriseth
3672506de9
Fix bytecode report file.
2018-11-22 21:03:24 +01:00
chriseth
c6b550bd53
Merge pull request #5488 from lazaridiscom/patch-3
...
Mention third party licenses
2018-11-22 20:53:36 +01:00
chriseth
640e3ca596
Update paths to CharStream, Scanner and Token files.
2018-11-22 20:37:24 +01:00
Lazaridis
958f2a5b40
Mention third party licenses.
2018-11-22 20:35:53 +01:00
Alex Beregszaszi
3e44115c69
Merge pull request #4958 from liangdzou/issue_4494_error_out_when_no_output_required
...
Error out if no output artifacts are requested.
2018-11-22 19:21:34 +00:00
Alex Beregszaszi
5515d70be9
Merge pull request #5481 from ethereum/fix-byecodecompare
...
Fix storebytecode.sh for bytecode comparison
2018-11-22 19:10:35 +00:00
chriseth
ecd059cb92
Merge pull request #5451 from ethereum/bound_function_tests
...
Add assert and tests for bound functions
2018-11-22 18:23:46 +01:00
liangdzou
87d1276dc8
Notify user on successful run without output.
2018-11-22 18:06:29 +01:00
chriseth
a781bda595
Correct style.
2018-11-22 17:15:25 +01:00
Alex Beregszaszi
b0e4ef7a13
Merge pull request #5482 from ethereum/smt_refactor_sort_patch4
...
[SMTChecker] Refactor setZeroValue and setUnknownValue
2018-11-22 16:08:10 +00:00
Leonardo Alt
ec84a7dc9b
[SMTChecker] Refactor setZeroValue and setUnknownValue
2018-11-22 16:42:51 +01:00
Alex Beregszaszi
780990516b
Fix storebytecode.sh for bytecode comparison
2018-11-22 15:27:38 +00:00
chriseth
62e801ed70
Use callable function for virtual resolution.
2018-11-22 15:48:12 +01:00
chriseth
92ba8a95f6
Make asCallableFunction to never fail and assert abount parameter size if bound instead.
2018-11-22 15:47:45 +01:00
chriseth
9e964852cc
Rename 'asMemberFunction' to widen its purpose.
2018-11-22 15:24:45 +01:00
Alex Beregszaszi
be321090e6
Merge pull request #4645 from ethereum/smt-syntax-tests
...
Move SMT tests to use isoltest
2018-11-22 13:59:23 +00:00
Leonardo Alt
06189ae57f
Add assert and tests for bound functions
2018-11-22 14:41:39 +01:00
Leonardo Alt
32fe4768a9
Organize smt tests in subdirectories
2018-11-22 13:33:28 +00:00
Leonardo Alt
4a71080ae5
Remove pragma ABIEncoderV2 from smt test
2018-11-22 13:33:28 +00:00
Alex Beregszaszi
109cfcef69
Drop numbering in front of the SMTChecker tests
2018-11-22 13:33:28 +00:00
Alex Beregszaszi
636da48e82
Move most of SMTChecker tests from C++ to isoltest
...
But keep divison in C++ because results differ between different solvers
2018-11-22 13:33:24 +00:00
Alex Beregszaszi
a5411965e6
Merge pull request #5478 from ethereum/smt_refactor_sort_patch3
...
[SMTChecker] Add ArraySort and array operations
2018-11-22 13:10:35 +00:00
Leonardo Alt
20accf1a90
[SMTChecker] Add ArraySort and array operations
2018-11-22 14:04:20 +01:00
Alex Beregszaszi
60fbc32fdf
Merge pull request #5471 from ethereum/smt_refactor_sort_patch2
...
Add FunctionSort and refactors the solver interface to create variables
2018-11-22 09:48:23 +00:00
Leonardo Alt
13a142b039
[SMTChecker] Add FunctionSort and refactors the solver interface to create variables
2018-11-22 10:04:04 +01:00
Alex Beregszaszi
dc748bc771
Merge pull request #5328 from SuperblocksHQ/develop
...
Added Superblocks Lab IDE to the generic doc section
2018-11-22 00:13:19 +00:00
Javier Tarazaga
90b244d102
Added Superblocks Lab IDE to the generic section
2018-11-22 00:10:29 +00:00
chriseth
3a15f88683
Merge pull request #5434 from fulldecent/patch-8
...
Qualify that storage slots are shared for contiguous data
2018-11-22 00:36:34 +01:00
chriseth
b5acc63008
Merge pull request #5427 from ethereum/liblangutil
...
Factor out langutil, a new static library that is shared between libyul/libsolidity
2018-11-22 00:31:01 +01:00
Alex Beregszaszi
7d8c1fc53b
Merge pull request #5473 from ethereum/tests-constructor
...
Fix constructor in AuctionRegistrar
2018-11-21 19:28:13 +00:00
Alex Beregszaszi
7a26ede827
Fix constructor in AuctionRegistrar
2018-11-21 19:21:14 +00:00
Christian Parpart
d67322a186
Introduce namespace langutil in liblangutil directory.
...
Also:
- Use {}-style list initialisation for SourceLocation construction
- Introduce new system includes
- Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
2018-11-21 19:13:44 +00:00
Christian Parpart
80371e2d25
Ensure liblangutil is compiled and linked as its own static library.
2018-11-21 18:58:36 +00:00
Christian Parpart
2518b5314c
Splitting out CharStream from Scanner.
2018-11-21 18:58:36 +00:00
Christian Parpart
87821c53c3
Isolating files shared between Yul- and Solidity language frontend.
2018-11-21 18:58:12 +00:00
chriseth
69afd094ac
Changelog entry.
2018-11-21 19:28:42 +01:00
