Age | Commit message (Expand) | Author |
---|---|---|
2016-05-05 | Compute term indices lazily in TermDb. Optimization for qcf to recognize irre... | ajreynol |
2016-04-28 | More work on inst propagate. Optimization for qcf to check instances eagerly... | ajreynol |
2016-04-12 | Optimizations for QCF to check relevant domain of variable argument positions... | ajreynol |
2016-04-11 | Minor fixes for inst match generators. Updates to qip.google | ajreynol |
2016-04-10 | More work on instantiation propagation. Enable external filtering of instanti... | ajreynol |
2016-04-09 | Minor refactoring of entailment tests and quantifiers util. Initial draft of ... | ajreynol |