2374 Commits

Author	SHA1	Message	Date
Christian Parpart	435f7b3b72	liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream already) ... Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-)	2018-11-30 17:07:17 +01:00
Christian Parpart	c48a5264be	liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream source, eliminating sourceName ... Also, adapted affecting code to those changes.	2018-11-30 17:07:12 +01:00
Christian Parpart	22eff22492	liblangutil: extends CharStream to know about the respective (file-)name (and adapt codebase to it)	2018-11-29 12:45:27 +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	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	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
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	a46d5c6580	Fix merge problem in CMake files.	2018-11-26 14:50:04 +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
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
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	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	0e08fb7469	Use "in" tag for jumps from unpacker to function.	2018-11-26 11:02:58 +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
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	ec47c8946b	Isolating libyul library API into its own namespace yul.	2018-11-23 14:29:00 +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
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	d686807153	Style	2018-11-22 21:13:02 +01: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
chriseth	a781bda595	Correct style.	2018-11-22 17:15:25 +01:00
Leonardo Alt	ec84a7dc9b	[SMTChecker] Refactor setZeroValue and setUnknownValue	2018-11-22 16:42:51 +01: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
Leonardo Alt	06189ae57f	Add assert and tests for bound functions	2018-11-22 14:41:39 +01:00