Starting work on making an ocaml representation for our timed
automaton.
Intermediate commit.
Got the alternate parser to work. Let's see if it actually parses
stuff correctly.
Getting rid of some unnecessary type qualification.
Got an alternative parser to compile. Let's try a few tests now.
Removed some testing code from the build system.
Working on making tests.
Lots of tests.
Streamlined myocamlbuild a little bit.
Added the Unix module to the build process.
Added more tests.
Streamlining tests.
Streamlining tests.
Moved some clutter to the correct place.
Streamlining tests and removing clutter.
Still moving stuff around.
Intermediate commit just before a branch. Still compiles.
Fixed all issues pertaining to queues.
Need to go back to the drawing board for datatypes.
Wrote a lot of code. Not tested it to at any level of thoroughness,
though.