| Age | Commit message (Expand) | Author |
|---|
| 2012-09-14 | Testing package | Jed Barber |
| 2012-09-13 | Cleaner directory structure, addition of make clean, grouping of library modu... | Jed Barber |
| 2012-08-23 | Not quite finished work on instantiation optimisation | Jed Barber |
| 2012-08-23 | Simplified to construct graph fully and check for duplicate nodes afterwards | Jed Barber |
| 2012-08-23 | Encapsulates a partial graph with at most one each input/output | Jed Barber |
| 2012-08-23 | Functions to convert internal datatypes to (unoptimised) proof trace snippets... | Jed Barber |
| 2012-08-09 | Fixed getArgs error when compiling with GHC 7+ | Jed Barber |
| 2012-08-09 | Concat explanation added | Jed Barber |
| 2012-08-09 | Instructions on how to use the programs | Jed Barber |
| 2012-08-09 | Compilation now automated | Jed Barber |
| 2012-08-09 | Theorems now displayed properly instead of as maybe values | Jed Barber |
| 2012-08-02 | Moved fst3, snd3, thd3 functions to Parse.hs | Jed Barber |
| 2012-08-02 | Converted to module | Jed Barber |
| 2012-08-02 | Generates a numbered list of theorems in an article file | Jed Barber |
| 2012-08-02 | Removes theorems from article, specified by number | Jed Barber |
| 2012-08-02 | Allows concatenation of article files | Jed Barber |
| 2012-08-02 | Moved proof trace output formatting function to Parse.hs | Jed Barber |
| 2012-08-02 | Bugfixes for multiCommandsSimple | Jed Barber |
| 2012-07-26 | Linearisation of multi-output commands (has a few compile errors) | Jed Barber |
| 2012-07-12 | Fixed selection of new dictionary indices | Jed Barber |
| 2012-07-12 | Functions to linearise a graph into a proof trace (currently include removing... | Jed Barber |
| 2012-07-12 | Graph generating functions accessible as a module | Jed Barber |
| 2012-07-05 | Fixed bug in not detecting duplicate nodes in the graph | Jed Barber |
| 2012-06-18 | Graph generator rewritten to use fgl graphs | Jed Barber |
| 2012-06-17 | Switched to fgl graph implementation | Jed Barber |
| 2012-06-14 | Changed numbers to be handled specially since they're only used by def/ref/re... | Jed Barber |
| 2012-06-14 | Removed ID: marking from graph display | Jed Barber |
| 2012-06-14 | Changed doGraphGen function to return only the graph | Jed Barber |
| 2012-06-14 | Fixed bug with remove/ref | Jed Barber |
| 2012-06-14 | Added Show instance for the graph | Jed Barber |
| 2012-06-13 | Changed pop to be handled specially | Jed Barber |
| 2012-06-07 | Inconsequential change | Jed Barber |
| 2012-06-07 | Code to generate a dependency graph of commands in a proof trace | Jed Barber |
| 2012-06-04 | Separated output by function being tested | Jed Barber |
| 2012-06-04 | Cleaned up how the state of the virtual machine is handled | Jed Barber |
| 2012-05-31 | Fixed type variable substitution | Jed Barber |
| 2012-05-31 | Tests for substitute | Jed Barber |
| 2012-05-29 | Changed failure checking to monadic notation | Jed Barber |
| 2012-05-29 | Tests for number, assume, axiom, alphaEquiv | Jed Barber |
| 2012-05-29 | Changed Command-test.hs to Test.hs | Jed Barber |
| 2012-05-29 | Moved Stack datatype to separate file | Jed Barber |
| 2012-05-29 | All potential errors now caught into Nothings | Jed Barber |
| 2012-05-22 | First few test cases | Jed Barber |
| 2012-05-22 | Split the Object wrapping from the actual computation in the article commands | Jed Barber |
| 2012-05-15 | Fixed alphaEquiv, again | Jed Barber |
| 2012-05-15 | Added guards for command functions | Jed Barber |
| 2012-05-15 | Fixed bugs in alphaEquiv, substitute | Jed Barber |
| 2012-05-15 | Fixed bug in mkEqualsType | Jed Barber |
| 2012-05-15 | Fixed a number of compilation errors | Jed Barber |
| 2012-05-15 | Added a standard reference for a bool type | Jed Barber |
