63 commits

Author	SHA1	Message	Date
Joshua Moerman	c4625bf775	Adds possibility to read stdin	2015-03-19 17:25:34 +01:00
Joshua Moerman	1c9f56a6ec	Refactors a lot. Also implements a basic test suite.	2015-03-19 17:25:34 +01:00
Joshua Moerman	a7a7f815da	Refactors the dist_seq to distinguishing_sequence	2015-03-19 17:25:33 +01:00
Joshua Moerman	4a2bc674cc	Rewrites main to log runtimes, output checking seqs (compressed)	2015-03-19 17:25:33 +01:00
Joshua Moerman	30d1d0e5c5	Fixes a (major) bug (by cleaning up code)	2015-03-19 17:25:33 +01:00
Joshua Moerman	3a5d5cc551	Splits the main file in more files.	2015-03-19 17:25:33 +01:00
Joshua Moerman	7f923a4c1c	Adds the construction of a splitting tree	2015-03-19 17:25:33 +01:00
Joshua Moerman	f4f5f5713f	Restructures partition-API. Adds LY-validity check.	2015-03-19 17:25:33 +01:00
Joshua Moerman	556abfa569	Moves splitting tree to header and adds write to dot function	2015-03-19 17:25:33 +01:00
Joshua Moerman	f7fb5def0c	Creates stronger types for states, inputs and outputs	2015-03-19 17:25:33 +01:00
Joshua Moerman	b62d3a1a17	Adds phantom type (to be used for state/input/output)	2015-03-19 17:25:33 +01:00
Joshua Moerman	c945740cb5	Adds other kind of split	2015-03-19 17:25:32 +01:00
Joshua Moerman	c2f58c4c94	Adds partition refinement, and reading mealy machine	2015-03-19 17:25:09 +01:00