cvc5.git
2013-03-21 lianahadded more tests
2013-03-21 lianahgeneralized bv inequality reasoning to handle both...
2013-03-20 Liana Hadareanone more ineq regression
2013-03-20 Liana Hadareanfixed reversed concat in core theory
2013-03-20 Liana Hadareanmerged dejan's stuff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality...
2013-03-20 Liana Hadareaninequality reasoning works on small examples added...
2013-03-20 Dejan JovanovićAdding evaluation of constant terms to the equality...
2013-03-19 Morgan DetersMinor cleanup of sources
2013-03-19 Morgan DetersFixes for miplib-trick application (and a new testcase)
2013-03-19 Morgan DetersRemove PropositionalQuery class and all CUDD-related...
2013-03-19 Morgan DetersMinor fixes to build system
2013-03-19 Liana Hadareanadded the cpp file for the inequality graph
2013-03-19 Liana Hadareanimplementing more inequality graph stuff; work in progr...
2013-03-18 lianahmore work on inequality reasoning for bv
2013-03-16 lianahstarted work on the inequality bv subtheory
2013-03-15 Morgan DetersBoolean terms rewriting for quantified variables of...
2013-03-15 Morgan DetersMerge branch '1.0.x'
2013-03-15 Morgan Detersfix up build system for swig (d242c30 introduced a...
2013-03-15 Andrew Reynoldschanged default option for quantifier instantiation
2013-03-14 Morgan DetersMerge branch '1.0.x'
2013-03-14 Morgan DetersFix warning (line annotation)
2013-03-14 Morgan Detersfix to build system: #include the proper file when...
2013-03-14 Clark BarrettAdded a rewrite for iff:
2013-03-13 lianahpost failed attempts at getting the incremental solver...
2013-03-11 Andrew Reynoldsite removal option for quantifiers --ite-remove-quant...
2013-03-09 Morgan DetersDisallow overflow in bitvector literals (parser only)
2013-03-06 lianahmore slicer changes for incremental
2013-03-06 Clark BarrettBest heuristics for handling decision requests from...
2013-03-06 Andrew Reynoldsfixed two bugs for the new E-matching implementation...
2013-03-05 Morgan DetersMerge branch '1.0.x'
2013-03-05 Morgan DetersBugfix for SmtEngine: proper unsubscribing for NodeMana...
2013-03-01 Morgan DetersMerge branch '1.0.x'
2013-02-26 Morgan DetersBug fix for rep-set.
2013-02-26 Morgan DetersFix for quantifiers containing Boolean terms.
2013-02-26 lianahMerge branch '1.0.x'
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4...
2013-02-26 lianahfix for bv crash in incremental mode; this is a tempora...
2013-02-24 Andrew Reynoldsadded option --model-u-dt-enum for outputting uninterpr...
2013-02-20 Morgan DetersSingle -q quiets messages/warnings. Double -qq silence...
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-14 lianahstarted working on incremental slicer - not compiling
2013-02-13 Morgan DetersFix a preprocessing performance issue.
2013-02-11 lianahundid the caching that actually hurt performance
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-05 Liana HadareanAdded path compression and caching for getBaseDecomposi...
2013-02-05 lianahFixing regression failure. The only unfixed ones seem...
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'
next