summaryrefslogtreecommitdiff
path: root/src/util/model.h
AgeCommit message (Expand)Author
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-07-01Update copyrights.Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-27General pre-release cleanup commitMorgan Deters
2012-10-04Implemented array type enumerator, more fixes for modelsClark Barrett
2012-09-19General subscriber infrastructure for NodeManager, as discussed in theMorgan Deters
2012-09-12Adding model assertions after SAT responses.Morgan Deters
2012-09-11added getCardinality to modelAndrew Reynolds
2012-09-10modified getValue to return Expr instead of NodeAndrew Reynolds
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-07-27Minor cleanup after today's commits:Morgan Deters
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2010-10-22removing unused functionality from util; related to bug #222Morgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17from meetingMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback