projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9062483) | patch
This should fix the debian build fails:
authorLiana Hadarean <lianahady@gmail.com>
Wed, 29 Feb 2012 20:33:43 +0000 (20:33 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 29 Feb 2012 20:33:43 +0000 (20:33 +0000)
commit2821b7a47e779c7d4f189ffdffaebe4bdb5b9036
tree16101f79b9c8927645fa896306c1e5cb83721332tree
parent9062483193f4ec9b38aaa57b228cae1fb551566acommit | diff
This should fix the debian build fails:
   * removed bvpicosat directory as it is currently not used

Cleared some of the flurry of warnings my previous merge caused in src/prop/
28 files changed:
src/prop/bvminisat/core/SolverTypes.h diff | blob | history
src/prop/bvpicosat/LICENSE [deleted file] blob | history
src/prop/bvpicosat/Makefile.am [deleted file] blob | history
src/prop/bvpicosat/Makefile.in [deleted file] blob | history
src/prop/bvpicosat/NEWS [deleted file] blob | history
src/prop/bvpicosat/README [deleted file] blob | history
src/prop/bvpicosat/VERSION [deleted file] blob | history
src/prop/bvpicosat/app.c [deleted file] blob | history
src/prop/bvpicosat/config.h [deleted file] blob | history
src/prop/bvpicosat/configure [deleted file] blob | history
src/prop/bvpicosat/main.c [deleted file] blob | history
src/prop/bvpicosat/makefile [deleted file] blob | history
src/prop/bvpicosat/makefile.in [deleted file] blob | history
src/prop/bvpicosat/mkconfig [deleted file] blob | history
src/prop/bvpicosat/picomus.c [deleted file] blob | history
src/prop/bvpicosat/picosat.c [deleted file] blob | history
src/prop/bvpicosat/picosat.h [deleted file] blob | history
src/prop/bvpicosat/version.c [deleted file] blob | history
src/prop/cnf_stream.cpp diff | blob | history
src/prop/minisat/core/SolverTypes.h diff | blob | history
src/prop/minisat/mtl/Vec.h diff | blob | history
src/prop/minisat/simp/SimpSolver.h diff | blob | history
src/prop/minisat/utils/Options.h diff | blob | history
src/prop/sat_module.cpp diff | blob | history
src/prop/sat_module.h diff | blob | history
src/theory/bv/bitblast_strategies.cpp diff | blob | history
src/theory/bv/bv_sat.cpp diff | blob | history
src/theory/bv/bv_sat.h diff | blob | history