cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2016-07-20	Infrastructure for storing and printing heap models for separation logic. Ens...	ajreynol
2016-07-20	Infer conflicts in strings based on abstracting equality as contains. Minor c...	ajreynol
2016-07-07	Ensure heap disjointness in sep refinements.	ajreynol
2016-07-07	Refactoring of strings preprocess module. When enabled, apply eager preproces...	ajreynol
2016-07-06	Add comment field for model, resolves hack for printing sep logic models.	ajreynol
2016-07-05	Refactor last call for theories, only create one model when quantifiers are e...	ajreynol
2016-06-20	Minor change to sep/kinds	ajreynol
2016-06-17	Cleanup from last commit, treat sep.nil as variable kind.	ajreynol
2016-06-17	Support for separation logic. Enable cbqi by default for pure BV.	ajreynol