cvc5.git
2017-01-11 Clark BarrettMerge pull request #131 from makaimann/fix_702
2017-01-11 makaimannProposed fix for bug 702. Checks to make sure the Expr...
2017-01-11 ajreynolFix for when variables are (partially) bound in multipl...
2017-01-11 Clark BarrettMerge pull request #127 from cristian-mattarei/issue_679
2017-01-09 Cristian MattareiWith reference to Bug 679, this commit integrates part...
2017-01-06 ajreynolMinor fix for sets.
2017-01-05 Tim KingDisabling a regression test that assumes CVC4 is config...
2017-01-04 ajreynolFix for tff type declarations inTPTP parser, fixes...
2017-01-04 Tim KingMarking regression test files as non-executable.
2017-01-04 Tim KingMarking the proof signature files as non-executable.
2017-01-04 Tim KingSetting the executable bit for the newer run scripts...
2017-01-04 Tim KingReverting two files encoding with DOS linebreaks back...
2017-01-04 Andrew ReynoldsMerge pull request #122 from 4tXJ7f/fix_lfsc_str
2017-01-04 guykatzzMerge pull request #120 from 4tXJ7f/fix_f_pp_holes
2017-01-04 Andrew ReynoldsMerge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks
2016-12-29 Tim KingChanging a set of TNodes to a set of Nodes in the BV...
2016-12-29 Tim KingEliminating a signed vs. unsigned comparison.
2016-12-29 Tim KingChanging getTearDownIncremental() to return the type...
2016-12-29 Tim KingAdding a destructor to InstantiationNotify.
2016-12-29 Tim KingAdding a destructor to RepBoundExt.
2016-12-29 Tim KingReordering sep and sets in Makefile.theories.
2016-12-28 Andres Notzli[LFSC] Minor fixes/improvements
2016-12-28 Andres Notzli[LFSC] Fix memory leaks when creating CExprs
2016-12-17 Andres NotzliFix dependency tracing for fewerPreprocessingHoles
2016-12-14 Clark BarrettMerge pull request #119 from 4tXJ7f/smt_v2_5
2016-12-14 Andres NotzliSwitch from SMT-LIB v2.0 to v2.5 for smt2 files
2016-12-14 Clark BarrettMade tear-down-incremental more like it used to be...
2016-12-13 Andrew ReynoldsMerge pull request #118 from 4tXJ7f/fix_emp
2016-12-12 Clark BarrettMerge pull request #117 from 4tXJ7f/fix_order
2016-12-12 Andres NotzliFix split-find-unsat-w-emp test
2016-12-12 Clark BarrettMerge branch 'master' into fix_order
2016-12-12 Clark BarrettMerge pull request #116 from 4tXJ7f/fix_mult
2016-12-09 Tim KingFixing a use after free bug in Polynomial::denominatorLCM.
2016-12-09 Andres NotzliFix initialization order
2016-12-09 Andres NotzliFix (inactive) `MultSlice` rewrite
2016-12-08 ajreynolEnable remaining cardinality benchmarks
2016-12-08 ajreynolAdd missing regression
2016-12-07 ajreynolAdd sets regression, fixes bug 754. Minor fix to regex...
2016-12-07 ajreynolAdded cardinality to cvc language, fixes bug 753. Throw...
2016-12-07 ajreynolFix boolean term conversion for INST_ATTRIBUTE, fixes...
2016-12-07 guykatzzMerge branch 'master' of https://github.com/CVC4/CVC4
2016-12-07 guykatzzTurned off nonClausalSimplify when using fewerPreproces...
2016-12-07 ajreynolRefactoring, generalization of bounded inference module...
2016-12-07 ajreynolFix nf exp tracking for non-linear string equalities...
2016-12-06 ajreynolImprove bounds for global heap in sep, refactor preproc...
2016-12-06 Clark BarrettAdded "dump=raw-benchmark" option for dumping all user...
2016-12-03 ajreynolFix unit test for datatypes, add interface functions...
2016-12-03 Clark BarrettFix for bug 734
2016-12-02 Tim KingCleaning up Statistics::copyFrom to avoid casts.
2016-12-02 Tim KingInitializing the d_pivots variable.
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule
2016-12-02 ajreynolBug fixes and refactoring of parametric datatypes,...
2016-12-02 ajreynolRefactor preprocessing of models in fmf. Fix options...
2016-12-02 Andres NotzliFix build on macOS Sierra
2016-12-01 ajreynolFix quantifiers dynamic splitting module for incrementa...
2016-12-01 ajreynolImprovement and bug fix for str.indexof reduction,...
2016-11-30 Andres NotzliRemove wrong `ExtractMultLeadingBit` rule
2016-11-30 Clark BarrettMerge pull request #115 from 4tXJ7f/bug766
2016-11-30 Clark BarrettMerge pull request #114 from 4tXJ7f/add_unit_test
2016-11-30 Andres NotzliFix parsing of BVROTR by CVC parser
2016-11-30 Andres NotzliAdd unit test for `MultDistrib` rule
2016-11-28 Clark BarrettMerge pull request #112 from 4tXJ7f/fix_mult_distrib
2016-11-22 ajreynolFix smt2 and cvc printers for testers when output and...
2016-11-22 Tim KingMerge pull request #111 from 4tXJ7f/fix_test_includes
2016-11-22 Andres NotzliFix `MultDistrib` rewrite rule
2016-11-22 Andres NotzliRemove unused, libstdc++-exclusive include
2016-11-21 ajreynolRefactoring related to track instantiation option.
2016-11-18 Clark BarrettFix for unit test after changing default "all supported...
2016-11-18 Tim KingRemoving some throw specifiers from OutputChannel....
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles
2016-11-18 Clark BarrettModified a couple of regressoins to use ALL/QF_ALL...
2016-11-18 Clark BarrettAdd support for set-logic ALL, fix compiler error in...
2016-11-18 Andres NotzliFix Makefiles in test
2016-11-16 Clark BarrettMerge pull request #108 from timothy-king/smt2-parser...
2016-11-16 PaulMengMerge pull request #109 from PaulMeng/master
2016-11-15 Paul Mengrelational solver code refactor and bug fixes
2016-11-14 ajreynolMinor improvement to caching for extf bv inferences.
2016-11-14 Tim KingAdding garbage collection for the Smt2 Parser for Comma...
2016-11-13 Tim KingSwitching a large allocation to be heap allocated.
2016-11-13 Tim KingDeleting a parsed Command in the interactive_shell_blac...
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser...
2016-11-12 Clark BarrettMerge pull request #106 from timothy-king/cvc-parser...
2016-11-12 Clark BarrettFixed a bug in cdhashmap in which doubly-linked list...
2016-11-12 Tim KingAdding garbage collection for the Smt1 Parser for Comma...
2016-11-12 Tim KingAdding garbage collection for the CVC Parser for Comman...
2016-11-12 Tim KingMerge pull request #105 from timothy-king/delete-maxed-out
2016-11-12 Tim KingDeleting successfully parsed commands in the parser_bla...
2016-11-12 Tim KingDeleting the remaining commands in the Parser's queue...
2016-11-11 Tim KingApplying clang-format to parser.cpp.
2016-11-11 Tim KingSpeeding up the common branches for inc().
2016-11-11 Clark BarrettEnable eager bitblasting for QF_ABV when no stores...
2016-11-11 ajreynolAdd simple inferences for extended bitvector functions...
2016-11-10 Tim KingFixing a delete vs free mismatch in parser_builder_black.h.
2016-11-10 Tim KingAdding garbage collection of nodes with maxed out refer...
2016-11-10 Tim KingAdded PtrCloser guards for constructNodePtr. This ensur...
2016-11-10 ajreynolAdd option for enabling/disabling lazy extended functio...
2016-11-10 Tim KingMerge pull request #103 from timothy-king/uniq-ptr
2016-11-09 Tim KingRenaming the class PtrCloser to not cause confusion...
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr
next