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>
	Fri, 14 Aug 2009 16:24:42 +0000 (16:24 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 14 Aug 2009 16:24:42 +0000 (16:24 +0000)
commit	32a4f50431b86cf2485ff2a47b2dfe855f346759
tree	01110623b8518598b6c9d592e359359f199bdd61	tree \| snapshot
parent	e7ddc1fd0c36c11c867413b9b3a32b5b0fcf7ef1	commit \| diff

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

20 files changed:

INSTALL		diff \| blob \| history
clean-install.sh	[moved from clean-install with 88% similarity]	diff \| blob \| history
make-scripts/Makefile.common	[moved from Makefile.common with 100% similarity]	blob \| history
make-scripts/Makefile.in		diff \| blob \| history
make-scripts/config.info		diff \| blob \| history
make-scripts/configure	[moved from configure with 100% similarity]	blob \| history
make-scripts/format_config.xml	[moved from format_config.xml with 100% similarity]	blob \| history
src/AST/Makefile		diff \| blob \| history
src/bitvec/Makefile		diff \| blob \| history
src/c_interface/Makefile		diff \| blob \| history
src/constantbv/Makefile		diff \| blob \| history
src/ocaml-wrapper/COPYRIGHT-NOTICE	[moved from ocaml-wrapper/COPYRIGHT-NOTICE with 100% similarity]	blob \| history
src/ocaml-wrapper/Makefile	[moved from ocaml-wrapper/Makefile with 100% similarity]	blob \| history
src/ocaml-wrapper/OCamlMakefile	[moved from ocaml-wrapper/OCamlMakefile with 100% similarity]	blob \| history
src/ocaml-wrapper/libstp.idl	[moved from ocaml-wrapper/libstp.idl with 100% similarity]	blob \| history
src/ocaml-wrapper/libstp_regerrorhandler.c	[moved from ocaml-wrapper/libstp_regerrorhandler.c with 100% similarity]	blob \| history
src/ocaml-wrapper/stpvc.ml	[moved from ocaml-wrapper/stpvc.ml with 100% similarity]	blob \| history
src/ocaml-wrapper/stpvc.mli	[moved from ocaml-wrapper/stpvc.mli with 100% similarity]	blob \| history
src/parser/Makefile		diff \| blob \| history
src/simplifier/Makefile		diff \| blob \| history

STP Constraint Solver.