summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2012-10-07Added function to add many graphparts at onceJed Barber
2012-10-07Dictionary methods cleaned up, Cost model library addedJed Barber
2012-10-04Substitute test updatedJed Barber
2012-10-04Alpha equivalence typing fixedJed Barber
2012-09-28Types only tracked in alpha equivalence for bound variablesJed Barber
2012-09-28Now shows what the differences between article files areJed Barber
2012-09-28Exposed function to convert machineStates to stringsJed Barber
2012-09-28Added function to compute the difference of two stacksJed Barber
2012-09-28Type alpha equivalence in limboJed Barber
2012-09-27Utility to compare two article files to see if they produce the same resultsJed Barber
2012-09-27Stack datatype now deriving EqJed Barber
2012-09-27Placeholder file to ensure git records the /bin directoryJed Barber
2012-09-27The rest of the article files for testing specific commandsJed Barber
2012-09-26Fixed minor alpha conversion argument ordering bugJed Barber
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 ↵Jed Barber
modules into a single package
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 ↵Jed Barber
snippets that generate them
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 ↵Jed Barber
removing unused portions and resolving single-output commands)
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 ↵Jed Barber
def/ref/remove
2012-06-14Removed ID: marking from graph displayJed Barber