Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.settings
Added PrettyPrint visitor and AST classes for literals
March 26, 2013 19:17
docs
Improved testing support. Fixed some bugs with quantifiers. Docs.
November 2, 2013 12:56
latex
latex-DONE
December 7, 2013 21:16
src
Merge branch 'experimental'
July 23, 2014 13:55
test
Cleanup. Attempted join caching, but needs some rework.
July 23, 2014 13:37
.gitignore
cleanup
July 10, 2014 23:09
Makefile
fixed installation and running instructions. Added claferSMT.sh to ma…
July 15, 2014 16:02
README.md
Fix link in README
August 18, 2015 10:24
addclafertest
Added testing scripts
November 7, 2013 12:19
claferSMT.sh
fixed installation and running instructions. Added claferSMT.sh to ma…
July 15, 2014 16:02
claferSMTsrc.sh
fixed Make init and egg for Linux. Works both from src and egg.
July 15, 2014 13:58
commit.sh
Fixed hashing bug in component caching
July 21, 2014 09:49
compiletests.sh
Pre-scope attempt.
November 10, 2013 22:50