projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0201aa2) | patch
from meeting
authorMorgan Deters <mdeters@gmail.com>
Tue, 17 Nov 2009 17:06:57 +0000 (17:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 17 Nov 2009 17:06:57 +0000 (17:06 +0000)
commit61330b862f7b5565f70e3c1f4d26a8c51a0f534a
tree60d102ef1e49ee8b1f0b905a5620d2d823c3ba34tree
parent0201aa29bea8467e5cc07f2d0af68a4da3e86ec1commit | diff
from meeting
52 files changed:
src/context/context.h [new file with mode: 0644] blob
src/core/context.h [deleted file] blob | history
src/core/theory.h [deleted file] blob | history
src/core/theory_engine.h [deleted file] blob | history
src/prop/Makefile.am [new file with mode: 0644] blob
src/prop/README.minisat [new file with mode: 0644] blob
src/prop/minisat/LICENSE [new file with mode: 0644] blob
src/prop/minisat/Makefile.am [new file with mode: 0644] blob
src/prop/minisat/README [new file with mode: 0644] blob
src/prop/minisat/core/Main.C [new file with mode: 0644] blob
src/prop/minisat/core/Makefile [new file with mode: 0644] blob
src/prop/minisat/core/Solver.C [new file with mode: 0644] blob
src/prop/minisat/core/Solver.h [new file with mode: 0644] blob
src/prop/minisat/core/SolverTypes.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Alg.h [new file with mode: 0644] blob
src/prop/minisat/mtl/BasicHeap.h [new file with mode: 0644] blob
src/prop/minisat/mtl/BoxedVec.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Heap.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Map.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Queue.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Sort.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Vec.h [new file with mode: 0644] blob
src/prop/minisat/mtl/template.mk [new file with mode: 0644] blob
src/prop/minisat/simp/Main.C [new file with mode: 0644] blob
src/prop/minisat/simp/Makefile [new file with mode: 0644] blob
src/prop/minisat/simp/SimpSolver.C [new file with mode: 0644] blob
src/prop/minisat/simp/SimpSolver.h [new file with mode: 0644] blob
src/sat/Makefile.am [deleted file] blob | history
src/sat/README.minisat [deleted file] blob | history
src/sat/minisat/LICENSE [deleted file] blob | history
src/sat/minisat/Makefile.am [deleted file] blob | history
src/sat/minisat/README [deleted file] blob | history
src/sat/minisat/core/Main.C [deleted file] blob | history
src/sat/minisat/core/Makefile [deleted file] blob | history
src/sat/minisat/core/Solver.C [deleted file] blob | history
src/sat/minisat/core/Solver.h [deleted file] blob | history
src/sat/minisat/core/SolverTypes.h [deleted file] blob | history
src/sat/minisat/mtl/Alg.h [deleted file] blob | history
src/sat/minisat/mtl/BasicHeap.h [deleted file] blob | history
src/sat/minisat/mtl/BoxedVec.h [deleted file] blob | history
src/sat/minisat/mtl/Heap.h [deleted file] blob | history
src/sat/minisat/mtl/Map.h [deleted file] blob | history
src/sat/minisat/mtl/Queue.h [deleted file] blob | history
src/sat/minisat/mtl/Sort.h [deleted file] blob | history
src/sat/minisat/mtl/Vec.h [deleted file] blob | history
src/sat/minisat/mtl/template.mk [deleted file] blob | history
src/sat/minisat/simp/Main.C [deleted file] blob | history
src/sat/minisat/simp/Makefile [deleted file] blob | history
src/sat/minisat/simp/SimpSolver.C [deleted file] blob | history
src/sat/minisat/simp/SimpSolver.h [deleted file] blob | history
src/theory/theory.h [new file with mode: 0644] blob
src/theory/theory_engine.h [new file with mode: 0644] blob