projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2017-03-28 Tim KingMinor cleanups to ExtTheory. commit | commitdiff | tree
2017-03-28 Tim KingRemoving the friend class modifier from ExtTheory to... commit | commitdiff | tree
2017-03-27 Clark BarrettMerge pull request #137 from 4tXJ7f/throw_quals commit | commitdiff | tree
2017-03-27 Tim KingMaking the ExtTheory object a private member of Theory. commit | commitdiff | tree
2017-03-27 Tim KingMaking ppNotifyAssertions take a const vector. commit | commitdiff | tree
2017-03-27 Tim KingMoving the CareGraph into its own file. commit | commitdiff | tree
2017-03-27 Tim KingMoving the theory::Assertion struct into its own file. commit | commitdiff | tree
2017-03-27 Andres NotzliRemove throw qualifiers in type enumerators commit | commitdiff | tree
2017-03-27 Tim KingAlphabetizing libcvc4_la_SOURCES. commit | commitdiff | tree
2017-03-24 ajreynolAdd some regressions. Minor. commit | commitdiff | tree
2017-03-24 ajreynolRefactor model building for quantifiers to be a single... commit | commitdiff | tree
2017-03-23 Clark BarrettFixing warning message. commit | commitdiff | tree
2017-03-23 guykatzzsupport incremental unsat cores commit | commitdiff | tree
2017-03-22 ajreynolFix more cases of rewritten explanations in strings... commit | commitdiff | tree
2017-03-22 ajreynolMinor fix for bounded integers. commit | commitdiff | tree
2017-03-22 ajreynolWork on new approach for sygus involving conditional... commit | commitdiff | tree
2017-03-21 ajreynolImprove computeCareGraph functions to check shared... commit | commitdiff | tree
2017-03-20 Andrew ReynoldsMerge pull request #135 from PaulMeng/master commit | commitdiff | tree
2017-03-20 Paul Mengfixed cvc4 parser for set complement commit | commitdiff | tree
2017-03-18 Clark BarrettFix for bug 707. commit | commitdiff | tree
2017-03-18 Clark BarrettFix to help with bug 717 commit | commitdiff | tree
2017-03-17 guykatzzbetter support for proof production when encountering... commit | commitdiff | tree
2017-03-16 Tim KingFixes bug 781. Copy constructor for Expr needed to... commit | commitdiff | tree
2017-03-16 ajreynolMore fixes, features to examples. commit | commitdiff | tree
2017-03-16 ajreynolMinor fixes, always expand applications of lambdas... commit | commitdiff | tree
2017-03-16 ajreynolSupport for SMT LIB 2.6 syntax declare-datatype and... commit | commitdiff | tree
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... commit | commitdiff | tree
2017-03-15 ajreynolFix regress1 Makefile for rewriterules, fixes bug 783. commit | commitdiff | tree
2017-03-15 Clark BarrettMerge pull request #134 from 4tXJ7f/fix_host commit | commitdiff | tree
2017-03-15 ajreynolAllow 0 argument recursive functions. Fixes bug 782. commit | commitdiff | tree
2017-03-15 Andres NotzliFix win-build script to use MinGW-w64 by default commit | commitdiff | tree
2017-03-14 guykatzzMerge pull request #133 from 4tXJ7f/fix_uninitialized commit | commitdiff | tree
2017-03-14 Andres Notzlifix uninitialized variable commit | commitdiff | tree
2017-03-14 Clark BarrettMerge pull request #132 from 4tXJ7f/fix_mingw64 commit | commitdiff | tree
2017-03-10 ajreynolMinor fix for cbqi-all. commit | commitdiff | tree
2017-03-09 guykatzzbug fix commit | commitdiff | tree
2017-03-09 guykatzzbetter proof support for bools and formulas commit | commitdiff | tree
2017-03-08 Andres NotzliFix MinGW-w64 build commit | commitdiff | tree
2017-03-07 ajreynolMore fixes for printing/parsing sets, fix kind name. commit | commitdiff | tree
2017-03-07 ajreynolFix cvc parser for set compliment. commit | commitdiff | tree
2017-03-06 ajreynolDo not eagerly construct explanations in relation solver. commit | commitdiff | tree
2017-03-06 ajreynolSupport for set compliment and universe set. Simplify... commit | commitdiff | tree
2017-03-06 Clark BarrettAdding support for bool-to-bv commit | commitdiff | tree
2017-03-03 ajreynolFix for collectModelInfo related to finite types +... commit | commitdiff | tree
2017-03-03 ajreynolAnother minor fix for sets related to sharing + finite... commit | commitdiff | tree
2017-03-02 ajreynolFixes related to sets. commit | commitdiff | tree
2017-03-02 ajreynolMinor cleanup and reorganization related to last commit. commit | commitdiff | tree
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... commit | commitdiff | tree
2017-02-16 ajreynolMinor fixes for relations, quantifiers dsplit. commit | commitdiff | tree
2017-02-16 ajreynolFixes for sets+rels check. Minor. commit | commitdiff | tree
2017-02-15 ajreynolMinimization modes for fmf bound. commit | commitdiff | tree
2017-02-07 ajreynolGeneralize finite bound inference to unifiable variable... commit | commitdiff | tree
2017-01-30 ajreynolFix regexp cache issue in strings, add regression. commit | commitdiff | tree
2017-01-18 Andres NoetzliFix non-idempotent rewrite in Array rewriter commit | commitdiff | tree
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf commit | commitdiff | tree
2017-01-18 ajreynolMinor fix in relations. commit | commitdiff | tree
2017-01-16 Andres Notzli[LFSC] Fix performance issues, more determinism commit | commitdiff | tree
2017-01-14 Clark BarrettFix call to SExpr constructor for greater portability. commit | commitdiff | tree
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master commit | commitdiff | tree
2017-01-13 ajreynolDo not rewrite explanations in strings. commit | commitdiff | tree
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... commit | commitdiff | tree
2017-01-11 Clark BarrettMerge pull request #131 from makaimann/fix_702 commit | commitdiff | tree
2017-01-11 makaimannProposed fix for bug 702. Checks to make sure the Expr... commit | commitdiff | tree
2017-01-11 ajreynolFix for when variables are (partially) bound in multipl... commit | commitdiff | tree
2017-01-11 Clark BarrettMerge pull request #127 from cristian-mattarei/issue_679 commit | commitdiff | tree
2017-01-11 Chad Brewbakerrevert commit | commitdiff | tree
2017-01-11 Chad BrewbakerQuashing memory leak commit | commitdiff | tree
2017-01-11 Tim KingAdding regression test scrubbing. commit | commitdiff | tree
2017-01-09 Cristian MattareiWith reference to Bug 679, this commit integrates part... commit | commitdiff | tree
2017-01-07 Chad Brewbakerquashing debug memory leak commit | commitdiff | tree
2017-01-06 ajreynolMinor fix for sets. commit | commitdiff | tree
2017-01-05 Tim KingDisabling a regression test that assumes CVC4 is config... commit | commitdiff | tree
2017-01-04 ajreynolFix for tff type declarations inTPTP parser, fixes... commit | commitdiff | tree
2017-01-04 Tim KingMarking regression test files as non-executable. commit | commitdiff | tree
2017-01-04 Tim KingMarking the proof signature files as non-executable. commit | commitdiff | tree
2017-01-04 Tim KingSetting the executable bit for the newer run scripts... commit | commitdiff | tree
2017-01-04 Tim KingReverting two files encoding with DOS linebreaks back... commit | commitdiff | tree
2017-01-04 Andrew ReynoldsMerge pull request #122 from 4tXJ7f/fix_lfsc_str commit | commitdiff | tree
2017-01-04 guykatzzMerge pull request #120 from 4tXJ7f/fix_f_pp_holes commit | commitdiff | tree
2017-01-04 Andrew ReynoldsMerge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks commit | commitdiff | tree
2016-12-29 Tim KingChanging a set of TNodes to a set of Nodes in the BV... commit | commitdiff | tree
2016-12-29 Tim KingEliminating a signed vs. unsigned comparison. commit | commitdiff | tree
2016-12-29 Tim KingChanging getTearDownIncremental() to return the type... commit | commitdiff | tree
2016-12-29 Tim KingAdding a destructor to InstantiationNotify. commit | commitdiff | tree
2016-12-29 Tim KingAdding a destructor to RepBoundExt. commit | commitdiff | tree
2016-12-29 Tim KingReordering sep and sets in Makefile.theories. commit | commitdiff | tree
2016-12-28 Andres Notzli[LFSC] Minor fixes/improvements commit | commitdiff | tree
2016-12-28 Andres Notzli[LFSC] Fix memory leaks when creating CExprs commit | commitdiff | tree
2016-12-17 Andres NotzliFix dependency tracing for fewerPreprocessingHoles commit | commitdiff | tree
2016-12-14 Clark BarrettMerge pull request #119 from 4tXJ7f/smt_v2_5 commit | commitdiff | tree
2016-12-14 Andres NotzliSwitch from SMT-LIB v2.0 to v2.5 for smt2 files commit | commitdiff | tree
2016-12-14 Clark BarrettMade tear-down-incremental more like it used to be... commit | commitdiff | tree
2016-12-13 Andrew ReynoldsMerge pull request #118 from 4tXJ7f/fix_emp commit | commitdiff | tree
2016-12-12 Clark BarrettMerge pull request #117 from 4tXJ7f/fix_order commit | commitdiff | tree
2016-12-12 Andres NotzliFix split-find-unsat-w-emp test commit | commitdiff | tree
2016-12-12 Clark BarrettMerge branch 'master' into fix_order commit | commitdiff | tree
2016-12-12 Clark BarrettMerge pull request #116 from 4tXJ7f/fix_mult commit | commitdiff | tree
2016-12-09 Tim KingFixing a use after free bug in Polynomial::denominatorLCM. commit | commitdiff | tree
2016-12-09 Andres NotzliFix initialization order commit | commitdiff | tree
2016-12-09 Andres NotzliFix (inactive) `MultSlice` rewrite commit | commitdiff | tree
next