git.libre-soc.org Git - cvc5.git/history - src/theory/sep/theory

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-09-08	ajreynol	Refactor seplog preprocess. Handle case where sep data...	blob \| commitdiff \| raw \| diff to current
2016-08-25	ajreynol	Minor cleanup preprocessing, add ppNotifyAssertions.	blob \| commitdiff \| raw \| diff to current
2016-07-20	ajreynol	Infrastructure for storing and printing heap models...	blob \| commitdiff \| raw \| diff to current
2016-07-20	ajreynol	Infer conflicts in strings based on abstracting equalit...	blob \| commitdiff \| raw \| diff to current
2016-07-06	ajreynol	Add comment field for model, resolves hack for printing...	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	Cleanup from last commit, treat sep.nil as variable...	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Support for separation logic. Enable cbqi by default...	blob \| commitdiff \| raw \| diff to current