Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-05-23 | fixes for "make dist" and "make doc", minor cleanups | Morgan Deters | |
2011-05-02 | minor updates to exp manager, fixed 32bit vs 64bit issues in transitive ↵ | Andrew Reynolds | |
closure module, theory datatypes now uses transitive closure for cycle detection, bug 261 fixed | |||
2011-04-28 | more fixes/improvements to datatypes theory and transitive closure | Andrew Reynolds | |
2011-04-27 | cleaned up some of the hacks in the datatypes theory solver, working on ↵ | Andrew Reynolds | |
using Transitive Closure to detect cycles, added rewrite rule for disinguished ground terms | |||
2011-04-11 | Transitive closure module is working | Clark Barrett | |
2011-04-08 | Added util class | Clark Barrett | |