chriseth
7cc6738df3
Merge pull request #5438 from ethereum/docs-faq-types-undefined
...
DOCS: Move undefined FAQ item
2018-11-26 14:51:38 +01:00
chriseth
a46d5c6580
Fix merge problem in CMake files.
2018-11-26 14:50:04 +01:00
chriseth
d00082f12f
Merge pull request #5435 from fulldecent/patch-9
...
Define how inheritance affects storage
2018-11-26 14:46:01 +01:00
chriseth
d950905a28
Merge pull request #5493 from ethereum/cmake-no-globbing
...
[WIP] CMake: Explicitly state which files to compile instead of relying on globbing
2018-11-26 14:45:35 +01:00
William Entriken
b98a9eeb97
Define how inheritance affects storage
2018-11-26 14:44:18 +01:00
Christian Parpart
cdd8c72c9d
CMake: Explicitly state which files to compile instead of relying on globbing.
...
Also remove header file lists, as there is no need to add them to
add_library() or add_executable(), which should lower maintenance of the cmake files.
2018-11-26 14:39:24 +01:00
Daniel Kirchner
597174119a
Tests.
2018-11-26 14:30:32 +01:00
chriseth
5ec634939e
Use asCallableFunction for definition clashes in the same contract.
2018-11-26 14:30:32 +01:00
chriseth
36a369d077
Use asCallableFunction for external interface clash check.
2018-11-26 14:30:32 +01:00
chriseth
939365a1d5
Use callable types for override check.
2018-11-26 14:30:32 +01:00
chriseth
9a4968ba1d
Use asCallableFunction in override check (part 1).
2018-11-26 14:30:32 +01:00
chriseth
7921e5f0b9
Merge pull request #5486 from ethereum/allowExternalPublicOverride
...
Allow external public override
2018-11-26 14:26:55 +01:00
chriseth
9ac7c748f8
Merge pull request #5494 from ethereum/scanner-error-handling
...
Improved Scanner error diagnostics.
2018-11-26 14:17:08 +01:00
Leonardo Alt
aaaa92012c
[SMTChecker] Unknown answer for constant condition check should not do anything
2018-11-26 12:54:02 +01:00
chriseth
0b474d5299
Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter
...
Moving SourceReferenceFormatter into langutil namespace.
2018-11-26 12:44:25 +01:00
chriseth
ac5803bf3e
Changelog entry and tests.
2018-11-26 12:41:26 +01:00
chriseth
0f0e466d36
Allow visibility change from external to public.
2018-11-26 12:41:26 +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
Chris Ward
58181e8df9
Move FAQ point to input and output parameters and polish surrounding text
...
Update docs/control-structures.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
Remove line with no further details.
Fix tabs
Remove FAQ item
2018-11-26 11:04:36 +01:00
chriseth
2d0326aad2
Changelog entry.
2018-11-26 11:02:58 +01:00
chriseth
0e08fb7469
Use "in" tag for jumps from unpacker to function.
2018-11-26 11:02:58 +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
0ad56bca79
Adapting tests to Scanner's lexical error diagnostics change.
2018-11-24 12:59:37 +01:00
Christian Parpart
e4106bd06e
Change scanner error diagnostics to be non-intrusive to the token API.
...
This also implicitly eliminates the magic-token Token::IllegalHex, and
streamlines error diagnostics over a custom enum class.
2018-11-24 12:40:51 +01:00
Christian Parpart
aeb66905de
Moving SourceReferenceFormatter into langutil namespace.
2018-11-24 12:33:36 +01:00
Lazaridis
e454737a3c
adapt to latest code changes
2018-11-23 17:27:52 +01:00
Erik Kundt
f57ef36c0e
Update docs/types.rst
...
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
2018-11-23 17:16:18 +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
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
