16 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	ad6f39376f	Return object format in expectation for yulOptimizerTests	2020-08-05 11:55:13 +01:00
a3d4	3b9e926559	Moved "step" from settings to expectations.	2020-03-19 13:59:05 +01:00
chriseth	4f80117eef	Use builtin iszero for for loop condition rewriting.	2019-09-12 10:26:16 +02:00
chriseth	1c5845e3f2	Side-effects of user-defined functions.	2019-09-02 17:41:51 +02:00
chriseth	2a5280faa0	Check availability of data objects already in analysis phase.	2019-07-10 18:49:42 +02:00
chriseth	4061ad0a7b	Implement references using InvertibleRelation as data structure.	2019-05-27 22:55:59 +02:00
chriseth	0532a8cef2	Format short blocks and loops on a single line.	2019-05-08 13:28:00 +02:00
fnatic	5b6ed7a97c	Removing scope rules for pre block in 'For Loops'	2019-04-17 05:58:40 +05:30
chriseth	e3d7a34c2c	Make yul a setting.	2019-04-03 14:58:20 +02:00
chriseth	ace601b8f6	Tests.	2019-01-07 17:23:38 +01:00
chriseth	b11d413720	Consider return variables to be zero initially.	2018-12-13 16:02:30 +01:00
chriseth	9557dd7e74	Support unassigned variables in the SSA value tracker and the data flow analyzer.	2018-12-12 18:06:28 +01:00
chriseth	b2b11eaa00	Fix data flow analyzer for function definitions.	2018-11-07 20:32:55 +01:00
chriseth	48749146da	Fix a bug in CSE where a variable that was already out of scope was used.	2018-10-18 14:55:51 +02:00
chriseth	c34fa43d5b	Test case that shows a CSE bug related to scopes.	2018-10-18 14:54:23 +02:00
Christian Parpart	9a4bec7e47	Renaming libjulia to libyul	2018-10-15 11:52:35 +02:00