4 Commits

Author	SHA1	Message	Date
Alejandro Serrano	8c56d2e3c8	Obtain better information for case split	2014-06-18 21:01:22 +02:00
Alejandro Serrano	6854d417c0	Initial implementation of case splitting ... - It doesn't handle vars correctly yet	2014-06-08 12:33:13 +02:00
Daniel Gröber	8324dd96ae	Don't expose Convert	2014-05-14 18:54:56 +02:00
Daniel Gröber	ebfb740a2e	Move convert to it's own module.	2014-05-14 17:06:30 +02:00