projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
file header documentation regenerated with contributors names; no code modified in...
[cvc5.git]
/
src
/
prop
/
sat.h
2010-10-03
Morgan Deters
file header documentation regenerated with contributors...
blob
|
commitdiff
|
raw
2010-09-21
Morgan Deters
fix statistics-registry-related memory leaks
blob
|
commitdiff
|
raw
|
diff to current
2010-08-20
Dejan Jovanović
updating the minisat restart parameters after running...
blob
|
commitdiff
|
raw
|
diff to current
2010-08-15
Dejan Jovanović
(no commit message)
blob
|
commitdiff
|
raw
|
diff to current
2010-07-07
Clark Barrett
Added shared term manager. Basic mechanism for identif...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-04
Morgan Deters
Considerably simplified the way output streams are...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-02
Morgan Deters
re-generated comment headers of source files
blob
|
commitdiff
|
raw
|
diff to current
2010-06-29
Tim King
Merging the unate-propagator branch into the trunk...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-18
Tim King
Merging the statistics branch into the main trunk....
blob
|
commitdiff
|
raw
|
diff to current
2010-06-04
Morgan Deters
** Don't fear the files-changed list, almost all change...
blob
|
commitdiff
|
raw
|
diff to current
2010-05-25
Dejan Jovanović
Some initial changes to allow for lemmas on demand.
blob
|
commitdiff
|
raw
|
diff to current
2010-05-14
Christopher L. Conway
Adding debugging code in PropEngine/CnfStream
blob
|
commitdiff
|
raw
|
diff to current
2010-05-14
Christopher L. Conway
Virtualizing interface between CnfStream and SatSolver
blob
|
commitdiff
|
raw
|
diff to current
2010-05-13
Christopher L. Conway
Minor refactorings to PropEngine, SatSolver
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
Morgan Deters
reran update-copyright.pl to get new contributors and...
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
Morgan Deters
PARSER STUFF:
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
Christopher L. Conway
Adding comments to NodeManager
blob
|
commitdiff
|
raw
|
diff to current
2010-03-12
Dejan Jovanović
Fixing unnecessary construction of NOT nodes when...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-12
Morgan Deters
* Added shutdown() functions to SmtEngine, TheoryEngine...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-11
Dejan Jovanović
Changing const TNode& to TNode in the CNF conversion...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-11
Dejan Jovanović
Fix for the main bug that was bugging me -- Bug 49...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-08
Dejan Jovanović
adding simple-uf to the regressions, and the code that...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-08
Dejan Jovanović
some more sat stuff for tim: assertions now go to theory_uf
blob
|
commitdiff
|
raw
|
diff to current
2010-03-04
Dejan Jovanović
Adding phase-caching to minisat.
blob
|
commitdiff
|
raw
|
diff to current
2010-03-03
Dejan Jovanović
Some SAT stuff, not doing anything special yet, just...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-26
Morgan Deters
* test/unit/context/context_black.h: Test CDList<>...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-22
Morgan Deters
* configure.ac: Remove doc/ from search path for Makefi...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-13
Dejan Jovanović
simplification minisat
blob
|
commitdiff
|
raw
|
diff to current
2010-02-09
Dejan Jovanović
Changes to the CNF conversion and the SAT solver. All...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Dejan Jovanović
beautification of the prop engine
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
remove -*- c++ -*- emacs tag from source files (it...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
Morgan Deters
minor fix for update-copyright.pl; ran update-copyright...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-17
Morgan Deters
update-copyright.pl now retrieves and incorporates...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-19
Morgan Deters
testing framework, configure fixes, incorporations...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-17
Morgan Deters
from meeting
blob
|
commitdiff
|
raw
|
diff to current