cvc5.git
2013-02-20 Morgan DetersSome exception specification fixes in SmtEngine/Command...
2013-02-18 Morgan DetersFix for gitinfo (resolves bug 399).
2013-02-17 Kshitij BansalMerge branch '1.0.x'
2013-02-17 Kshitij Bansalgitinfo modifications fix
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions
2013-02-17 Kshitij Bansaldecision: jh: more refactoring (.h->.cpp, xor/iff)
2013-02-17 Kshitij Bansaldecision/ : jh: refactor embedded ITE, other minor
2013-02-17 Kshitij Bansaldecision/: justification: refactor ITE out
2013-02-17 Kshitij Bansalrefactoring justification_heuristic code
2013-02-16 Kshitij Bansalrm decision jh GiveUp related code
2013-02-16 Morgan DetersSome cleanup and copyright updating
2013-02-16 Morgan DetersMerge branch '1.0.x'
2013-02-16 Morgan DetersFix version identification for new git repository.
2013-02-16 Morgan DetersFix typo in error message
2013-02-15 Kshitij BansalMerge branch '1.0.x'
2013-02-15 Kshitij Bansalprvs commit: lower warning to notice
2013-02-15 Kshitij BansalMerge branch '1.0.x'
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental
2013-02-15 Kshitij BansalMerge pull request #5 from kbansal/1.0.x
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental
2013-02-15 Morgan DetersMerge branch '1.0.x'
2013-02-15 Morgan DetersFix builds/ links to survive configuring twice with...
2013-02-15 Morgan DetersFix ECHO command in CVC language parser to not output...
2013-02-15 Tim KingMerge branch '1.0.x'
2013-02-15 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot...
2013-02-14 Dejan JovanovićMerge pull request #4 from tiliang/master
2013-02-14 Tim KingRemoving BVDebug and replacing with Debug.
2013-02-14 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot...
2013-02-13 Morgan DetersFix a preprocessing performance issue.
2013-02-08 Morgan DetersFix user-values in SMT-LIB v1.2
2013-02-08 Morgan DetersMerge branch '1.0.x'
2013-02-07 Morgan DetersOnly put quantifier assertions in model equality engine...
2013-02-07 Morgan DetersSignificant work on bug #491 (not yet closed).
2013-02-07 Morgan DetersMore complete fix for bug 484 (includes fixes for recor...
2013-02-07 Morgan DetersFix error in tuple type-checking.
2013-02-07 Morgan DetersMake --default-dag-thresh apply to stringstreams
2013-02-07 Morgan DetersDo not install the "private-library" header
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio...
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio...
2013-02-05 Morgan DetersMerge branch '1.0.x'
2013-02-05 Morgan DetersFix a compiler warning in NodeBuilder
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x'
2013-02-05 Kshitij BansalMerge pull request #3 from kbansal/1.0.x
2013-02-05 Morgan DetersMerge branch '1.0.x'
2013-02-05 Morgan Detersremove now-unnecessary wrappers from Type interface
2013-02-05 Morgan DetersFix to miplib trick to make it less "cautious" and...
2013-02-05 Kshitij Bansaldecision/ : save d_prvsIndex in JH
2013-02-05 Morgan Detersdos2unix conversion for a number of files; this avoids...
2013-02-05 Andrew ReynoldsMore improvements for E-matching
2013-02-04 Morgan DetersMerge branch '1.0.x'
2013-02-04 Morgan DetersFix NodeBuilder bug which could attempt to allocate...
2013-02-04 Morgan Detersdriver::totalTime statistic is now reported correctly...
2013-02-04 Morgan Detersfixed files with DOS newlines; fixed contrib/ scripts...
2013-02-04 Morgan DetersSome fixes for the miplib preprocessing pass.
2013-02-04 Morgan DetersPrinting commands as they're executed now requires...
2013-02-04 Morgan DetersMerge branch '1.0.x'
2013-02-04 Morgan DetersModel no longer adds subterms of quantifiers to equalit...
2013-02-04 Andrew ReynoldsModel no longer adds subterms of quantifiers to equalit...
2013-02-03 Morgan DetersSome cleanup of miplib regressions and options
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902...
2013-02-03 Morgan Detersnew option for doing top-level miplib substitutions...
2013-02-03 Morgan Detersextended miplib trick to 6 vars, should work on pp...
2013-02-03 Morgan Detersnew miplib pass, works for 1 or 2 vars
2013-02-03 Morgan DetersRemove old miplibtrick from arith static learner
2013-02-03 Morgan Deterscorrect output language bug with --dump-to
2013-02-01 Morgan DetersMerge branch '1.0.x'
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-genera...
2013-01-31 Morgan DetersMerge branch '1.0.x'
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces...
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces...
2013-01-31 Tim KingAdding a heuristic to more eagerly split bounded intege...
2013-01-30 Morgan Deterscorrect output language bug with --dump-to
2013-01-29 Andrew Reynoldscurrently disabling bug486 regression. we need to...
2013-01-29 Andrew Reynoldsfix for finite model finding caused by new collectModel...
2013-01-28 Morgan DetersUpdated NEWS for recent changes.
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489)
2013-01-28 Morgan DetersMerge branch '1.0.x'
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it
2013-01-28 Andrew Reynoldsmade QuantifiersEngine::d_inst_match_trie and Quantifie...
2013-01-28 Morgan Deterssome fixes for win32, including ability to "make check...
2013-01-28 Andrew Reynoldsmade QuantifiersEngine::d_inst_match_trie and Quantifie...
2013-01-27 Andrew Reynoldssome fixes for Intel benchmarks regarding quantifiers...
2013-01-27 Andrew Reynoldssome fixes for Intel benchmarks regarding quantifiers...
2013-01-27 Morgan DetersMerge branch '1.0.x'
2013-01-27 Morgan Detersanother fix for quantifier models (related to bug 486)
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used togethe...
2013-01-25 Morgan DetersFix errors and reduce warnings on clang (merge from...
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used togethe...
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some...
2013-01-23 Tim KingAdding miplibtrick option.
2013-01-23 Tim KingAdding substitution size cap.
2013-01-23 Morgan DetersMerge branch '1.0.x'
2013-01-23 Morgan Detersfix to workaround ANTLR 3.2 issue with initialization
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
2013-01-23 Morgan Detersupdate NEWS file
2013-01-23 Morgan Detersadd user patterns to the Smt1 parser; update NEWS file
2013-01-22 Morgan DetersMerge branch '1.0.x'
2013-01-22 Morgan Detersfix for theory preprocessing cache on clang, perhaps...
next