Interface change.
No idea what's really happening, but it compiles.
Changed the representation of clock constraints. About time, too.
Dumped a lot of functions.
Adding a bunch of functions that don't work.
Intermediate commit, just wishing to save two really long functions I
wrote. Switching back to master for a while.
Intermediate commit, wrote some more functions.
made some kind of testing infrastructure, will develop it further now.
Added more stuff to the test. Will switch to something else for now.
Cleaned up some code, added some tests.
Intermediate commit, cleaning up some code prior to real algorithmic
work.