8 Commits

Include renames

Author	SHA1	Message	Date
chriseth	141c6da534	Semantic tests for compilation via Yul.	2019-04-04 15:02:43 +02:00
chriseth	aeb260cde1	Add settings framework for interactive tests.	2019-04-03 14:58:20 +02:00
Daniel Kirchner	a178486436	Review suggestions.	2019-03-18 14:34:00 +01:00
Daniel Kirchner	4a28e1eb43	Support EVM Version rules for extracted tests.	2019-03-15 17:23:20 +01:00
Erik Kundt	a40fbf0fc4	Right-aligns hex numbers and introduces alignment built-ins.	2019-03-06 18:24:13 +01:00
Erik Kundt	d1ad431887	Moves soltest function call to separate class.	2019-02-21 16:39:31 +01:00
Erik Kundt	dacad629ef	Adds semantic tests to test framework and isoltest.	2019-02-15 13:27:15 +01:00
Erik Kundt	190634e1f9	Implements infrastructure for semantic tests.	2019-02-13 13:05:58 +01:00