Age | Commit message (Expand) | Author |
---|---|---|
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-15 | minor interface improvements, compliance fixes | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |