projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2016-11-30 Andres NotzliFix parsing of BVROTR by CVC parser commit | commitdiff | tree
2016-11-28 Clark BarrettMerge pull request #112 from 4tXJ7f/fix_mult_distrib commit | commitdiff | tree
2016-11-22 ajreynolFix smt2 and cvc printers for testers when output and... commit | commitdiff | tree
2016-11-22 Tim KingMerge pull request #111 from 4tXJ7f/fix_test_includes commit | commitdiff | tree
2016-11-22 Andres NotzliFix `MultDistrib` rewrite rule commit | commitdiff | tree
2016-11-22 Andres NotzliRemove unused, libstdc++-exclusive include commit | commitdiff | tree
2016-11-21 ajreynolRefactoring related to track instantiation option. commit | commitdiff | tree
2016-11-18 Clark BarrettFix for unit test after changing default "all supported... commit | commitdiff | tree
2016-11-18 Tim KingRemoving some throw specifiers from OutputChannel.... commit | commitdiff | tree
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles commit | commitdiff | tree
2016-11-18 Clark BarrettModified a couple of regressoins to use ALL/QF_ALL... commit | commitdiff | tree
2016-11-18 Clark BarrettAdd support for set-logic ALL, fix compiler error in... commit | commitdiff | tree
2016-11-18 Andres NotzliFix Makefiles in test commit | commitdiff | tree
2016-11-16 Clark BarrettMerge pull request #108 from timothy-king/smt2-parser... commit | commitdiff | tree
2016-11-16 PaulMengMerge pull request #109 from PaulMeng/master commit | commitdiff | tree
2016-11-15 Paul Mengrelational solver code refactor and bug fixes commit | commitdiff | tree
2016-11-14 ajreynolMinor improvement to caching for extf bv inferences. commit | commitdiff | tree
2016-11-14 Tim KingAdding garbage collection for the Smt2 Parser for Comma... commit | commitdiff | tree
2016-11-13 Tim KingSwitching a large allocation to be heap allocated. commit | commitdiff | tree
2016-11-13 Tim KingDeleting a parsed Command in the interactive_shell_blac... commit | commitdiff | tree
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser... commit | commitdiff | tree
2016-11-12 Clark BarrettMerge pull request #106 from timothy-king/cvc-parser... commit | commitdiff | tree
2016-11-12 Clark BarrettFixed a bug in cdhashmap in which doubly-linked list... commit | commitdiff | tree
2016-11-12 Tim KingAdding garbage collection for the Smt1 Parser for Comma... commit | commitdiff | tree
2016-11-12 Tim KingAdding garbage collection for the CVC Parser for Comman... commit | commitdiff | tree
2016-11-12 Tim KingMerge pull request #105 from timothy-king/delete-maxed-out commit | commitdiff | tree
2016-11-12 Tim KingDeleting successfully parsed commands in the parser_bla... commit | commitdiff | tree
2016-11-12 Tim KingDeleting the remaining commands in the Parser's queue... commit | commitdiff | tree
2016-11-11 Tim KingApplying clang-format to parser.cpp. commit | commitdiff | tree
2016-11-11 Tim KingSpeeding up the common branches for inc(). commit | commitdiff | tree
2016-11-11 Clark BarrettEnable eager bitblasting for QF_ABV when no stores... commit | commitdiff | tree
2016-11-11 ajreynolAdd simple inferences for extended bitvector functions... commit | commitdiff | tree
2016-11-10 Tim KingFixing a delete vs free mismatch in parser_builder_black.h. commit | commitdiff | tree
2016-11-10 Tim KingAdding garbage collection of nodes with maxed out refer... commit | commitdiff | tree
2016-11-10 Tim KingAdded PtrCloser guards for constructNodePtr. This ensur... commit | commitdiff | tree
2016-11-10 ajreynolAdd option for enabling/disabling lazy extended functio... commit | commitdiff | tree
2016-11-10 Tim KingMerge pull request #103 from timothy-king/uniq-ptr commit | commitdiff | tree
2016-11-09 Tim KingRenaming the class PtrCloser to not cause confusion... commit | commitdiff | tree
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr commit | commitdiff | tree
2016-11-09 ajreynolFix tptp parser memory leaks for include. commit | commitdiff | tree
2016-11-08 ajreynolMinor fixes related to ExtTheory + incremental, fixes... commit | commitdiff | tree
2016-11-08 ajreynolAdd a few options to separation logic and sets. Minor... commit | commitdiff | tree
2016-11-08 Tim KingMerge pull request #104 from timothy-king/disabling... commit | commitdiff | tree
2016-11-07 Tim KingDisabling out of memory tests unit tests when ASAN... commit | commitdiff | tree
2016-11-07 Tim KingChanging ArrayStoreAll's constructor to delay allocatio... commit | commitdiff | tree
2016-11-07 Tim KingFixing a memory leak in the CnfStream unit tests. commit | commitdiff | tree
2016-11-07 Tim KingFixing a memory leak in the eager bitblaster. commit | commitdiff | tree
2016-11-07 Tim KingAdds a C++05 version of unique_ptr. Used this to solve... commit | commitdiff | tree
2016-11-07 Tim KingMerge pull request #102 from timothy-king/node-id-eq commit | commitdiff | tree
2016-11-07 Tim KingThis switches the ZombieSet in the NodeManager to use... commit | commitdiff | tree
2016-11-05 Clark BarrettMerge pull request #101 from 4tXJ7f/fix_leak commit | commitdiff | tree
2016-11-05 Andres NotzliFix three leaks in unit tests commit | commitdiff | tree
2016-11-05 Clark BarrettFix memory leak in node_black unit test. commit | commitdiff | tree
2016-11-04 ajreynolFix a few more minor memory leaks. commit | commitdiff | tree
2016-11-03 ajreynolMake data points accurate in sep logic models. commit | commitdiff | tree
2016-11-03 ajreynolAdd priorities to getNextDecision. Properly handle... commit | commitdiff | tree
2016-11-03 Tim KingMerge pull request #100 from 4tXJ7f/fix_context_mm_black commit | commitdiff | tree
2016-11-03 Andres NotzliFix back() of empty deque in context_mm_black test commit | commitdiff | tree
2016-11-02 ajreynolAdd missing regression. commit | commitdiff | tree
2016-11-02 ajreynolFix bug in separation logic for finite pto-data types... commit | commitdiff | tree
2016-11-02 ajreynolFix a few obvious memory leaks in sygus and quantifiers... commit | commitdiff | tree
2016-11-01 ajreynolMinor fix to cvc3_compat. commit | commitdiff | tree
2016-11-01 ajreynolMake tuple and record names unique. Do not print intern... commit | commitdiff | tree
2016-11-01 ajreynolFix memory leak in TheorySetsRels. Minor cleanup. commit | commitdiff | tree
2016-11-01 ajreynolRevert change to Datatypes API to return vector of... commit | commitdiff | tree
2016-11-01 ajreynolRevert change to datatypes API for passing pointers... commit | commitdiff | tree
2016-11-01 ajreynolWorking memory leak free version, changes interface... commit | commitdiff | tree
2016-10-31 ajreynolMinor refactoring in preparation for datatypes node... commit | commitdiff | tree
2016-10-28 ajreynolAdd get instantiations utilities to API. commit | commitdiff | tree
2016-10-27 Clark BarrettMerge pull request #99 from 4tXJ7f/fix_dist_build3 commit | commitdiff | tree
2016-10-27 Andres NotzliFix typo in Makefile that makes distcheck fail commit | commitdiff | tree
2016-10-26 ajreynolEnable bv2nat regressions commit | commitdiff | tree
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build commit | commitdiff | tree
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul... commit | commitdiff | tree
2016-10-24 Andres NotzliFix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build commit | commitdiff | tree
2016-10-21 ajreynolFix/add missing makefiles. commit | commitdiff | tree
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... commit | commitdiff | tree
2016-10-19 Tim KingMerge pull request #97 from 4tXJ7f/fix_rewrite commit | commitdiff | tree
2016-10-19 Andres NotzliFix minor bug and typo in boolean rewriter commit | commitdiff | tree
2016-10-13 ajreynolMerging bv parts of ajr/bvExt branch, minor additions... commit | commitdiff | tree
2016-10-13 Tim KingInitializes RoundingMode::roundNearestTiesToAway to... commit | commitdiff | tree
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... commit | commitdiff | tree
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git commit | commitdiff | tree
2016-10-11 Paul Meng- fixed a memory leak issue with context dependent... commit | commitdiff | tree
2016-10-09 Tim KingAdding initializers for structs internal to ite_utilities. commit | commitdiff | tree
2016-10-06 guykatzzAdded an option that allow empty dependencies when... commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_uf_type_rules.h. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_fp_type_rules.h. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_datatypes_typ... commit | commitdiff | tree
2016-10-03 Tim KingRemoving an unused member from TreeLog. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from theory_bv_type_rules.h. commit | commitdiff | tree
2016-10-03 Tim KingRemoving the throw specifiers from Cardinality. commit | commitdiff | tree
2016-10-01 Tim KingRemoving the throw specifiers from Result. commit | commitdiff | tree
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format commit | commitdiff | tree
2016-10-01 Tim KingRemoving the throw specifiers from SExpr. commit | commitdiff | tree
2016-10-01 Tim KingRemoving the throw specifiers from SubrangeBounds. commit | commitdiff | tree
2016-10-01 ajreynolIncorporate non-bv parts of ajr/bvExt branch commit | commitdiff | tree
2016-09-29 ajreynolAddress some coverity warnings, add another stat. commit | commitdiff | tree
2016-09-29 ajreynolMinor cleanup and additions to quantifiers statistics. commit | commitdiff | tree
2016-09-28 Kshitij BansalFix the merge of kbansal/card branch (2039eab). commit | commitdiff | tree
next