git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/sep/Makefile.am

2016-09-12	ajreynol	Ensure sep.nil is unique per type at NodeManager level...	blob \| commitdiff \| raw
2016-09-09	ajreynol	Support for separation logic + EPR. Refactor preprocess...	blob \| commitdiff \| raw \| diff to current
2016-08-09	guykatzz	Merge pull request #89 from 4tXJ7f/fix_proof_spaces	blob \| commitdiff \| raw \| diff to current
2016-08-09	ajreynol	Fixes for sep star rewrite.	blob \| commitdiff \| raw \| diff to current
2016-07-07	ajreynol	Ensure heap disjointness in sep refinements.	blob \| commitdiff \| raw \| diff to current
2016-07-05	ajreynol	Refactor last call for theories, only create one model...	blob \| commitdiff \| raw \| diff to current
2016-06-20	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Support for separation logic. Enable cbqi by default...	blob \| commitdiff \| raw \| diff to current