projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2016-11-28
Clark Barrett
Merge pull request #112 from 4tXJ7f/fix_mult_distrib
commit
|
commitdiff
|
tree
2016-11-22
ajreynol
Fix smt2 and cvc printers for testers when output and...
commit
|
commitdiff
|
tree
2016-11-22
Tim King
Merge pull request #111 from 4tXJ7f/fix_test_includes
commit
|
commitdiff
|
tree
2016-11-22
Andres Notzli
Fix `MultDistrib` rewrite rule
commit
|
commitdiff
|
tree
2016-11-22
Andres Notzli
Remove unused, libstdc++-exclusive include
commit
|
commitdiff
|
tree
2016-11-21
ajreynol
Refactoring related to track instantiation option.
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Fix for unit test after changing default "all supported...
commit
|
commitdiff
|
tree
2016-11-18
Tim King
Removing some throw specifiers from OutputChannel....
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Modified a couple of regressoins to use ALL/QF_ALL...
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Add support for set-logic ALL, fix compiler error in...
commit
|
commitdiff
|
tree
2016-11-18
Andres Notzli
Fix Makefiles in test
commit
|
commitdiff
|
tree
2016-11-16
Clark Barrett
Merge pull request #108 from timothy-king/smt2-parser...
commit
|
commitdiff
|
tree
2016-11-16
PaulMeng
Merge pull request #109 from PaulMeng/master
commit
|
commitdiff
|
tree
2016-11-15
Paul Meng
relational solver code refactor and bug fixes
commit
|
commitdiff
|
tree
2016-11-14
ajreynol
Minor improvement to caching for extf bv inferences.
commit
|
commitdiff
|
tree
2016-11-14
Tim King
Adding garbage collection for the Smt2 Parser for Comma...
commit
|
commitdiff
|
tree
2016-11-13
Tim King
Switching a large allocation to be heap allocated.
commit
|
commitdiff
|
tree
2016-11-13
Tim King
Deleting a parsed Command in the interactive_shell_blac...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Merge pull request #107 from timothy-king/smt1-parser...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Merge pull request #106 from timothy-king/cvc-parser...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Fixed a bug in cdhashmap in which doubly-linked list...
commit
|
commitdiff
|
tree
2016-11-12
Tim King
Adding garbage collection for the Smt1 Parser for Comma...
commit
|
commitdiff
|
tree
2016-11-12
Tim King
Adding garbage collection for the CVC Parser for Comman...
commit
|
commitdiff
|
tree
2016-11-12
Tim King
Merge pull request #105 from timothy-king/delete-maxed-out
commit
|
commitdiff
|
tree
2016-11-12
Tim King
Deleting successfully parsed commands in the parser_bla...
commit
|
commitdiff
|
tree
2016-11-12
Tim King
Deleting the remaining commands in the Parser's queue...
commit
|
commitdiff
|
tree
2016-11-11
Tim King
Applying clang-format to parser.cpp.
commit
|
commitdiff
|
tree
2016-11-11
Tim King
Speeding up the common branches for inc().
commit
|
commitdiff
|
tree
2016-11-11
Clark Barrett
Enable eager bitblasting for QF_ABV when no stores...
commit
|
commitdiff
|
tree
2016-11-11
ajreynol
Add simple inferences for extended bitvector functions...
commit
|
commitdiff
|
tree
2016-11-10
Tim King
Fixing a delete vs free mismatch in parser_builder_black.h.
commit
|
commitdiff
|
tree
2016-11-10
Tim King
Adding garbage collection of nodes with maxed out refer...
commit
|
commitdiff
|
tree
2016-11-10
Tim King
Added PtrCloser guards for constructNodePtr. This ensur...
commit
|
commitdiff
|
tree
2016-11-10
ajreynol
Add option for enabling/disabling lazy extended functio...
commit
|
commitdiff
|
tree
2016-11-10
Tim King
Merge pull request #103 from timothy-king/uniq-ptr
commit
|
commitdiff
|
tree
2016-11-09
Tim King
Renaming the class PtrCloser to not cause confusion...
commit
|
commitdiff
|
tree
2016-11-09
Tim King
Merge branch 'master' into uniq-ptr
commit
|
commitdiff
|
tree
2016-11-09
ajreynol
Fix tptp parser memory leaks for include.
commit
|
commitdiff
|
tree
2016-11-08
ajreynol
Minor fixes related to ExtTheory + incremental, fixes...
commit
|
commitdiff
|
tree
2016-11-08
ajreynol
Add a few options to separation logic and sets. Minor...
commit
|
commitdiff
|
tree
2016-11-08
Tim King
Merge pull request #104 from timothy-king/disabling...
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Disabling out of memory tests unit tests when ASAN...
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Changing ArrayStoreAll's constructor to delay allocatio...
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Fixing a memory leak in the CnfStream unit tests.
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Fixing a memory leak in the eager bitblaster.
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Adds a C++05 version of unique_ptr. Used this to solve...
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Merge pull request #102 from timothy-king/node-id-eq
commit
|
commitdiff
|
tree
2016-11-07
Tim King
This switches the ZombieSet in the NodeManager to use...
commit
|
commitdiff
|
tree
2016-11-05
Clark Barrett
Merge pull request #101 from 4tXJ7f/fix_leak
commit
|
commitdiff
|
tree
2016-11-05
Andres Notzli
Fix three leaks in unit tests
commit
|
commitdiff
|
tree
2016-11-05
Clark Barrett
Fix memory leak in node_black unit test.
commit
|
commitdiff
|
tree
2016-11-04
ajreynol
Fix a few more minor memory leaks.
commit
|
commitdiff
|
tree
2016-11-03
ajreynol
Make data points accurate in sep logic models.
commit
|
commitdiff
|
tree
2016-11-03
ajreynol
Add priorities to getNextDecision. Properly handle...
commit
|
commitdiff
|
tree
2016-11-03
Tim King
Merge pull request #100 from 4tXJ7f/fix_context_mm_black
commit
|
commitdiff
|
tree
2016-11-03
Andres Notzli
Fix back() of empty deque in context_mm_black test
commit
|
commitdiff
|
tree
2016-11-02
ajreynol
Add missing regression.
commit
|
commitdiff
|
tree
2016-11-02
ajreynol
Fix bug in separation logic for finite pto-data types...
commit
|
commitdiff
|
tree
2016-11-02
ajreynol
Fix a few obvious memory leaks in sygus and quantifiers...
commit
|
commitdiff
|
tree
2016-11-01
ajreynol
Minor fix to cvc3_compat.
commit
|
commitdiff
|
tree
2016-11-01
ajreynol
Make tuple and record names unique. Do not print intern...
commit
|
commitdiff
|
tree
2016-11-01
ajreynol
Fix memory leak in TheorySetsRels. Minor cleanup.
commit
|
commitdiff
|
tree
2016-11-01
ajreynol
Revert change to Datatypes API to return vector of...
commit
|
commitdiff
|
tree
2016-11-01
ajreynol
Revert change to datatypes API for passing pointers...
commit
|
commitdiff
|
tree
2016-11-01
ajreynol
Working memory leak free version, changes interface...
commit
|
commitdiff
|
tree
2016-10-31
ajreynol
Minor refactoring in preparation for datatypes node...
commit
|
commitdiff
|
tree
2016-10-28
ajreynol
Add get instantiations utilities to API.
commit
|
commitdiff
|
tree
2016-10-27
Clark Barrett
Merge pull request #99 from 4tXJ7f/fix_dist_build3
commit
|
commitdiff
|
tree
2016-10-27
Andres Notzli
Fix typo in Makefile that makes distcheck fail
commit
|
commitdiff
|
tree
2016-10-26
ajreynol
Enable bv2nat regressions
commit
|
commitdiff
|
tree
2016-10-26
Andrew Reynolds
Merge pull request #98 from 4tXJ7f/fix_dist_build
commit
|
commitdiff
|
tree
2016-10-26
ajreynol
New implementation of sets+cardinality. Merge Paul...
commit
|
commitdiff
|
tree
2016-10-24
Andres Notzli
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
commit
|
commitdiff
|
tree
2016-10-21
ajreynol
Fix/add missing makefiles.
commit
|
commitdiff
|
tree
2016-10-21
ajreynol
Move slow regress0 benchmarks to regress1, increment...
commit
|
commitdiff
|
tree
2016-10-19
Tim King
Merge pull request #97 from 4tXJ7f/fix_rewrite
commit
|
commitdiff
|
tree
2016-10-19
Andres Notzli
Fix minor bug and typo in boolean rewriter
commit
|
commitdiff
|
tree
2016-10-13
ajreynol
Merging bv parts of ajr/bvExt branch, minor additions...
commit
|
commitdiff
|
tree
2016-10-13
Tim King
Initializes RoundingMode::roundNearestTiesToAway to...
commit
|
commitdiff
|
tree
2016-10-13
Tim King
Revert "Merge branch 'origin' of https://github.com...
commit
|
commitdiff
|
tree
2016-10-11
Paul Meng
Merge 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 King
Adding initializers for structs internal to ite_utilities.
commit
|
commitdiff
|
tree
2016-10-06
guykatzz
Added an option that allow empty dependencies when...
commit
|
commitdiff
|
tree
2016-10-03
Tim King
Removing the throw specifiers from theory_uf_type_rules.h.
commit
|
commitdiff
|
tree
2016-10-03
Tim King
Removing the throw specifiers from theory_fp_type_rules.h.
commit
|
commitdiff
|
tree
2016-10-03
Tim King
Removing the throw specifiers from theory_datatypes_typ...
commit
|
commitdiff
|
tree
2016-10-03
Tim King
Removing an unused member from TreeLog.
commit
|
commitdiff
|
tree
2016-10-03
Tim King
Removing the throw specifiers from theory_bv_type_rules.h.
commit
|
commitdiff
|
tree
2016-10-03
Tim King
Removing the throw specifiers from Cardinality.
commit
|
commitdiff
|
tree
2016-10-01
Tim King
Removing the throw specifiers from Result.
commit
|
commitdiff
|
tree
2016-10-01
Tim King
Merge pull request #93 from timothy-king/clang-format
commit
|
commitdiff
|
tree
2016-10-01
Tim King
Removing the throw specifiers from SExpr.
commit
|
commitdiff
|
tree
2016-10-01
Tim King
Removing the throw specifiers from SubrangeBounds.
commit
|
commitdiff
|
tree
2016-10-01
ajreynol
Incorporate non-bv parts of ajr/bvExt branch
commit
|
commitdiff
|
tree
2016-09-29
ajreynol
Address some coverity warnings, add another stat.
commit
|
commitdiff
|
tree
2016-09-29
ajreynol
Minor cleanup and additions to quantifiers statistics.
commit
|
commitdiff
|
tree
2016-09-28
Kshitij Bansal
Fix the merge of kbansal/card branch (2039eab).
commit
|
commitdiff
|
tree
2016-09-27
Tim King
Removing an unused iterator.
commit
|
commitdiff
|
tree
next