2568 Commits

Author	SHA1	Message	Date
Leonardo Alt	a8209e9899	[SMTChecker] Shortcut RationalNumber expressions	2019-03-11 12:53:49 +01:00
chriseth	5c4a3aa270	Merge pull request #6213 from ethereum/iszeroJump ... Peephole optimizer for "iszero iszero <tag> jumpi".	2019-03-07 18:16:29 +01:00
chriseth	0eb799424d	Merge pull request #6183 from ethereum/soltest-alignment ... [soltest] Introduce explicit alignment	2019-03-07 17:43:59 +01:00
chriseth	e0d1b2f5b3	Peephole optimizer for "iszero iszero <tag> jumpi".	2019-03-07 15:52:02 +01:00
Leonardo Alt	02d0e609b9	[SMTChecker] Support enums	2019-03-07 15:15:12 +01:00
chriseth	7241aa755c	Merge pull request #6186 from ethereum/runExternalTestsWithOptimizer ... Run external tests with and without optimizer.	2019-03-07 12:57:03 +01:00
chriseth	8d9be8bb6d	Merge pull request #6211 from ethereum/fixFormatting ... Fix formatting and compilation error.	2019-03-06 22:55:02 +01:00
chriseth	553f578d03	Fix compilation error.	2019-03-06 22:01:19 +01:00
chriseth	791fde953d	First simplify switch with known constant expression.	2019-03-06 21:32:55 +01:00
chriseth	aa062221bb	Tabs, not spaces!	2019-03-06 21:32:10 +01:00
chriseth	0f336f30ca	Merge pull request #6207 from ethereum/fixStructuralVisitationOrder ... Fix visitation order bug for structural simplifier.	2019-03-06 21:29:17 +01:00
chriseth	0f7b1b31a1	Merge pull request #5996 from ethereum/calldataArrays ... Allow calldata arrays with dynamically encoded base type.	2019-03-06 19:55:57 +01:00
chriseth	21115f8050	Fix visitation order bug for structural simplifier.	2019-03-06 19:34:07 +01:00
Mathias Baumann	21322dae29	YulOpt: Remove empty cases	2019-03-06 19:02:23 +01:00
Mathias Baumann	3ce7069766	YulOpt: Remove empty cases	2019-03-06 18:39:44 +01:00
Erik Kundt	a40fbf0fc4	Right-aligns hex numbers and introduces alignment built-ins.	2019-03-06 18:24:13 +01:00
chriseth	3ccf73b3eb	Merge pull request #6204 from ethereum/soltest-signature-arrays ... [soltest] Add support for arrays in function signatures	2019-03-06 18:12:39 +01:00
Daniel Kirchner	e3148b5c45	Tests for arrays with dynamically encoded base types.	2019-03-06 18:04:24 +01:00
Daniel Kirchner	f9dc30c3d1	Add generalized dynamic array encoding to ExecutionFramework.	2019-03-06 18:04:12 +01:00
Daniel Kirchner	f7c6eda2c3	Allow calldata arrays with dynamically encoded base type.	2019-03-06 18:04:12 +01:00
chriseth	cdf29277f7	Merge pull request #6055 from ethereum/smt_arrays ... [SMTChecker] Add support to arrays	2019-03-06 18:00:23 +01:00
Erik Kundt	ab31c28ed9	Adds support for arrays in function signatures.	2019-03-06 16:47:00 +01:00
chriseth	dc69152238	Merge pull request #6143 from ethereum/fix-unimplemented-assert-5659 ... Check base contracts for abi encoder compatibility	2019-03-06 11:59:49 +01:00
Bhargava Shastry	54d0d153fa	Reduce input file size for solc and constant optimizer fuzzers.	2019-03-06 11:35:22 +01:00
Leonardo Alt	29b2ab6f66	Handle aliasing	2019-03-06 11:29:54 +01:00
Leonardo Alt	cb6c2b33f8	Add tests	2019-03-06 11:29:26 +01:00
Leonardo Alt	e74f58130e	Add SMT type support to Solidity arrays	2019-03-06 11:29:26 +01:00
Mathias Baumann	9919670ddd	Check base contracts for abi encoder compatibility	2019-03-06 11:16:54 +01:00
chriseth	4740dc62df	Merge pull request #6193 from ethereum/yul-opt-different-types-6181 ... YulOpt: Extend StructuralSimplifier to work with all types	2019-03-05 19:11:13 +01:00
Mathias Baumann	f6e09d6368	YulOpt: Extend StructuralSimplifier to work with all types	2019-03-05 18:39:27 +01:00
Mathias Baumann	921d52bfcd	Move Literal to u256 conversions to extra functions ... That way we can reuse them at different places	2019-03-05 18:39:27 +01:00
Bhargava Shastry	a370551ea2	ossfuzz: Reduce test input size to less than equal to 600 bytes.	2019-03-05 16:55:55 +01:00
chriseth	d70da689ef	Run external tests with and without optimizer.	2019-03-05 14:53:36 +01:00
Bhargava Shastry	d9bcbe6ad5	LibProtobuf Mutator (LPM) based fuzzer for yul subset	2019-03-05 12:32:55 +01:00
chriseth	d0ab5454f8	Merge pull request #6171 from ethereum/ignorePrefixWhileInlining ... Do not prepend function name to all variables when inlining.	2019-03-05 11:36:53 +01:00
chriseth	bbda89c428	Create a differential fuzzer using tracing facility from the yul interpreter.	2019-03-04 20:44:17 +01:00
chriseth	6c9961e040	Merge pull request #5941 from ethereum/metadata-compilerstack ... Metadata should not require compilation	2019-03-04 18:53:07 +01:00
chriseth	2d48377f4b	Merge pull request #6157 from ethereum/allocate-memory ... Add allocateMemory helper with value known at compile time	2019-03-04 18:35:04 +01:00
chriseth	3f784d6e00	Do not prepend function name to all variables when inlining.	2019-03-04 18:07:00 +01:00
chriseth	38831e885d	Merge pull request #5855 from ethereum/cp ... [Yul] Variable Name Canonicalization	2019-03-04 17:58:45 +01:00
Alex Beregszaszi	a96cc6e0e8	Add allocateMemory helper with value known at compile time	2019-03-04 17:46:42 +01:00
Christian Parpart	609855546e	Yul: Adds optimizer pass to make variable names suffix-canonical.	2019-03-04 17:26:56 +01:00
chriseth	62b2599cb7	Update tests.	2019-03-04 16:31:08 +01:00
Alex Beregszaszi	fcbb8ec51c	Allow returning metadata in StandardCompiler without compilation	2019-03-04 16:19:55 +01:00
chriseth	9a949c1bda	Set default EVM version to Petersburg.	2019-03-04 14:53:00 +01:00
Alex Beregszaszi	ecd246aeb6	Support petersburg in evmVersion	2019-03-04 14:10:41 +01:00
chriseth	2e0ea16a0f	Merge pull request #5959 from ethereum/optimiser2 ... Introduce global optimiser settings.	2019-03-04 12:54:59 +01:00
chriseth	5490a5cd37	Merge pull request #6115 from ethereum/fixUnavailableOpcodes ... Make unavailable opcodes errors.	2019-03-04 12:26:22 +01:00
chriseth	43850d55f3	Update tests.	2019-03-04 11:44:54 +01:00
chriseth	851dd635eb	Remove defaults in constructor arguments.	2019-03-04 11:41:52 +01:00