chriseth
|
9a94e503da
|
Merge pull request #5491 from ethereum/libyul-as-library
Libyul as static library (version 3 ;( )
|
2018-11-23 17:01:18 +01:00 |
|
Christian Parpart
|
8dd0338d12
|
Remove superfluous libyul/ASTDataForward.h and include libyul/AsmDataForward directly instead.
|
2018-11-23 14:29:05 +01:00 |
|
Christian Parpart
|
ec47c8946b
|
Isolating libyul library API into its own namespace yul.
|
2018-11-23 14:29:00 +01:00 |
|
Christian Parpart
|
4fb15c9327
|
Merge pull request #5492 from ethereum/audit-NULL-to-nullptr
Replace all occurrences of NULL with nullptr.
|
2018-11-23 13:53:55 +01:00 |
|
Christian Parpart
|
58a744f06d
|
Replace all occurrences of NULL with nullptr.
|
2018-11-23 12:57:31 +01:00 |
|
Christian Parpart
|
3734f40d31
|
CMake: Isolate libyul into its own static library
|
2018-11-23 12:37:37 +01:00 |
|
Christian Parpart
|
713d94476e
|
Reorder some include files and group <libyul/>'s together (as much as possible)
|
2018-11-23 12:37:19 +01:00 |
|
Alex Beregszaszi
|
616ef8bca8
|
Merge pull request #3073 from ethereum/smtlib2_via_standardio
Inject SMTLIB2 queries and responses via standard-json-io.
|
2018-11-23 11:23:27 +00:00 |
|
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 |
|