415 Commits

Author	SHA1	Message	Date
chriseth	591cb938bc	some notes	2022-04-27 15:24:47 +02:00
chriseth	1a244e7a20	add comment	2022-04-17 19:30:03 +02:00
chriseth	ecb90b69bd	fix multi assignmnets	2022-04-17 18:30:15 +02:00
chriseth	9da8d7f28c	Fix for implementation.	2022-04-17 18:20:35 +02:00
chriseth	1cc485bf72	use z3	2022-04-17 18:11:42 +02:00
chriseth	af1e8dba30	add note	2022-04-17 18:11:21 +02:00
chriseth	86fde5d357	ssa encoding	2022-04-17 17:54:39 +02:00
chriseth	dd777baabf	Fix mul implementation.	2022-03-21 16:11:10 +01:00
chriseth	0966c77fa6	Comment	2022-03-21 12:36:43 +01:00
chriseth	3996d5bad3	Comment	2022-03-21 12:36:35 +01:00
chriseth	24068116d9	Simplify conditions.	2022-03-21 11:24:54 +01:00
chriseth	9ec7cf88ec	Reasoning is always valid.	2022-03-21 10:54:38 +01:00
chriseth	c34019f136	Fix and and change some conditions.	2022-03-21 10:34:53 +01:00
chriseth	a3f999a13e	temp	2022-03-20 22:34:37 +01:00
chriseth	22aba74176	Simplify condition.	2022-03-20 22:34:22 +01:00
chriseth	6f7f60903e	Hacky for loop implementation.	2022-03-20 22:34:22 +01:00
chriseth	d3aa06dc12	Fix opcodes.	2022-03-20 22:34:22 +01:00
chriseth	aa1e56bf2c	Fix slt	2022-03-20 22:34:22 +01:00
chriseth	fe15610ba4	some more debugging output	2022-03-20 22:34:22 +01:00
chriseth	b4dd0420ca	encoding	2022-03-20 22:34:22 +01:00
chriseth	a054285f31	Simplify rematerialization candidates.	2022-03-16 16:43:21 +01:00
chriseth	75abe92eb2	Refactor stack compressor.	2022-03-15 21:28:47 +01:00
chriseth	5afa2adec2	Merge pull request #12775 from ethereum/refactorDataFlowAnalyzer ... Refactor data flow analyzer state access.	2022-03-15 15:52:40 +01:00
chriseth	28593839d9	Add helper to see if a switch has a default case.	2022-03-15 14:29:54 +01:00
chriseth	afdf22f5c7	Create a state struct.	2022-03-14 19:32:33 +01:00
chriseth	eab4ca906c	Refactor data flow analyzer state access.	2022-03-14 19:32:33 +01:00
Tyler	1c58b91075	Merge branch 'develop' of github.com:tfire/solidity into fix/remove-namespace-ast-annotations	2022-03-10 17:39:29 -05:00
chriseth	4f02be110c	Unused store eliminator.	2022-03-10 18:25:28 +01:00
chriseth	6ab31420af	Remove unneeded header files.	2022-03-10 09:55:05 +01:00
Tyler	047034544e	Merge branch 'develop' of github.com:tfire/solidity into fix/remove-namespace-ast-annotations	2022-03-09 18:55:22 -05:00
Tyler	519e1c9402	Specify namespaces ... Fix references into solidity::util	2022-03-08 00:09:17 -05:00
wechman	52dfccca98	Replace all locale-dependent operations with locale-agnostic counterparts	2022-03-07 17:23:08 +01:00
chriseth	d118f21417	Merge pull request #12729 from ethereum/splitOutDisassemble ... Split out disassemble to remove numeric from instruction includes.	2022-03-02 16:18:17 +01:00
chriseth	b0dcd7b915	Split out disassemble to remove numeric from instruction includes.	2022-03-02 15:30:41 +01:00
chriseth	63f0a22c5d	Also save and restore the nesting depth.	2022-03-02 13:49:40 +01:00
hrkrshnn	85d1a57e65	Added more tests. Updated chromosome. Remove unused headers.	2022-01-04 13:27:39 +05:30
chriseth	772e100813	Equal store eliminator.	2022-01-03 15:52:05 +01:00
chriseth	0e7a065a78	Enhance documentation.	2021-11-23 14:58:04 +01:00
chriseth	bd321b9f1f	Rename RedundantAssignEliminator to UnusedAssignEliminator.	2021-11-23 10:38:36 +01:00
Daniel Kirchner	9fb77b139c	Keep canonical form of Yul code at all times.	2021-11-09 13:29:10 +01:00
Daniel Kirchner	b4f98b41bc	Minor fix to forEach on Yul AST nodes.	2021-11-05 13:24:30 +01:00
chriseth	776ae466bc	Control flow side effects on non-disambiguated source.	2021-11-04 16:32:11 +01:00
chriseth	dd8f12760b	Introduce forEach for yul ast nodes.	2021-11-04 16:14:43 +01:00
Daniel Kirchner	95c973d6c2	Refactoring of optimiser suite and yulopti.	2021-11-03 19:33:01 +01:00
Daniel Kirchner	4229369180	Compatibility with StackCompressor and StackLimitEvader.	2021-11-03 12:39:55 +01:00
chriseth	d6c461ed61	Use side effects of user-defined functions in other optimizer steps.	2021-11-02 11:59:01 +01:00
chriseth	9417d6775f	Control flow side-effects for user-defined functions.	2021-10-14 17:46:07 +02:00
Kamil Śliwak	620ec47efb	OptimizerSuite: Rewrite runSequence() with support for nested brackets	2021-10-06 19:15:02 +02:00
Kamil Śliwak	2fb8f1be5b	OptimiserSuite: Use string_view instead of string for step sequences	2021-10-06 18:48:41 +02:00
Sreekesh V	79d9d5bf0d	Change optimizer sequence validations to allow nested brackets	2021-10-06 18:46:53 +02:00