projects / cvc5.git / history
| 2019-08-01 | Andrew Reynolds | Move some generic utilities out of quantifiers (#3139) | blob | commitdiff | raw |
| 2019-04-24 | Mathias Preiner | Do not use __ prefix for header guards. (#2974) | blob | commitdiff | raw | diff to current |
| 2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
| 2018-09-18 | Andrew Reynolds | Improvements and fixes for symmetry detection and break... | blob | commitdiff | raw | diff to current |
| 2018-07-23 | Andrew Reynolds | Generalize symmetry detection for 1 symmetry variable... | blob | commitdiff | raw | diff to current |
| 2018-06-25 | Aina Niemetz | Updated copyright headers. | blob | commitdiff | raw | diff to current |
| 2018-04-20 | PaulMeng | Symmetry detection module (#1749) | blob | commitdiff | raw | diff to current |