Age | Commit message (Expand) | Author |
---|---|---|
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-10-24 | efficient e-matching now specific to rewrite rules | Andrew Reynolds |
2012-07-31 | Moving some instantiation-related stuff from src/theory to src/theory/quantif... | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |