Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-07-07 | Shared term manager tested and working | Clark Barrett | |
It is currently tracking all asserted equalities for simplicity. Might want to check if this is a performance hit | |||
2010-07-07 | Updated headers | Clark Barrett | |
2010-07-07 | Added shared term manager. Basic mechanism for identifying shared terms is | Clark Barrett | |
working. Still need to implement theory-specific shared term propagation. |