summaryrefslogtreecommitdiff
path: root/src/smt/options
AgeCommit message (Expand)Author
2013-02-24added option --model-u-dt-enum for outputting uninterpreted sorts as datatype...Andrew Reynolds
2012-11-30Adding smtname level options for tlimit, rlimit, etc. Fix to the internal doc...Tim King
2012-11-12minor bug fixes for quantifiers, added sort inference module (not ready to be...Andrew Reynolds
2012-10-10Abstract values for SMT-LIB.Morgan Deters
2012-10-08* Models' SubstitutionMaps are now attached to the user contextMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-09-28some fixes to build systemMorgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-15minor interface improvements, compliance fixesMorgan Deters
2012-09-14Fix a few minor issues in options processing, improving usability, consistenc...Morgan Deters
2012-09-12Adding model assertions after SAT responses.Morgan Deters
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback