chriseth
|
0b474d5299
|
Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter
Moving SourceReferenceFormatter into langutil namespace.
|
2018-11-26 12:44:25 +01:00 |
|
chriseth
|
bc137c2eeb
|
Merge pull request #5485 from ethereum/refactorCallableFunction
Refactor callable function
|
2018-11-26 12:34:43 +01:00 |
|
chriseth
|
9e0e1ee6c2
|
Merge pull request #5503 from davidlj95/patch-1
Update types.rst
|
2018-11-26 11:58:00 +01:00 |
|
David Lozano Jarque
|
95206f26c8
|
Update types.rst
RST note with incorrect syntax
|
2018-11-26 11:39:33 +01:00 |
|
Alex Beregszaszi
|
96333f3033
|
Merge pull request #5500 from davidlj95/patch-1
Documentation typo fixes
|
2018-11-25 21:57:44 +00:00 |
|
David Lozano Jarque
|
06ae228621
|
Update installing-solidity.rst
Homebrow -> homebrew
|
2018-11-25 19:19:05 +01:00 |
|
David Lozano Jarque
|
08579818c3
|
Update introduction-to-smart-contracts.rst
Fix typo
|
2018-11-25 17:39:02 +01:00 |
|
Alex Beregszaszi
|
1e03c1602a
|
Merge pull request #5499 from lazaridiscom/decouple-TestCase
decouple TestCase class from test/libsolidity
|
2018-11-25 02:18:02 +00:00 |
|
Lazaridis
|
56d5dd4668
|
decouple TestCase class from test/libsolidity
|
2018-11-25 02:34:59 +02:00 |
|
Christian Parpart
|
aeb66905de
|
Moving SourceReferenceFormatter into langutil namespace.
|
2018-11-24 12:33:36 +01:00 |
|
chriseth
|
2e861bf1a0
|
Merge pull request #5472 from ethereum/assemblyAnnotationOutput
Jumps with annotations cannot be functional.
|
2018-11-23 17:02:03 +01:00 |
|
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 |
|
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 |
|