Age | Commit message (Expand) | Author |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Fixes for two bugs: | Morgan Deters |
2013-04-01 | Fix bug 491 and related issues with checkModel() and quantifiers. Enabling p... | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-02-04 | Model no longer adds subterms of quantifiers to equality engine, this fixed b... | Andrew Reynolds |
2013-01-25 | fix --check-model --finite-model-find when used together (related to bug 486) | Morgan Deters |
2013-01-23 | partially address bug 486: allow some model inspection of quantifiers | Morgan Deters |
2012-12-03 | Fix for fuzzer-found model bug | Clark Barrett |
2012-11-29 | Fixing function models with Boolean terms. Also, LAMBDA's should not be const. | Clark Barrett |
2012-11-28 | Fix for getValue. Now it can handle lambda applications | Clark Barrett |
2012-11-27 | Functions and predicates over Boolean now work with --check-models and output... | Morgan Deters |
2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
2012-11-21 | Added debugging output to --check-models. I've found this output quite useful... | Tim King |
2012-11-16 | fix a compiler warning in models | Morgan Deters |
2012-11-15 | More fixes to model generation, with previously failing testcases | Clark Barrett |
2012-11-14 | Fix for bug 407. mkAnonymousFunction() in the parser no longer uses ':'. CVC ... | Tim King |
2012-11-14 | bug fixes to models, array rewriter with previously failing testcases | Clark Barrett |
2012-11-13 | More bugfixes for models | Clark Barrett |
2012-11-13 | Relaxing too-strict assertion | Clark Barrett |
2012-11-10 | Fixed missing \ in uflra/Makefile.ma | Clark Barrett |
2012-11-09 | TheoryEngineModelBuilder::buildModel() is only called once with fullModel=tru... | Morgan Deters |
2012-11-09 | Fix for another model assertion failure | Clark Barrett |
2012-11-08 | Fixed two small bugs in model generation | Clark Barrett |
2012-10-29 | Disable some array optimizations when models are on | Clark Barrett |
2012-10-26 | Fixed a failing datatype regression with check-models | Clark Barrett |
2012-10-26 | More bug fixes and more checks for models | Clark Barrett |
2012-10-23 | More debugging info, small changes to model builder | Clark Barrett |
2012-10-23 | more updates to inst gen: fixed partial instantiations, recognize duplicate d... | Andrew Reynolds |
2012-10-12 | Added assertions and tracing code for collectModelInfo phase | Clark Barrett |
2012-10-12 | Latest changes to model code | Clark Barrett |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-09 | fixed datatypes rewriter to detect clashes between non-datatype subfields. c... | Andrew Reynolds |
2012-10-09 | More fixes to model code | Clark Barrett |
2012-10-09 | * Add assertion in TheoryModel code to ensure we don't get inconsistent | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-08 | Fixed problem in assertEqualityEngine: predicates that are not false are no | Clark Barrett |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-10-04 | Implemented array type enumerator, more fixes for models | Clark Barrett |
2012-10-03 | minor fix for mbqi in finite model finding | Andrew Reynolds |
2012-10-03 | New model code, mostly workin | Clark Barrett |
2012-09-26 | updates to model generation : do not modify equality engine during getValue, ... | Andrew Reynolds |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-09-17 | minor fix for models, added simple cliques option for uf strong solver | Andrew Reynolds |
2012-09-16 | store values returned by get-value in TheoryModel::d_reps if necessary, fixes... | Andrew Reynolds |
2012-09-13 | ensure that get-value and get-model are consistent, rewrite function value bo... | Andrew Reynolds |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-09-11 | added getCardinality to model | Andrew Reynolds |
2012-09-11 | Partially reverting the changes made in 4308. There is now both an Expr and N... | Tim King |