Leonardo Alt
c51e6a545a
Remove boost test checks from SMTCheckerJSONTest
2018-11-28 14:16:43 +01:00
chriseth
5c0331a058
Merge pull request #5525 from ethereum/obsoleteComment
...
Remove obsolete comment.
2018-11-28 12:23:12 +01:00
chriseth
4fa47322f9
Remove obsolete comment.
2018-11-28 11:49:00 +01:00
chriseth
7cbf046864
Merge pull request #5358 from ethereum/yulObjects
...
[Yul] Yul objects parser
2018-11-28 11:33:29 +01:00
chriseth
69dcf1a5f7
Changelog entry.
2018-11-28 11:30:00 +01:00
chriseth
bc7cb301e3
Merge pull request #5517 from ethereum/nondeterminismBoost
...
Fix nondeterminism bug related to boost version.
2018-11-27 16:00:43 +01:00
chriseth
fb2e471d00
Fix nondeterminism bug related to boost version.
2018-11-27 16:00:22 +01:00
chriseth
105898b81b
Tests.
2018-11-27 15:59:57 +01:00
chriseth
728119bb11
Use yul parser in assembly stack.
2018-11-27 15:59:57 +01:00
chriseth
e016cb99e6
Yul objects.
2018-11-27 15:59:57 +01:00
chriseth
5e55cb1729
Merge pull request #5277 from ethereum/docs-5175-require-revert
...
DOCS: Add mention that pure functions can require and revert
2018-11-26 20:10:12 +01:00
Chris Ward
ae542176e3
Add that pure functions can use revert and require
2018-11-26 20:07:22 +01:00
chriseth
3adddefaf1
Merge pull request #5507 from ethereum/docs-move
...
Move function related content to contracts doc
2018-11-26 19:47:41 +01:00
chriseth
240ad0e34e
Merge pull request #5382 from ethereum/libraryMappingPublic
...
Allow mapping arguments for public and external library functions.
2018-11-26 19:47:32 +01:00
Chris Ward
12daec3535
Move function related content to contracts doc
2018-11-26 19:46:31 +01:00
chriseth
2f0088f620
Merge pull request #5121 from ethereum/docs-contributing-pt2
...
Review contributing docs for language and ease, tests sections
2018-11-26 18:42:02 +01:00
Chris Ward
2d5516b28d
Review contributing docs for language and ease
2018-11-26 18:40:38 +01:00
chriseth
80fa898c44
Merge pull request #5487 from ethereum/fixInterfaceOverrideTypeChange
...
Fix interface override type change
2018-11-26 17:47:08 +01:00
chriseth
1e7a23a205
Changelog entry and tests.
2018-11-26 16:51:45 +01:00
chriseth
4d7799eed4
Properly disallow different return types for interface overloads with different visibilities.
2018-11-26 16:51:28 +01:00
chriseth
f937896727
Merge pull request #5445 from ethereum/publicExternalOverwrite
...
Allow overwriting external functions (with ``calldata`` arguments) with public functions (with ``memory`` arguments)
2018-11-26 16:50:40 +01:00
Daniel Kirchner
30e6f8d3fb
Allow mapping arguments for public and external library functions.
2018-11-26 16:31:46 +01:00
chriseth
f6d8810103
Merge pull request #5504 from ethereum/smt_fix_emscripten
...
[SMTChecker] Fix crash when SMTLib2Interface reports unknow for constant checks
2018-11-26 16:14:02 +01:00
chriseth
764d618c44
Merge pull request #5404 from ethereum/jumpFixes
...
Annotate jump from calldata decode to function as "jump in".
2018-11-26 16:08:04 +01:00
chriseth
bd40c0ac02
Merge pull request #5313 from cpurta/circle-ci-error-bot
...
Add error reporting script and use in check_style script
2018-11-26 15:57:03 +01:00
Chris Purta
5c67821af4
Script that directly comments errors to the github pull request.
2018-11-26 15:43:17 +01:00
chriseth
f1cebed998
Merge pull request #5287 from ethereum/docs-update-input-parameters
...
DOCS: Merge FAQ into docs on multi-dimensional arrays
2018-11-26 15:19:55 +01:00
chriseth
e7f6ed8f5c
Merge pull request #5506 from ethereum/fixMergeConflict
...
Fix merge problem in CMake files.
2018-11-26 15:01:09 +01:00
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
