projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-03-19 Morgan DetersMinor fixes to build system commit | commitdiff | tree
2013-03-15 Morgan DetersBoolean terms rewriting for quantified variables of... commit | commitdiff | tree
2013-03-15 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-03-15 Morgan Detersfix up build system for swig (d242c30 introduced a... commit | commitdiff | tree
2013-03-15 Andrew Reynoldschanged default option for quantifier instantiation commit | commitdiff | tree
2013-03-14 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-03-14 Morgan DetersFix warning (line annotation) commit | commitdiff | tree
2013-03-14 Morgan Detersfix to build system: #include the proper file when... commit | commitdiff | tree
2013-03-14 Clark BarrettAdded a rewrite for iff: commit | commitdiff | tree
2013-03-11 Andrew Reynoldsite removal option for quantifiers --ite-remove-quant... commit | commitdiff | tree
2013-03-09 Morgan DetersDisallow overflow in bitvector literals (parser only) commit | commitdiff | tree
2013-03-06 Clark BarrettBest heuristics for handling decision requests from... commit | commitdiff | tree
2013-03-06 Andrew Reynoldsfixed two bugs for the new E-matching implementation... commit | commitdiff | tree
2013-03-05 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-03-05 Morgan DetersBugfix for SmtEngine: proper unsubscribing for NodeMana... commit | commitdiff | tree
2013-03-01 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-26 Morgan DetersBug fix for rep-set. commit | commitdiff | tree
2013-02-26 Morgan DetersFix for quantifiers containing Boolean terms. commit | commitdiff | tree
2013-02-26 lianahMerge branch '1.0.x' commit | commitdiff | tree
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... commit | commitdiff | tree
2013-02-26 lianahfix for bv crash in incremental mode; this is a tempora... commit | commitdiff | tree
2013-02-24 Andrew Reynoldsadded option --model-u-dt-enum for outputting uninterpr... commit | commitdiff | tree
2013-02-20 Morgan DetersSingle -q quiets messages/warnings. Double -qq silence... commit | commitdiff | tree
2013-02-20 Morgan DetersSome exception specification fixes in SmtEngine/Command... commit | commitdiff | tree
2013-02-18 Morgan DetersFix for gitinfo (resolves bug 399). commit | commitdiff | tree
2013-02-17 Kshitij BansalMerge branch '1.0.x' commit | commitdiff | tree
2013-02-17 Kshitij Bansalgitinfo modifications fix commit | commitdiff | tree
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions commit | commitdiff | tree
2013-02-17 Kshitij Bansaldecision: jh: more refactoring (.h->.cpp, xor/iff) commit | commitdiff | tree
2013-02-17 Kshitij Bansaldecision/ : jh: refactor embedded ITE, other minor commit | commitdiff | tree
2013-02-17 Kshitij Bansaldecision/: justification: refactor ITE out commit | commitdiff | tree
2013-02-17 Kshitij Bansalrefactoring justification_heuristic code commit | commitdiff | tree
2013-02-16 Kshitij Bansalrm decision jh GiveUp related code commit | commitdiff | tree
2013-02-16 Morgan DetersSome cleanup and copyright updating commit | commitdiff | tree
2013-02-16 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-16 Morgan DetersFix version identification for new git repository. commit | commitdiff | tree
2013-02-16 Morgan DetersFix typo in error message commit | commitdiff | tree
2013-02-15 Kshitij BansalMerge branch '1.0.x' commit | commitdiff | tree
2013-02-15 Kshitij Bansalprvs commit: lower warning to notice commit | commitdiff | tree
2013-02-15 Kshitij BansalMerge branch '1.0.x' commit | commitdiff | tree
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental commit | commitdiff | tree
2013-02-15 Kshitij BansalMerge pull request #5 from kbansal/1.0.x commit | commitdiff | tree
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental commit | commitdiff | tree
2013-02-15 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-15 Morgan DetersFix builds/ links to survive configuring twice with... commit | commitdiff | tree
2013-02-15 Morgan DetersFix ECHO command in CVC language parser to not output... commit | commitdiff | tree
2013-02-15 Tim KingMerge branch '1.0.x' commit | commitdiff | tree
2013-02-15 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot... commit | commitdiff | tree
2013-02-14 Dejan JovanovićMerge pull request #4 from tiliang/master commit | commitdiff | tree
2013-02-14 Tim KingRemoving BVDebug and replacing with Debug. commit | commitdiff | tree
2013-02-14 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot... commit | commitdiff | tree
2013-02-13 Morgan DetersFix a preprocessing performance issue. commit | commitdiff | tree
2013-02-08 Morgan DetersFix user-values in SMT-LIB v1.2 commit | commitdiff | tree
2013-02-08 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-07 Morgan DetersOnly put quantifier assertions in model equality engine... commit | commitdiff | tree
2013-02-07 Morgan DetersSignificant work on bug #491 (not yet closed). commit | commitdiff | tree
2013-02-07 Morgan DetersMore complete fix for bug 484 (includes fixes for recor... commit | commitdiff | tree
2013-02-07 Morgan DetersFix error in tuple type-checking. commit | commitdiff | tree
2013-02-07 Morgan DetersMake --default-dag-thresh apply to stringstreams commit | commitdiff | tree
2013-02-07 Morgan DetersDo not install the "private-library" header commit | commitdiff | tree
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio... commit | commitdiff | tree
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio... commit | commitdiff | tree
2013-02-05 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-05 Morgan DetersFix a compiler warning in NodeBuilder commit | commitdiff | tree
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' commit | commitdiff | tree
2013-02-05 Kshitij BansalMerge pull request #3 from kbansal/1.0.x commit | commitdiff | tree
2013-02-05 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-05 Morgan Detersremove now-unnecessary wrappers from Type interface commit | commitdiff | tree
2013-02-05 Morgan DetersFix to miplib trick to make it less "cautious" and... commit | commitdiff | tree
2013-02-05 Kshitij Bansaldecision/ : save d_prvsIndex in JH commit | commitdiff | tree
2013-02-05 Morgan Detersdos2unix conversion for a number of files; this avoids... commit | commitdiff | tree
2013-02-05 Andrew ReynoldsMore improvements for E-matching commit | commitdiff | tree
2013-02-04 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-04 Morgan DetersFix NodeBuilder bug which could attempt to allocate... commit | commitdiff | tree
2013-02-04 Morgan Detersdriver::totalTime statistic is now reported correctly... commit | commitdiff | tree
2013-02-04 Morgan Detersfixed files with DOS newlines; fixed contrib/ scripts... commit | commitdiff | tree
2013-02-04 Morgan DetersSome fixes for the miplib preprocessing pass. commit | commitdiff | tree
2013-02-04 Morgan DetersPrinting commands as they're executed now requires... commit | commitdiff | tree
2013-02-04 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-04 Morgan DetersModel no longer adds subterms of quantifiers to equalit... commit | commitdiff | tree
2013-02-04 Andrew ReynoldsModel no longer adds subterms of quantifiers to equalit... commit | commitdiff | tree
2013-02-03 Morgan DetersSome cleanup of miplib regressions and options commit | commitdiff | tree
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902... commit | commitdiff | tree
2013-02-03 Morgan Detersnew option for doing top-level miplib substitutions... commit | commitdiff | tree
2013-02-03 Morgan Detersextended miplib trick to 6 vars, should work on pp... commit | commitdiff | tree
2013-02-03 Morgan Detersnew miplib pass, works for 1 or 2 vars commit | commitdiff | tree
2013-02-03 Morgan DetersRemove old miplibtrick from arith static learner commit | commitdiff | tree
2013-02-03 Morgan Deterscorrect output language bug with --dump-to commit | commitdiff | tree
2013-02-01 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-genera... commit | commitdiff | tree
2013-01-31 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces... commit | commitdiff | tree
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces... commit | commitdiff | tree
2013-01-31 Tim KingAdding a heuristic to more eagerly split bounded intege... commit | commitdiff | tree
2013-01-30 Morgan Deterscorrect output language bug with --dump-to commit | commitdiff | tree
2013-01-29 Andrew Reynoldscurrently disabling bug486 regression. we need to... commit | commitdiff | tree
2013-01-29 Andrew Reynoldsfix for finite model finding caused by new collectModel... commit | commitdiff | tree
2013-01-28 Morgan DetersUpdated NEWS for recent changes. commit | commitdiff | tree
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489) commit | commitdiff | tree
2013-01-28 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
next