Age | Commit message (Expand) | Author |
---|---|---|
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-08-09 | minor isConst()-related fixes to printing; also add some debugging stuff to s... | Morgan Deters |
2012-08-03 | fix uses of getMetaKind() from outside the expr package. (they now use isCon... | Morgan Deters |
2012-06-11 | fix issue referred to in bug 352 regarding infinite loop between Substitution... | Morgan Deters |
2012-06-09 | Cleanup and comments for the dag-ifier. Also some unit testing for it. | Morgan Deters |