Began work on the thesis.
Minor change in .gitignore .
More changes to the algorithm.
More changes to the report.
A pair of examples for the thesis.
Tables of figures and tables and other stuff.
Added a function to print the raw form of the LTS without bisimilarity
quotients.
Fixed an annoying bug that causes examples with 'AND' instead of 'and'
not to parse.
Moved some clutter over to its rightful place. Also refreshed the PDF
- which Git has trouble detecting accurately.
Clutter housekeeping, new example, .gitignore changes.
Wrote a lot of code. Debugging now. Also, refreshed the pdf.
Fixed an incredibly stupid bug which was causing generation of the
"quotient LTS" to fail. We shall remove a lot of debugging code in the
next commit.
Removed a lot of debugging code.
Written a lot of code, not tested all of it yet.
This contains more untested code!
Added a function to test whether the zero valuation lies in a
particular dbm.
More untested code!
More C stubs, and tests for them.
More functors, more functions.
A new native executable, in order to test the time abstracted
relations directly.