index
:
opentheory-transform
master
Opentheory proof trace optimizer
Jed Barber
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Library
Age
Commit message (
Collapse
)
Author
2012-10-07
Dictionary methods cleaned up, Cost model library added
Jed Barber
2012-10-04
Alpha equivalence typing fixed
Jed Barber
2012-09-28
Types only tracked in alpha equivalence for bound variables
Jed Barber
2012-09-28
Exposed function to convert machineStates to strings
Jed Barber
2012-09-28
Added function to compute the difference of two stacks
Jed Barber
2012-09-28
Type alpha equivalence in limbo
Jed Barber
2012-09-27
Stack datatype now deriving Eq
Jed Barber
2012-09-26
Fixed minor alpha conversion argument ordering bug
Jed Barber
2012-09-24
Allowed output of a graphpart to be used by multiple nodes
Jed Barber
2012-09-22
TermNet working properly
Jed Barber
2012-09-22
Added a function to check whether a given type is a type variable
Jed Barber
2012-09-22
Moved some functions from graphpart to proofgraph
Jed Barber
2012-09-14
Code complete, but buggy
Jed Barber
2012-09-13
Cleaner directory structure, addition of make clean, grouping of library ↵
Jed Barber
modules into a single package