git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 11 Aug 2009 17:11:54 +0000 (17:11 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 11 Aug 2009 17:11:54 +0000 (17:11 +0000)
commit	b36dcc10012937f74bf67301329f4d9c95ffedd1
tree	772f78d0a39e3b09afb66da3f95a3b8b247995c8	tree \| snapshot
parent	9e8b606f6416cd7a928ed42d9899afcdd2fdcc2b	commit \| diff

moved sources into the src directory

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@107 e59a4935-1847-0410-ae03-e826735625c1

83 files changed:

Makefile.in		diff \| blob \| history
src/AST/AST.cpp	[moved from AST/AST.cpp with 100% similarity]	blob \| history
src/AST/AST.h	[moved from AST/AST.h with 100% similarity]	blob \| history
src/AST/ASTKind.kinds	[moved from AST/ASTKind.kinds with 100% similarity]	blob \| history
src/AST/ASTUtil.cpp	[moved from AST/ASTUtil.cpp with 100% similarity]	blob \| history
src/AST/ASTUtil.h	[moved from AST/ASTUtil.h with 100% similarity]	blob \| history
src/AST/BitBlast.cpp	[moved from AST/BitBlast.cpp with 100% similarity]	blob \| history
src/AST/Makefile	[moved from AST/Makefile with 98% similarity]	diff \| blob \| history
src/AST/STLport_config.h	[moved from AST/STLport_config.h with 100% similarity]	blob \| history
src/AST/SimpBool.cpp	[moved from AST/SimpBool.cpp with 100% similarity]	blob \| history
src/AST/ToCNF.cpp	[moved from AST/ToCNF.cpp with 100% similarity]	blob \| history
src/AST/ToSAT.cpp	[moved from AST/ToSAT.cpp with 100% similarity]	blob \| history
src/AST/Transform.cpp	[moved from AST/Transform.cpp with 100% similarity]	blob \| history
src/AST/asttest.cpp	[moved from AST/asttest.cpp with 100% similarity]	blob \| history
src/AST/bbtest.cpp	[moved from AST/bbtest.cpp with 100% similarity]	blob \| history
src/AST/cnftest.cpp	[moved from AST/cnftest.cpp with 100% similarity]	blob \| history
src/AST/genkinds.pl	[moved from AST/genkinds.pl with 100% similarity]	blob \| history
src/AST/printer/CPrinter.cpp	[moved from AST/printer/CPrinter.cpp with 100% similarity]	blob \| history
src/AST/printer/SMTLIBPrinter.cpp	[moved from AST/printer/SMTLIBPrinter.cpp with 100% similarity]	blob \| history
src/AST/printer/dotPrinter.cpp	[moved from AST/printer/dotPrinter.cpp with 100% similarity]	blob \| history
src/AST/printer/printers.h	[moved from AST/printer/printers.h with 100% similarity]	blob \| history
src/bitvec/Makefile	[moved from bitvec/Makefile with 85% similarity]	diff \| blob \| history
src/bitvec/consteval.cpp	[moved from bitvec/consteval.cpp with 100% similarity]	blob \| history
src/c_interface/Makefile	[moved from c_interface/Makefile with 87% similarity]	diff \| blob \| history
src/c_interface/c_interface.cpp	[moved from c_interface/c_interface.cpp with 100% similarity]	blob \| history
src/c_interface/c_interface.h	[moved from c_interface/c_interface.h with 100% similarity]	blob \| history
src/c_interface/fdstream.h	[moved from c_interface/fdstream.h with 100% similarity]	blob \| history
src/constantbv/Makefile	[moved from constantbv/Makefile with 84% similarity]	diff \| blob \| history
src/constantbv/constantbv.cpp	[moved from constantbv/constantbv.cpp with 100% similarity]	blob \| history
src/constantbv/constantbv.h	[moved from constantbv/constantbv.h with 100% similarity]	blob \| history
src/parser/.PL.y.swp	[moved from parser/.PL.y.swp with 100% similarity]	blob \| history
src/parser/.parsePL.cpp.swp	[moved from parser/.parsePL.cpp.swp with 100% similarity]	blob \| history
src/parser/CVC.lex	[moved from parser/CVC.lex with 100% similarity]	blob \| history
src/parser/CVC.y	[moved from parser/CVC.y with 100% similarity]	blob \| history
src/parser/Makefile	[moved from parser/Makefile with 95% similarity]	diff \| blob \| history
src/parser/let-funcs.cpp	[moved from parser/let-funcs.cpp with 100% similarity]	blob \| history
src/parser/main.cpp	[moved from parser/main.cpp with 100% similarity]	blob \| history
src/parser/smtlib.lex	[moved from parser/smtlib.lex with 100% similarity]	blob \| history
src/parser/smtlib.y	[moved from parser/smtlib.y with 100% similarity]	blob \| history
src/sat/LICENSE	[moved from sat/LICENSE with 100% similarity]	blob \| history
src/sat/Makefile	[new file with mode: 0644]	blob
src/sat/README	[moved from sat/README with 100% similarity]	blob \| history
src/sat/core/Makefile	[moved from sat/core/Makefile with 100% similarity]	blob \| history
src/sat/core/Solver.C	[moved from sat/core/Solver.C with 100% similarity]	blob \| history
src/sat/core/Solver.h	[moved from sat/core/Solver.h with 100% similarity]	blob \| history
src/sat/core/SolverTypes.h	[moved from sat/core/SolverTypes.h with 100% similarity]	blob \| history
src/sat/mtl/Alg.h	[moved from sat/mtl/Alg.h with 100% similarity]	blob \| history
src/sat/mtl/BasicHeap.h	[moved from sat/mtl/BasicHeap.h with 100% similarity]	blob \| history
src/sat/mtl/BoxedVec.h	[moved from sat/mtl/BoxedVec.h with 100% similarity]	blob \| history
src/sat/mtl/Heap.h	[moved from sat/mtl/Heap.h with 100% similarity]	blob \| history
src/sat/mtl/Map.h	[moved from sat/mtl/Map.h with 100% similarity]	blob \| history
src/sat/mtl/Queue.h	[moved from sat/mtl/Queue.h with 100% similarity]	blob \| history
src/sat/mtl/Sort.h	[moved from sat/mtl/Sort.h with 100% similarity]	blob \| history
src/sat/mtl/Vec.h	[moved from sat/mtl/Vec.h with 100% similarity]	blob \| history
src/sat/mtl/template.mk	[moved from sat/mtl/template.mk with 100% similarity]	blob \| history
src/sat/simp/Makefile	[moved from sat/simp/Makefile with 100% similarity]	blob \| history
src/sat/simp/SimpSolver.C	[moved from sat/simp/SimpSolver.C with 100% similarity]	blob \| history
src/sat/simp/SimpSolver.h	[moved from sat/simp/SimpSolver.h with 100% similarity]	blob \| history
src/sat/simp/depend.mk	[moved from sat/simp/depend.mk with 100% similarity]	blob \| history
src/simplifier/Makefile	[moved from simplifier/Makefile with 86% similarity]	diff \| blob \| history
src/simplifier/bvsolver.cpp	[moved from simplifier/bvsolver.cpp with 100% similarity]	blob \| history
src/simplifier/bvsolver.h	[moved from simplifier/bvsolver.h with 100% similarity]	blob \| history
src/simplifier/simplifier.cpp	[moved from simplifier/simplifier.cpp with 100% similarity]	blob \| history
tests/bio-tests/Makefile.cvc	[deleted file]	blob \| history
tests/generated_tests/ArrayGenerator.java	[moved from generated_tests/ArrayGenerator.java with 100% similarity]	blob \| history
tests/generated_tests/extract.pl	[moved from generated_tests/extract.pl with 100% similarity]	blob \| history
tests/generated_tests/form_128.var_32.bits_32.cvc	[moved from generated_tests/form_128.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_16.var_32.bits_32.cvc	[moved from generated_tests/form_16.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_256.var_32.bits_32.cvc	[moved from generated_tests/form_256.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_128.bits_32.cvc	[moved from generated_tests/form_32.var_128.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_16.bits_32.cvc	[moved from generated_tests/form_32.var_16.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_256.bits_32.cvc	[moved from generated_tests/form_32.var_256.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_32.bits_32.cvc	[moved from generated_tests/form_32.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_4.bits_32.cvc	[moved from generated_tests/form_32.var_4.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_64.bits_32.cvc	[moved from generated_tests/form_32.var_64.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_32.var_8.bits_32.cvc	[moved from generated_tests/form_32.var_8.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_4.var_32.bits_32.cvc	[moved from generated_tests/form_4.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_64.var_32.bits_32.cvc	[moved from generated_tests/form_64.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/form_8.var_32.bits_32.cvc	[moved from generated_tests/form_8.var_32.bits_32.cvc with 100% similarity]	blob \| history
tests/generated_tests/g.cvc	[moved from generated_tests/g.cvc with 100% similarity]	blob \| history
tests/generated_tests/gen2.cvc	[moved from generated_tests/gen2.cvc with 100% similarity]	blob \| history
tests/generated_tests/run-experiments.pl	[moved from generated_tests/run-experiments.pl with 100% similarity]	blob \| history
tests/generated_tests/testgen.pl	[moved from generated_tests/testgen.pl with 100% similarity]	blob \| history

STP Constraint Solver.

RSS Atom