1976 Commits

Author	SHA1	Message	Date
chriseth	5b991c1e59	Fix use of uninitialized functions stored in storage.	2019-04-25 15:40:48 +02:00
Leonardo Alt	dd1afeba52	[SMTChecker] Support this as address	2019-04-18 17:56:52 +02:00
chriseth	b02fbc5d02	Merge pull request #6503 from ethereum/inlineAsm-yul ... Inline asm yul	2019-04-18 17:15:09 +02:00
Mathias Baumann	3d061c83d7	IR: Generate inline asm blocks	2019-04-18 16:49:19 +02:00
chriseth	fce19bde58	Merge pull request #6545 from ethereum/smt_contracts ... [SMTChecker] Support contract type	2019-04-18 13:01:18 +02:00
chriseth	0bfd587363	Merge pull request #6527 from rocky/move-SemVerHandler ... Move SemVerHandler to analysis to parsing to increase modularity...	2019-04-18 13:00:45 +02:00
chriseth	fb302c1c4f	Merge pull request #6473 from ethereum/libeventhash-6435 ... Fix external ABI type name for contracts	2019-04-18 12:53:34 +02:00
Mathias Baumann	0f4b53e9a0	Fix external ABI type name for contracts	2019-04-18 11:39:48 +02:00
Leonardo Alt	ecd89393ee	[SMTChecker] Support contract type	2019-04-17 16:30:11 +02:00
rocky	b424446c5f	Move SemVerHandler to analysis to parsing to increase modularity... ... If ever you want to separate building analysis from scanning/parsing/ast, this will help.	2019-04-17 10:13:42 -04:00
chriseth	4509e8efbb	Merge pull request #6543 from ethereum/typeprovider-bits ... TypeProvider bits	2019-04-17 15:50:08 +02:00
chriseth	922ab0d72d	Merge pull request #6534 from ethereum/reuseLiteralContent-6472 ... Re-produce the original 'useLiteralContent' setting	2019-04-17 15:41:55 +02:00
Mathias Baumann	b24dd42e47	Re-produce the original 'useLiteralContent' setting	2019-04-17 14:54:51 +02:00
Christian Parpart	721bf367a3	[libsolidity] TypeProvider: eliminate redundant "Type" suffix in provider function signatures.	2019-04-17 14:42:07 +02:00
Grant Wuerker	69b4ce36de	Some move semantics improvements.	2019-04-17 14:19:48 +02:00
Christian Parpart	58a45f2cb6	[libsolidity] TypeProvider: adds explicit uint256() accessor and removes default params in integerType(...).	2019-04-16 18:28:40 +02:00
Christian Parpart	bf43eebea9	libsolidity: Introducing TypeProvider API, for clear type system ownership.	2019-04-16 18:26:45 +02:00
Christian Parpart	862d798047	[test] AnalysisFramework's instance of CompilerStack to be lazily instanciated.	2019-04-16 18:25:03 +02:00
Mathias Baumann	efc8d79d53	Fix wrong location for inline asm blocks	2019-04-15 16:40:07 +02:00
chriseth	bf5792f7ca	Merge pull request #6483 from ethereum/smt_support_mod ... [SMTChecker] Support mod	2019-04-15 13:42:18 +02:00
chriseth	73ac8f6220	Merge pull request #6421 from ethereum/smt_fix_variable_usage ... [SMTChecker] Refactor VariableUsage	2019-04-15 13:39:10 +02:00
Leonardo Alt	af9f16e014	[SMTChecker] Support mod	2019-04-12 12:39:25 +02:00
Daniel Kirchner	65991c0922	Merge pull request #6481 from ethereum/smt_inline_asm_warning ... [SMTChecker] Show unsupported warning for asm blocks	2019-04-12 12:36:26 +02:00
Leonardo	dbc9442f9c	Merge pull request #6484 from sifmelcara/create-SourceReferenceFormatter-shortcut ... Add a shortcut for formatting error information	2019-04-12 12:34:08 +02:00
chriseth	565d9837e4	Virtual function calls.	2019-04-11 15:45:43 +02:00
chriseth	18ab8aeb85	Overflow-checked addition.	2019-04-11 15:45:14 +02:00
Mathias Baumann	71d752d878	Fix infinite loop when encountering unexpected test specifications	2019-04-11 13:37:42 +02:00
mingchuan	f1374066af	Add shortcuts for formatting error information	2019-04-10 18:44:45 +08:00
Leonardo Alt	4fe303530a	[SMTChecker] Show unsupported warning for asm blocks	2019-04-05 16:41:15 +02:00
Leonardo Alt	79d8a4e13a	[SMTChecker] Refactor VariableUsage	2019-04-05 11:38:37 +02:00
chriseth	3df4936b6f	Merge pull request #6179 from ethereum/solidity-yul1 ... Solidity to Yul compiler	2019-04-04 16:33:39 +02:00
chriseth	141c6da534	Semantic tests for compilation via Yul.	2019-04-04 15:02:43 +02:00
Daniel Kirchner	d0fda7ca7c	Merge pull request #6262 from ethereum/abiEncodeCalldataArray ... ABIEncoderV2: implement encoding of calldata arrays and structs.	2019-04-04 14:51:45 +02:00
chriseth	c0ce540e26	Run tests with both ABIV2 and Yul optimizer.	2019-04-04 13:18:30 +02:00
Daniel Kirchner	91a2a9a9c3	Implement ABI encoding of calldata arrays and structs.	2019-04-04 13:05:32 +02:00
chriseth	8c570f31c5	Merge pull request #6442 from ethereum/smt_unary_inc_dec ... [SMTChecker] Support unary inc/dec for array/mapping access	2019-04-04 11:45:13 +02:00
chriseth	ee2f566207	Merge pull request #5815 from ethereum/strict-abi-decoder ... Strict abi decoder (validate incoming data instead of cleaning it)	2019-04-04 11:13:44 +02:00
Daniel Kirchner	5ff1f85231	Adjust semantics tests.	2019-04-03 17:59:04 +02:00
chriseth	aeb260cde1	Add settings framework for interactive tests.	2019-04-03 14:58:20 +02:00
chriseth	3282c72a21	Update tests.	2019-04-03 11:32:03 +02:00
Alex Beregszaszi	43008dd08e	Validate value types in decoder of ABIEncoderV2.	2019-04-03 11:32:02 +02:00
Leonardo Alt	aa9b9aa87e	[SMTChecker] Support unary inc/dec for array/mapping access	2019-04-02 16:53:19 +02:00
Daniel Kirchner	ab8dfed144	Implement copying recursive structs from storage to memory.	2019-04-02 16:01:44 +02:00
chriseth	f9820adb5e	Merge pull request #6396 from ethereum/optSetForAsmStack ... Make optimiser settings available to assembly stack.	2019-03-28 19:03:23 +01:00
chriseth	84251e5a22	Merge pull request #6405 from ethereum/smt_compound_assignment ... [SMTChecker] Support arithmetic compound assignment operators.	2019-03-28 18:27:25 +01:00
chriseth	3264e9abf0	Make optimiser settings available to assembly stack.	2019-03-28 18:24:13 +01:00
Leonardo Alt	dadafed022	Short circuit tests	2019-03-28 16:08:30 +01:00
Leonardo Alt	a7e826a224	[SMTChecker] Implement short circuit	2019-03-28 16:08:30 +01:00
chriseth	a1d59dfb4c	Merge pull request #6371 from ethereum/smt_variable_usage_function_calls ... [SMTChecker] Merge SSA state vars properly	2019-03-28 15:54:31 +01:00
Leonardo Alt	c7e5468505	Arithmetic compound assignment operators tests	2019-03-28 15:27:52 +01:00