summaryrefslogtreecommitdiff
path: root/src/theory/theory_model.h
AgeCommit message (Expand)Author
2016-02-08Updates related to finite model finding and (co)datatypes. Bug fix enumerator...ajreynol
2016-02-03Added --omit-dont-cares option which doesn't print model values forClark Barrett
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2016-01-15Type enumerators take optional argument indicating fixed cardinalities of uni...ajreynol
2016-01-15Ensure model construction for parametric sorts involving uninterpreted sorts ...ajreynol
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-09-15Fix bug related to quantifiers + incremental, thanks John Backes for the bug ...ajreynol
2015-09-10Models for codatatypes. Fixes bug 662.ajreynol
2015-06-27Refactor various corner cases of fmf, quantifiers modules. Enable cbqi2 by de...ajreynol
2015-06-16Avoid completion for large finite types. Fix bug for --fmf-fun.ajreynol
2015-04-21Changes needed to compile at Google, plus some bug fixes from Google.Clark Barrett
2014-11-01Added cache to getModelValueClark Barrett
2014-07-01Update copyrights.Morgan Deters
2014-04-29Mostly resolves bug #561 memory leaks, and more.Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-27General pre-release cleanup commitMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback