Commit Graph

12131 Commits

Author SHA1 Message Date
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
chriseth
82055cbb61 Jumps with annotations cannot be functional. 2018-11-21 19:28:41 +01:00
chriseth
2bf5e6fa9c
Merge pull request #5439 from ethereum/docs-faq-types-array-length
DOCS: Remove length related FAQ item
2018-11-21 19:26:07 +01:00
chriseth
d47707abad
Merge pull request #2520 from ethereum/lll-with
LLL: implement the UNSET and WITH keywords
2018-11-21 18:43:37 +01:00
Alex Beregszaszi
10a2e5d100
Merge pull request #4486 from ethereum/travisEmscriptenMinimal
Minimal changes to use the same version of emscripten on Travis and Circleci.
2018-11-21 16:29:53 +00:00
chriseth
fedbe7b7d7
Merge pull request #5436 from ethereum/docs-faq-types-rem-struct
DOCS: Remove Struct copy FAQ item
2018-11-21 17:07:32 +01:00
chriseth
6ee764edcb Changelog entry. 2018-11-21 16:59:40 +01:00
Alex Beregszaszi
7c051f1e32 LLL: implement WITH keyword 2018-11-21 15:50:45 +00:00
Alex Beregszaszi
dcfa5f4ea0 LLL: add UNSET to remove a variable 2018-11-21 15:37:11 +00:00
Alex Beregszaszi
2c6e1888eb
Merge pull request #5466 from ethereum/smt_refactor_sort_patch1
[SMTChecker] Refactor smt::Sort and its usage
2018-11-21 15:17:58 +00:00
Alex Beregszaszi
c9ee30294c
Merge pull request #5444 from Mordax/issue-5168-rmvirtual
Removing redundant virtual from override function declaration
2018-11-21 15:16:08 +00:00