summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2012-09-24Compiles properlyJed Barber
2012-09-24Allowed output of a graphpart to be used by multiple nodesJed Barber
2012-09-22Added standard AbsTerm and AppTerm datatypesJed Barber
2012-09-22TermNet working properlyJed Barber
2012-09-22Added a function to check whether a given type is a type variableJed Barber
2012-09-22Moved some functions from graphpart to proofgraphJed Barber
2012-09-14Misc test filesJed Barber
2012-09-14Code complete, but buggyJed Barber
2012-09-14Test article files for specific commandsJed Barber
2012-09-14Testing packageJed Barber
2012-09-13Cleaner directory structure, addition of make clean, grouping of library modu...Jed Barber
2012-08-23Not quite finished work on instantiation optimisationJed Barber
2012-08-23Simplified to construct graph fully and check for duplicate nodes afterwardsJed Barber
2012-08-23Encapsulates a partial graph with at most one each input/outputJed Barber
2012-08-23Functions to convert internal datatypes to (unoptimised) proof trace snippets...Jed Barber
2012-08-09Fixed getArgs error when compiling with GHC 7+Jed Barber
2012-08-09Concat explanation addedJed Barber
2012-08-09Instructions on how to use the programsJed Barber
2012-08-09Compilation now automatedJed Barber
2012-08-09Theorems now displayed properly instead of as maybe valuesJed Barber
2012-08-02Moved fst3, snd3, thd3 functions to Parse.hsJed Barber
2012-08-02Converted to moduleJed Barber
2012-08-02Generates a numbered list of theorems in an article fileJed Barber
2012-08-02Removes theorems from article, specified by numberJed Barber
2012-08-02Allows concatenation of article filesJed Barber
2012-08-02Moved proof trace output formatting function to Parse.hsJed Barber
2012-08-02Bugfixes for multiCommandsSimpleJed Barber
2012-07-26Linearisation of multi-output commands (has a few compile errors)Jed Barber
2012-07-12Fixed selection of new dictionary indicesJed Barber
2012-07-12Functions to linearise a graph into a proof trace (currently include removing...Jed Barber
2012-07-12Graph generating functions accessible as a moduleJed Barber
2012-07-05Fixed bug in not detecting duplicate nodes in the graphJed Barber
2012-06-18Graph generator rewritten to use fgl graphsJed Barber
2012-06-17Switched to fgl graph implementationJed Barber
2012-06-14Changed numbers to be handled specially since they're only used by def/ref/re...Jed Barber
2012-06-14Removed ID: marking from graph displayJed Barber
2012-06-14Changed doGraphGen function to return only the graphJed Barber
2012-06-14Fixed bug with remove/refJed Barber
2012-06-14Added Show instance for the graphJed Barber
2012-06-13Changed pop to be handled speciallyJed Barber
2012-06-07Inconsequential changeJed Barber
2012-06-07Code to generate a dependency graph of commands in a proof traceJed Barber
2012-06-04Separated output by function being testedJed Barber
2012-06-04Cleaned up how the state of the virtual machine is handledJed Barber
2012-05-31Fixed type variable substitutionJed Barber
2012-05-31Tests for substituteJed Barber
2012-05-29Changed failure checking to monadic notationJed Barber
2012-05-29Tests for number, assume, axiom, alphaEquivJed Barber
2012-05-29Changed Command-test.hs to Test.hsJed Barber
2012-05-29Moved Stack datatype to separate fileJed Barber
generated by cgit (git 2.30.0) at 2024-06-01 23:36:04 +0000