summaryrefslogtreecommitdiff
path: root/src/smt/model_postprocessor.cpp
AgeCommit message (Expand)Author
2014-11-07Fix missing case in Boolean terms rewriting. (Resolves bug #596.)Morgan Deters
2014-11-07Corrected fix for missing case in model postprocessor (resolves bug #595).Morgan Deters
2014-11-07Revert "Fix missing case in model postprocessor (resolves bug #595)."Morgan Deters
2014-11-07Fix missing case in model postprocessor (resolves bug #595).Morgan Deters
2014-10-06Fix a bug in tuple-record handling. Thanks to Saumya Debray for the report.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-12-05Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now wor...Morgan Deters
2013-11-10Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-10-09More improvements to datatypes, eager selector collapsing, improved collect m...Andrew Reynolds
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-04-01Fixes for two bugs:Morgan Deters
2013-03-22Support for Boolean term conversion in datatypes.Morgan Deters
2012-12-01Some fixes for boolean arraysMorgan Deters
2012-11-27Functions and predicates over Boolean now work with --check-models and output...Morgan Deters
2012-11-27Tuples and records merge. Resolves bug 270.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback