Age | Commit message (Expand) | Author |
---|---|---|
2019-04-17 | More use of isClosure (#2959) | Andrew Reynolds |
2019-04-11 | Eliminate Boolean ITE within terms, fixes 2947 (#2949) | Andrew Reynolds |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-08-16 | Move node algorithms to separate file (#2311) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-04-16 | RemoveTermFormulas: Remove ContainsTermITEVisitor (#1782) | Andres Noetzli |
2018-04-12 | Fixes for free variables in assertions (#1762) | Andrew Reynolds |
2017-11-29 | Improve caching in term formula removal (#1398) | Andrew Reynolds |
2017-11-01 | CBQI BV choice expressions (#1296) | Andrew Reynolds |
2017-10-27 | Implement Hilbert choice operator (#1291) | Andrew Reynolds |
2017-10-11 | Ho Lambda Lifting (#1116) | Andrew Reynolds |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-05-15 | Fix bug 806. Minor fixes to remove term formula pass. | ajreynol |
2017-03-28 | Fix bug 787. | ajreynol |
2017-03-02 | Minor cleanup and reorganization related to last commit. | ajreynol |