21087 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Daniel Kirchner	8e0ce2d9ba	Merge pull request #11911 from ethereum/rematSelectorVariableOrder ... Change RematCandidateSelector to not depend on variable name sorting.	2021-09-08 19:09:59 +02:00
Daniel Kirchner	c499f27a63	Change RematCandidateSelector to not depend on variable name sorting.	2021-09-08 15:41:40 +02:00
chriseth	55bb53c9de	Merge pull request #11912 from ethereum/refactorSourcePrinting ... Refactor source printing	2021-09-08 14:07:07 +02:00
chriseth	59faffcd5f	Changelog entry.	2021-09-08 12:26:06 +02:00
chriseth	0b5671c885	Clarify C++ evaluation order.	2021-09-08 12:25:56 +02:00
chriseth	4b0cd6cc8c	Update gas costs.	2021-09-08 12:25:56 +02:00
chriseth	1304080a77	Update commandline tests.	2021-09-08 12:25:56 +02:00
chriseth	c63b768fff	Sort yul functions by creation time.	2021-09-08 12:25:56 +02:00
Daniel Kirchner	d512f7a4fd	Merge pull request #11890 from ethereum/stackLayoutGeneratorReportTooDeep ... Report stack too deep and conditional stack compression in StackLayoutGenerator.	2021-09-08 10:28:30 +02:00
hrkrshnn	ce75790e8d	TypeChecker: added checks for wrap and unwrap ... For user defined value types and also added a test case.	2021-09-07 19:42:51 +02:00
hrkrshnn	0647039864	DeclarationTypeChecker for UserDefinedValueTypes ... - Checks for repetitions. - Assigns types. - Checks if the 'actual type' is an elementary type name. - Checks if the 'actual type' is a value type. Also added tests.	2021-09-07 19:42:51 +02:00
hrkrshnn	15452371d4	Types for UserDefinedValueType	2021-09-07 19:42:51 +02:00
hrkrshnn	9f7426b4a9	Implemented parsing for UserDefinedValueType ... Also added parsing tests.	2021-09-07 19:42:51 +02:00
hrkrshnn	d3ae9cf71b	Added AST node UserDefinedValueType	2021-09-07 19:42:51 +02:00
Leonardo	6feed460cf	Merge pull request #11905 from ethereum/smt_cleanup_typetype ... [SMTChecker] Cleanup spurious messages about TypeTypes	2021-09-07 17:46:57 +02:00
chriseth	c9360ef80d	Merge pull request #11908 from ethereum/preventOptimizerRunningMultipleTimes ... Run the optimizer only once.	2021-09-07 17:37:54 +02:00
Kamil Śliwak	98ab6d91ed	SourceLocation::singleLineSnippet(): Handle \r\n line endings correctly	2021-09-07 17:18:22 +02:00
Kamil Śliwak	a7612ce873	Move the function for creating code snippets used next to source locations in assembly to liblangutil	2021-09-07 17:18:22 +02:00
Leo Alt	6e2fe1e340	[SMTChecker] Cleanup spurious messages about TypeTypes	2021-09-07 16:55:25 +02:00
chriseth	3fe52d9869	Run the optimizer only once.	2021-09-07 15:06:31 +02:00
Leonardo	11a8505990	Merge pull request #11904 from ethereum/removing-soljson-js-no-longer-needed-after-npm-install ... Don't try to remove `soljson.js` after running `npm install` in cloned `solc-js` repo	2021-09-06 23:46:26 +02:00
Leonardo	1d6eb2e248	Merge pull request #11880 from ethereum/circle-ci-config-cleanup-and-deduplication ... CircleCI config cleanup and deduplication	2021-09-06 23:44:02 +02:00
chriseth	a7b85d3a41	Merge pull request #11865 from ethereum/compressSourceIndices ... Only list used source names.	2021-09-06 22:13:27 +02:00
Kamil Śliwak	f4d1044331	Don't try to remove soljson.js after running npm install in cloned solc-js repo	2021-09-06 21:04:36 +02:00
chriseth	5093cff7ae	Rename source location function.	2021-09-06 18:33:36 +02:00
chriseth	f14b7598c7	Only list used source names.	2021-09-06 18:33:05 +02:00
chriseth	4615e62514	Merge pull request #11902 from ethereum/addHelperForContext ... Refactor: Add helper for context.	2021-09-06 18:28:17 +02:00
chriseth	5d2931cba3	Refactor: Add helper for context.	2021-09-06 18:18:33 +02:00
chriseth	b8eb2a0d38	Merge pull request #11901 from ethereum/fix-changelog ... Move changelog item to bugfix.	2021-09-06 18:03:55 +02:00
Daniel Kirchner	d0ce6433d9	Merge pull request #11894 from ethereum/builtinExpressionVisit ... Remove expression visit function from Yul Builtins.	2021-09-06 17:49:40 +02:00
hrkrshnn	4d52e873e7	Move changelog item to bugfix.	2021-09-06 17:44:45 +02:00
Daniel Kirchner	a683ea7646	Remove the expression callback from the code generator functions of Yul builtins.	2021-09-06 17:07:53 +02:00
chriseth	be95a8172b	Merge pull request #11891 from ethereum/guidedRematerializer ... Allow the Rematerializer to be restricted to an exact set of variables.	2021-09-06 16:22:14 +02:00
Harikrishnan Mulackal	e9b70b168a	Merge pull request #11899 from ethereum/move-check-keccak-gas ... Resolving Keccak-256: check if arguments are identifiers early.	2021-09-06 14:28:42 +02:00
hrkrshnn	2cdd3b2081	Resolving Keccak-256: check if arguments are identifiers early. ... Previously, the check on whether the optimization was useful gas wise was done before checking if the keccak256 opcode had identifier as arguments. Since the gas meter crashes when encountering certain Yul opcodes (create, dataoffset, etc.), this optimizer step crashed.	2021-09-06 13:48:07 +02:00
Harikrishnan Mulackal	3da3ffee5f	Merge pull request #11897 from paulrberg/develop ... docs: delete stale note about reading code	2021-09-06 10:01:57 +02:00
Daniel Kirchner	e022ba1bfb	Report stack too deep and conditionally aggressively compress stack in StackLayoutGenerator.	2021-09-06 09:08:04 +02:00
Paul Razvan Berg	8d1331a081	docs: delete stale note about reading code	2021-09-04 22:40:36 +03:00
yatharthagoenka	5a02384233	Cleanup/Deduplication in .circleci/config	2021-09-03 22:56:19 +02:00
Daniel Kirchner	646421fee1	Allow the Rematerializer to be restricted to an exact set of variables.	2021-09-03 15:29:51 +02:00
Daniel Kirchner	8447b32d52	Merge pull request #11861 from ethereum/smt_value ... [SMTChecker] Support `value` in CHC for external function calls	2021-09-03 14:00:21 +02:00
Daniel Kirchner	d384664dcb	Merge pull request #11615 from ethereum/yulStackLayoutGenerator ... Yul Stack Layout Generator (New Code Transform Step 2)	2021-09-03 13:13:18 +02:00
chriseth	7f137d352a	Merge pull request #11869 from ethereum/remodelUseSrc ... Allow and require use-src to be repeated for each object.	2021-09-02 18:34:07 +02:00
Daniel Kirchner	f881409ea4	Stack layout generator for new code generation.	2021-09-02 17:47:19 +02:00
chriseth	9c2ab1ff2f	Merge pull request #11881 from ethereum/unsuable-symbol-11855 ... Properly export symbols from aliased imports.	2021-09-02 16:39:16 +02:00
chriseth	5caa15879b	Allow and require use-src to be repeated for each object.	2021-09-02 11:29:42 +02:00
Kamil Śliwak	70fe0c65d5	Merge pull request #11883 from ethereum/remove-archlinux-ci-workarounds ... Remove CI workarounds for archlinux	2021-09-01 20:58:03 +02:00
Bhargava Shastry	6f8f58ebb7	Merge pull request #11874 from ethereum/remove-unsigned-overflow-ubsan-nightly ... Fix UBSan CI	2021-09-01 20:29:42 +02:00
Leo Alt	106c591dde	Support the external call option	2021-09-01 20:18:37 +02:00
Marenz	4700c2b973	Properly export symbols from aliased imports.	2021-09-01 19:55:30 +02:00