]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
added code to facilitate user-guided abstraction-refinement
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 16 Nov 2009 23:13:05 +0000 (23:13 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 16 Nov 2009 23:13:05 +0000 (23:13 +0000)
commit2d0730c6afa2c7810c0f6d089b4df1265144bab9
tree07f808a6a2dff9c5d74df44ed3fbb1a6258c45e1
parent045971429312ea53d16451a9e0b286d3bfbe77fc
added code to facilitate user-guided abstraction-refinement

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@409 e59a4935-1847-0410-ae03-e826735625c1
src/AST/AST.h
src/STPManager/STPManager.cpp
src/STPManager/STPManager.h
src/parser/CVC.lex
src/to-sat/ToCNF.cpp
src/to-sat/ToCNF.h