summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/quant_split.cpp
AgeCommit message (Expand)Author
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-30Fixes for quantifiers + incremental (#2009)Andrew Reynolds
2017-11-14Make QEffort an enum (#1366)Andrew Reynolds
2017-07-07Update copyright headers.Mathias Preiner
2017-02-16Minor fixes for relations, quantifiers dsplit.ajreynol
2016-12-07Refactoring, generalization of bounded inference module. Simplification of re...ajreynol
2016-12-02Bug fixes and refactoring of parametric datatypes, add some regressions.ajreynol
2016-12-01Fix quantifiers dynamic splitting module for incremental mode, fixes bug 765 ...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-15Refactor setIncomplete in quantifiers.ajreynol
2016-09-13Minor changes to sep logic, epr, quantifier splitting.ajreynol
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-05-23Fix related to parametric sorts whose interpretation is finite due to uninter...ajreynol
2016-04-20update from the masterPaulMeng
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-01Shorter explanations for strings based on tracking which parts of normal form...ajreynol
2016-02-19Fixes and improvements for datatypes properties and splitting.ajreynol
2016-02-18Implement dynamic splitting for quantified formulas. Minor refactoring of re...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback