4 Commits

Author	SHA1	Message	Date
Sébastien Loriot	65a176d0e7	update license	2014-07-04 17:24:06 +02:00
Andreas Fabri	f08a65d914	cleanup	2014-07-02 17:42:37 +02:00
Andreas Fabri	9a28ba0ca9	Add implementation and first test for satisfies_link_condition	2014-06-19 18:46:23 +02:00
Andreas Fabri	144d206a75	cleanup of the helper files, and a partial fix of the slicer (which will be red in the testsuite)	2014-06-11 18:16:58 +02:00