projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
README: Remove project leaders, history.
[cvc5.git]
/
src
/
prop
/
2019-04-05
Alex Ozdemir
SatClauseSetHashFunction (#2916)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-01-23
Andres Noetzli
Avoid using ProofManager in non-proof CMS build (#2814)
tree
|
commitdiff
2019-01-14
Alex Ozdemir
ClausalBitvectorProof (#2786)
tree
|
commitdiff
2018-12-03
Alex Ozdemir
Bit vector proof superclass (#2599)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-10-01
Aina Niemetz
Fix compiler warnings. (#2555)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Various CMakeLists.txt fixes/cleanup.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-13
Mathias Preiner
Fix #include for minisat headers in bvminisat. (#2463)
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Remove support for flipDecision (#2319)
tree
|
commitdiff
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
tree
|
commitdiff
2018-08-02
Andrew Reynolds
Remove references to deprecated propagate as decision...
tree
|
commitdiff
2018-07-30
Mathias Preiner
Add support for incremental eager bit-blasting. (#1838)
tree
|
commitdiff
2018-07-30
FabianWolff
Fix several spelling errors (#2231)
tree
|
commitdiff
2018-07-13
Andres Noetzli
Properly clean up assertion stack in CnfProof (#2147)
tree
|
commitdiff
2018-06-28
Andres Noetzli
Fix stale reference in MiniSat when generating UC ...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-06-13
Andres Noetzli
Workaround for incremental unsat cores (#1962)
tree
|
commitdiff
2018-06-09
Andres Noetzli
Reset decisions at SAT level after solving (#2059)
tree
|
commitdiff
2018-05-25
Andres Noetzli
MiniSat: Be more careful about running proof code ...
tree
|
commitdiff
2018-05-23
Andres Noetzli
Remove ProofProxy (#1965)
tree
|
commitdiff
2018-04-04
Andres Noetzli
[BVMiniSat] Avoid duplicates in conflicts (#1745)
tree
|
commitdiff
2018-03-26
Andres Noetzli
Fix memory leak in bvminisat (#1710)
tree
|
commitdiff
2018-03-20
Mathias Preiner
Add support for CaDiCaL as eager BV SAT solver. (#1675)
tree
|
commitdiff
2018-03-13
Mathias Preiner
Use Cryptominisat version 5.0.2 (instead of 4.2.0)...
tree
|
commitdiff
2018-03-09
Mathias Preiner
Cleanup Cryptominisat SAT wrapper. (#1652)
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-02-07
Mathias Preiner
Cleanup Cryptominisat header. (#1561)
tree
|
commitdiff
2018-01-16
Tim King
Removing more miscellaneous throw specifiers. (#1509)
tree
|
commitdiff
2017-12-06
Aina Niemetz
Fixed time stats for MiniSat solve time. (#1431)
tree
|
commitdiff
2017-09-25
Tim King
Initializing BVMinisat Solver::notify to nullptr. ...
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Use new copyright header format.
tree
|
commitdiff
2017-06-23
Andres Nötzli
Fix assertion failure due to missing clause id (#180)
tree
|
commitdiff
2017-03-23
guykatzz
support incremental unsat cores
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2016-11-09
Tim King
Merge branch 'master' into uniq-ptr
tree
|
commitdiff
2016-11-07
Tim King
Fixing a memory leak in the CnfStream unit tests.
tree
|
commitdiff
2016-10-13
Tim King
Revert "Merge branch 'origin' of https://github.com...
tree
|
commitdiff
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-09-02
Tim King
Merge pull request #91 from timothy-king/no-throw
tree
|
commitdiff
2016-09-01
Tim King
Relaxing the throw specifiers for the destructors for...
tree
|
commitdiff
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2016-07-25
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-07-25
Guy
Proper handling for lemmas that are conjuncts:
tree
|
commitdiff
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-06-06
guykatzz
Merge pull request #85 from CVC4/master_for_proof_merge
tree
|
commitdiff
2016-06-02
Guy
Merge from proof branch
tree
|
commitdiff
2016-06-02
Guy
Revert "Merging proof branch"
tree
|
commitdiff
2016-06-02
Guy
Merging proof branch
tree
|
commitdiff
2016-05-25
Liana Hadarean
Fixed build issue due to dummy Cryptominisat constructor.
tree
|
commitdiff
2016-05-25
Liana Hadarean
Merged cryptominisat from experimental branch.
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-03-23
guykatzz
Merge pull request #82 from CVC4/master_for_merge
tree
|
commitdiff
2016-03-23
Guy
squash-merge from proof branch
tree
|
commitdiff
2016-02-24
Tim King
Unifying the definitions of ClauseId to a single source...
tree
|
commitdiff
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
tree
|
commitdiff
2016-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
2016-01-27
Liana Hadarean
Merged bit-vector and uf proof branch.
tree
|
commitdiff
2016-01-09
Tim King
Adding a new Listener utility class. Changing the Resou...
tree
|
commitdiff
2016-01-09
Tim King
Removing StatisticsRegistry's static functions current...
tree
|
commitdiff
2016-01-06
Tim King
Add SmtGlobals Class
tree
|
commitdiff
2015-12-30
Tim King
Shuffling around public vs. private headers
tree
|
commitdiff
2015-12-24
Tim King
Miscellaneous fixes
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff
2015-10-26
Tim King
This fixes a one definition rule violation for reduceDB...
tree
|
commitdiff
2015-06-01
ajreynol
When proof enabled, disable uf sym break. Add regression.
tree
|
commitdiff
2015-05-29
lianah
changed resource step options to unsigned
tree
|
commitdiff
2015-05-28
Liana Hadarean
added options for controlling resource step-count for...
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-28
Clark Barrett
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2015-04-28
Clark Barrett
Disambiguate namespaces in options, fix permissions
tree
|
commitdiff
2015-04-24
Clark Barrett
Fix compiler errors due to unbalanced throw specifiers.
tree
|
commitdiff
2015-04-23
Clark Barrett
Merge branch 'master' into google
tree
|
commitdiff
2015-04-22
Kshitij Bansal
Merge pull request #73 from kbansal/parser-dont-tokenize
tree
|
commitdiff
2015-04-21
Clark Barrett
Changes needed to compile at Google, plus some bug...
tree
|
commitdiff
2015-04-17
Kshitij Bansal
Merge pull request #72 from kbansal/decision-requirephase
tree
|
commitdiff
2015-04-17
Finn Haedicke
moved Minisat namespace into CVC4
tree
|
commitdiff
2015-04-09
Kshitij Bansal
DE requests respect requirePhase
tree
|
commitdiff
2015-03-14
Dejan Jovanovic
Updating resize for occurence lists to properly resize...
tree
|
commitdiff
2015-03-10
ajreynol
CNF proofs. Infrastructure for preprocessing proofs...
tree
|
commitdiff
2014-12-04
Morgan Deters
Fix valgrind-flagged error about uninitialized value.
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-18
lianah
All Minisat solve calls now return lbool (fixes bug...
tree
|
commitdiff
2014-11-17
Liana Hadarean
Resource-limiting work.
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Remove some dead code.
tree
|
commitdiff
2014-11-07
Morgan Deters
Fix a memory leak in SatSolverRegistry (re: bug #594).
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
next