projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding model assertions after SAT responses.
[cvc5.git] / src / util / model.h
2012-09-12 Morgan DetersAdding model assertions after SAT responses. blob | commitdiff | raw
2012-09-11 Andrew Reynoldsadded getCardinality to model blob | commitdiff | raw | diff to current
2012-09-10 Andrew Reynoldsmodified getValue to return Expr instead of Node blob | commitdiff | raw | diff to current
2012-08-31 Andrew Reynoldsmerge from fmf-devel branch. more updates to models... blob | commitdiff | raw | diff to current
2012-07-27 Morgan DetersMinor cleanup after today's commits: blob | commitdiff | raw | diff to current
2012-07-12 Andrew Reynoldsmerged fmf-devel branch, includes support for SMT2... blob | commitdiff | raw | diff to current
2010-10-22 Morgan Detersremoving unused functionality from util; related to... blob | commitdiff | raw
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-02-26 Morgan Deters* test/unit/context/context_black.h: Test CDList<>... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... blob | commitdiff | raw | diff to current
2009-11-19 Morgan Deterstesting framework, configure fixes, incorporations... blob | commitdiff | raw | diff to current
2009-11-17 Morgan Detersfrom meeting blob | commitdiff | raw | diff to current