projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) commit | commitdiff | tree
2013-01-19 Morgan DetersFix an options-processing bug on some platforms (e... commit | commitdiff | tree
2012-12-22 Dejan Jovanovićadding copy constructor for the datatype enumerator commit | commitdiff | tree
2012-12-18 Morgan DetersFix bug 483: readline checks must come after Boost... commit | commitdiff | tree
2012-12-16 Morgan DetersFix printing of EXISTS in CVC language printer commit | commitdiff | tree
2012-12-15 Tim KingAdding unit test for different versions of division. commit | commitdiff | tree
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into... commit | commitdiff | tree
2012-12-15 Tim KingChanging the rewriter to use Boute's Euclidean definiti... commit | commitdiff | tree
2012-12-12 Dejan JovanovićMerge pull request #1 from lianah/1.0.x commit | commitdiff | tree
2012-12-12 lianah* fixed bug 481 by adding check for division by 0 in... commit | commitdiff | tree
2012-12-11 Morgan DetersSMT-LIB compliance fix to get-assignment; resolves... commit | commitdiff | tree
2012-12-11 Morgan DetersIgnore unknown term annotations (giving a warning)... commit | commitdiff | tree
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix... commit | commitdiff | tree
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error... commit | commitdiff | tree
2012-12-07 Morgan DetersFix to portfolio builds commit | commitdiff | tree
2012-12-07 Kshitij BansalFix performance issue in a DFS search (bug 474) commit | commitdiff | tree
2012-12-06 Morgan Deters* some build fixes; thanks; thanks to Kunal Ganeshpure... commit | commitdiff | tree
2012-12-06 Morgan Detersdistribute the find_public_interface.sh script commit | commitdiff | tree
2012-12-06 Morgan Detersversion numbering commit | commitdiff | tree
2012-12-06 Clark BarrettFix for fuzzer-found model bug commit | commitdiff | tree
2012-12-01 Morgan DetersCutting release 1.0. commit | commitdiff | tree
2012-12-01 Morgan Detersfix cut-release sanity checks commit | commitdiff | tree
2012-12-01 Morgan Detersfix to TNode assertion (which is too strict, given... commit | commitdiff | tree
2012-12-01 Clark BarrettThrow a logic exception if user makes an assertion... commit | commitdiff | tree
2012-12-01 Morgan Detersremove instantiator framework commit | commitdiff | tree
2012-12-01 Morgan DetersFix the way abstract values are typed; fixes some compl... commit | commitdiff | tree
2012-12-01 Morgan Detersfix memory corruption issue in debug builds that led... commit | commitdiff | tree
2012-12-01 Morgan Detersremove an obsolete (and incorrect) assertion in boolean... commit | commitdiff | tree
2012-12-01 Morgan Detersfix java system test dependences commit | commitdiff | tree
2012-12-01 Andrew Reynoldsdrastic simplification of quantifiers code regarding... commit | commitdiff | tree
2012-12-01 Tim KingFix for a CLN related bug on 32 bit systems. Integer... commit | commitdiff | tree
2012-12-01 Morgan DetersSome fixes for boolean arrays commit | commitdiff | tree
2012-12-01 Morgan Detersfix #line annotation warning commit | commitdiff | tree
2012-12-01 Morgan Detersupdated examples commit | commitdiff | tree
2012-12-01 Liana Hadareanadded a new example for the combination of bit-vectors... commit | commitdiff | tree
2012-12-01 Morgan Detersanother part of last commit commit | commitdiff | tree
2012-12-01 Morgan Detersdefinition-expansion fixed for get-model, resolves... commit | commitdiff | tree
2012-12-01 Tim KingPolishing API examples. commit | commitdiff | tree
2012-12-01 Tim KingAdding SmtEngine::setLogic(const char* logic) so that... commit | commitdiff | tree
2012-11-30 Tim KingFixes for stricter compilers Andy brought to my attention. commit | commitdiff | tree
2012-11-30 Tim KingChanging the documentation of ARR_TABLE_FUN to say... commit | commitdiff | tree
2012-11-30 Morgan Detersall API examples now have java versions too; bitvectors... commit | commitdiff | tree
2012-11-30 Morgan Detersincorporating some comments from Clark commit | commitdiff | tree
2012-11-30 Clark BarrettFix assertion in smt_engine's getValue commit | commitdiff | tree
2012-11-30 Tim KingUpdating the combination.cpp example. commit | commitdiff | tree
2012-11-30 Tim KingCommitting tests to potentially discover an obscure... commit | commitdiff | tree
2012-11-30 Morgan Detersrenaming --smtlib to --smtlib-strict; removing --smtlib... commit | commitdiff | tree
2012-11-30 Morgan Detersinternal variables (skolems) aren't printed as part... commit | commitdiff | tree
2012-11-30 Morgan Deterschange detection/handling of output language more reaso... commit | commitdiff | tree
2012-11-30 Andrew Reynoldsquantifiers now uses master equality engine, preparatio... commit | commitdiff | tree
2012-11-30 Andrew Reynoldsparametric datatypes fix related to non-ascribed type... commit | commitdiff | tree
2012-11-30 Liana Hadareanadded a simple API example example showing how to use... commit | commitdiff | tree
2012-11-30 Tim KingChanges to SExpr to accept autoconversion from bool... commit | commitdiff | tree
2012-11-30 Tim KingAdding smtname level options for tlimit, rlimit, etc... commit | commitdiff | tree
2012-11-30 Morgan DetersPartial fix for bug 435; still needs some effort. commit | commitdiff | tree
2012-11-30 Morgan DetersAdd some regressions for bug 438. commit | commitdiff | tree
2012-11-30 Morgan Detersfix rewrite-rules syntax in regression commit | commitdiff | tree
2012-11-30 Morgan Detersminor fix to release script commit | commitdiff | tree
2012-11-30 François Bobotfix the syntax of assert-rewrite/-propagation/-reductio... commit | commitdiff | tree
2012-11-29 Kshitij Bansalreliable benchmark corresponding to bug468 commit | commitdiff | tree
2012-11-29 Andrew Reynoldsrequire type ascriptions for parametric datatype constr... commit | commitdiff | tree
2012-11-29 Morgan DetersFix for hidden symbols in library on Mac. It's a stran... commit | commitdiff | tree
2012-11-29 Andrew Reynoldsfixes bug 438, incorporate subtypes into type unificati... commit | commitdiff | tree
2012-11-29 Morgan Detersfix for andy: boolean terms stuff really shouldn't... commit | commitdiff | tree
2012-11-29 Morgan Detersminor documentation fix commit | commitdiff | tree
2012-11-29 Morgan Deterssvn:ignore property commit | commitdiff | tree
2012-11-29 Clark BarrettFix for nasty corner case found by fuzzer... commit | commitdiff | tree
2012-11-29 Kshitij BansalHack to support global variables for CVC language exten... commit | commitdiff | tree
2012-11-29 Clark BarrettFixing function models with Boolean terms. Also, LAMBD... commit | commitdiff | tree
2012-11-28 Tim KingAdding the helloworld.cpp example. commit | commitdiff | tree
2012-11-28 Kshitij Bansalfix a potential race (have failed to reproduce) commit | commitdiff | tree
2012-11-28 Clark BarrettFix for getValue. Now it can handle lambda applications commit | commitdiff | tree
2012-11-28 Morgan DetersAttempted "quick-fix" for QF_UF performance regression... commit | commitdiff | tree
2012-11-28 Kshitij Bansaltreat all get commands like getValue (send only to... commit | commitdiff | tree
2012-11-28 Kshitij Bansalminor commit | commitdiff | tree
2012-11-28 Morgan Detersupdate to release notes commit | commitdiff | tree
2012-11-28 Morgan DetersBug fix: commit | commitdiff | tree
2012-11-28 Morgan Detersfix: correct misleading comment in dump output commit | commitdiff | tree
2012-11-27 Morgan DetersFunctions and predicates over Boolean now work with... commit | commitdiff | tree
2012-11-27 Kshitij Bansalfix in CommandSequence invoke : maintain success/failur... commit | commitdiff | tree
2012-11-27 Morgan Detersmore mac fixes commit | commitdiff | tree
2012-11-27 Morgan Detersfix for some Mac builds commit | commitdiff | tree
2012-11-27 Kshitij BansalSimplify --help=decision with only currently supported... commit | commitdiff | tree
2012-11-27 Morgan Detersgive warning at configure-time about unsupported langua... commit | commitdiff | tree
2012-11-27 Morgan Detersdo not turn on BV for QF_SAT commit | commitdiff | tree
2012-11-27 Morgan DetersFirst chunk of boolean-terms support. commit | commitdiff | tree
2012-11-27 Morgan DetersTuples and records merge. Resolves bug 270. commit | commitdiff | tree
2012-11-27 Tim KingAdding an example to show how to use arithmetic. commit | commitdiff | tree
2012-11-26 Tim KingImproved implementation of Integer::length() with CLN... commit | commitdiff | tree
2012-11-26 Morgan Detersinclude new regression directories in summary test... commit | commitdiff | tree
2012-11-26 Morgan Detersrolling back r4625 for now (closes bug 464), Andy we... commit | commitdiff | tree
2012-11-26 Dejan Jovanovićfixup for incremental solving commit | commitdiff | tree
2012-11-26 Tim KingRemoving DioSolver::acceptableOriginalNodes(). This... commit | commitdiff | tree
2012-11-26 Dejan JovanovićAdding support for a master equality engine. Each theor... commit | commitdiff | tree
2012-11-26 Tim KingImproving arithmetic debugging output. commit | commitdiff | tree
2012-11-26 Tim KingDisabling test/regress/regress0/push-pop/bug396.smt2... commit | commitdiff | tree
2012-11-26 Morgan Detersdon't include internal variables in model output commit | commitdiff | tree
2012-11-26 Morgan Deterssome fixes to language bindings and function visibility commit | commitdiff | tree
2012-11-26 Morgan DetersMakefile fix for new versions of Make (thanks Clark... commit | commitdiff | tree
2012-11-25 Tim KingAdding a regression test from bug 462. commit | commitdiff | tree
next