projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2015-01-07 Tianyi Liangadded initial AX rules; commit | commitdiff | tree
2014-12-28 ajreynolDisable prenex by default when using fmf bound int... commit | commitdiff | tree
2014-12-27 Dejan JovanovicAdding an option to the equality engine constructor... commit | commitdiff | tree
2014-12-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-12-22 Tianyi Liangbug fix for constant regular expression model building commit | commitdiff | tree
2014-12-22 Tianyi Liangbug fix for constant regular expression model building commit | commitdiff | tree
2014-12-22 ajreynolDo not collapse wrongly applied selectors for non-well... commit | commitdiff | tree
2014-12-21 ajreynolAdd misc trigger options. commit | commitdiff | tree
2014-12-16 Morgan DetersFix oversight in dumping assertions in preprocessing. commit | commitdiff | tree
2014-12-12 ajreynolAdd cvc parsing support for cardinality constraints... commit | commitdiff | tree
2014-12-11 Morgan DetersMinor fixes to language bindings. (Resolves #607.) commit | commitdiff | tree
2014-12-11 ajreynolOption to enable/disable cyclicity check in datatypes. commit | commitdiff | tree
2014-12-11 Tianyi Liangbug fix, thanks to Guy's example. commit | commitdiff | tree
2014-12-09 Morgan DetersBetter error description (related to bug 605). commit | commitdiff | tree
2014-12-09 Morgan DetersCleanup. commit | commitdiff | tree
2014-12-06 Tianyi LiangAdded string constant in java api example. commit | commitdiff | tree
2014-12-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-12-06 Tianyi LiangAdded C++/Java api examples; commit | commitdiff | tree
2014-12-06 Tianyi LiangAdded C++/Java api examples; commit | commitdiff | tree
2014-12-06 ajreynolFix dt.size care graph. commit | commitdiff | tree
2014-12-05 Tianyi LiangRelaxed the constant requirement for regular expression... commit | commitdiff | tree
2014-12-04 Tianyi Liangclean up and improve intersection commit | commitdiff | tree
2014-12-04 Morgan DetersFix valgrind-flagged error about uninitialized value. commit | commitdiff | tree
2014-12-04 Morgan DetersFix segfault in lambdas when constructed via API. commit | commitdiff | tree
2014-12-04 Morgan DetersFix UnsatCore in language bindings. commit | commitdiff | tree
2014-12-04 Martin BrainFloating point infrastructure. commit | commitdiff | tree
2014-12-03 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2014-12-03 Kshitij BansalRevert "Disable constants sharing in eq engine, disable... commit | commitdiff | tree
2014-12-03 Tianyi Liangdisable inter cache commit | commitdiff | tree
2014-11-28 ajreynolSynchronize conjecture generation with E-matching.... commit | commitdiff | tree
2014-11-27 Tianyi Liangadd intersection rewriting commit | commitdiff | tree
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more regexp rewriting commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more functions for regular expressions commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more regexp rewriting commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more functions for regular expressions commit | commitdiff | tree
2014-11-25 ajreynolFix bug in --term-db-mode=relevant with variable trigge... commit | commitdiff | tree
2014-11-22 lianahadded number of resource units used as a stat commit | commitdiff | tree
2014-11-21 ajreynolThrow error when pattern is not list of terms. commit | commitdiff | tree
2014-11-21 ajreynolChange default option to --inst-when=full-last-call... commit | commitdiff | tree
2014-11-20 ajreynolDisable constants sharing in eq engine, disable hack... commit | commitdiff | tree
2014-11-20 Morgan DetersFix #lines in template. commit | commitdiff | tree
2014-11-20 Dejan JovanovićMaking construction of trigger sets not use the global... commit | commitdiff | tree
2014-11-19 Morgan DetersDistribute UnsafeInterruptException interface file... commit | commitdiff | tree
2014-11-19 Kshitij BansalMerge pull request #70 from kbansal/sets-for-merge... commit | commitdiff | tree
2014-11-19 Kshitij BansalSet Constant's normal form and other short fixes commit | commitdiff | tree
2014-11-18 Liana Hadareanclear model cache in BVQuickCheck clearSolver() (fixes... commit | commitdiff | tree
2014-11-18 lianahAll Minisat solve calls now return lbool (fixes bug... commit | commitdiff | tree
2014-11-18 ajreynolCompute model basis only for fmf. Add another co-datat... commit | commitdiff | tree
2014-11-18 ajreynolAdd local theory extensions instantiation strategy... commit | commitdiff | tree
2014-11-17 lianahadded command line option for extractArith bv rewrite commit | commitdiff | tree
2014-11-17 Morgan DetersShort-circuit in TheoryArithPrivate::check(), care... commit | commitdiff | tree
2014-11-17 Morgan DetersNew, uniform checkTime statistic for all theories ... commit | commitdiff | tree
2014-11-17 Liana HadareanResource-limiting work. commit | commitdiff | tree
2014-11-16 ajreynolAdd term db mode. Minor changes to quantifiers rewrite... commit | commitdiff | tree
2014-11-14 ajreynolBe lazier to consider EQC in UF+cardinality solver... commit | commitdiff | tree
2014-11-13 Clark BarrettMinor changes to AUTHORS and COPYING commit | commitdiff | tree
2014-11-13 Morgan DetersMinor adjustments to wording. commit | commitdiff | tree
2014-11-13 Morgan DetersCopyright text fixes. commit | commitdiff | tree
2014-11-13 Morgan DetersMerge pull request #69 from mdeters/bug594 commit | commitdiff | tree
2014-11-13 ajreynolRemove two obsolete versions of MBQI. commit | commitdiff | tree
2014-11-13 ajreynolMore preparation for filtering relevant terms in TermDb. commit | commitdiff | tree
2014-11-13 Morgan DetersPossible fix for bug594 commit | commitdiff | tree
2014-11-13 Morgan DetersMerge pull request #65 from mdeters/bv-ineq-cachefix commit | commitdiff | tree
2014-11-13 Morgan DetersBV inequality graph TNode fix. commit | commitdiff | tree
2014-11-13 Morgan DetersFix BV inequality solver caching. commit | commitdiff | tree
2014-11-12 Morgan DetersFix tokenization of "reset" in SMT-LIB v2.0. It's... commit | commitdiff | tree
2014-11-11 Morgan DetersMinor cleanup. commit | commitdiff | tree
2014-11-11 Kshitij BansalMerge pull request #64 from mdeters/theorysets-hashset... commit | commitdiff | tree
2014-11-11 ajreynolWork on synchronizing decision=justification and E... commit | commitdiff | tree
2014-11-10 Tianyi LiangMerge pull request #63 from mdeters/theorystrings-hashs... commit | commitdiff | tree
2014-11-10 Dejan JovanovićBug 593 fix: if the type is finite, it is now considere... commit | commitdiff | tree
2014-11-10 ajreynolDo not eliminate variables only occurring in patterns... commit | commitdiff | tree
2014-11-10 Morgan DetersMerge branch '1.4.x' commit | commitdiff | tree
2014-11-10 Morgan DetersUpdate TheorySets to use CDHashSet<>::key_begin() ... commit | commitdiff | tree
2014-11-09 Morgan DetersUpdate TheoryStrings to use CDHashSet<>::key_begin... commit | commitdiff | tree
2014-11-09 Morgan DetersWork around an apparent bug in libc++ that was causing... commit | commitdiff | tree
2014-11-09 Morgan DetersFix a deterministic assignment-ordering for get-assignm... commit | commitdiff | tree
2014-11-09 Morgan DetersIncrease stack size when running regressions (fixes... commit | commitdiff | tree
2014-11-09 ajreynolFix dt shared terms issue, reenable regression. commit | commitdiff | tree
2014-11-08 ajreynolFix bug with incremental+datatypes. Minor cleanup... commit | commitdiff | tree
2014-11-08 Morgan DetersMerge pull request #62 from mdeters/bv-cleanup commit | commitdiff | tree
2014-11-08 Morgan DetersRemove some unused variables. commit | commitdiff | tree
2014-11-08 Clark BarrettFixed bug in model builder with subtypes commit | commitdiff | tree
2014-11-07 Morgan DetersRemove some dead code. commit | commitdiff | tree
2014-11-07 Morgan DetersFix a memory leak in SatSolverRegistry (re: bug #594). commit | commitdiff | tree
2014-11-07 Morgan DetersFix memory issues in bitvector theory, which is now... commit | commitdiff | tree
2014-11-07 Morgan DetersMerge branch '1.4.x' commit | commitdiff | tree
2014-11-07 Morgan DetersFix missing case in Boolean terms rewriting. (Resolves... commit | commitdiff | tree
2014-11-07 Morgan DetersMerge branch '1.4.x' commit | commitdiff | tree
2014-11-07 Morgan DetersCorrected fix for missing case in model postprocessor... commit | commitdiff | tree
2014-11-07 ajreynolEnable --quant-cf by default. Fix bug in qcf for mixed... commit | commitdiff | tree
2014-11-07 Morgan DetersRevert "Fix missing case in model postprocessor (resolv... commit | commitdiff | tree
2014-11-07 Morgan DetersRevert "Fix missing case in model postprocessor (resolv... commit | commitdiff | tree
2014-11-07 Morgan DetersUpdate competition build rules. commit | commitdiff | tree
2014-11-07 Morgan DetersMerge branch '1.4.x' commit | commitdiff | tree
2014-11-07 Morgan DetersFix missing case in model postprocessor (resolves bug... commit | commitdiff | tree
2014-11-07 ajreynolProperly distinguish which EQC to assign values in... commit | commitdiff | tree
2014-11-06 ajreynolMinor fix for getInstCons commit | commitdiff | tree
2014-11-06 ajreynolReenable regression. Add (for now, disabled) changes... commit | commitdiff | tree
next