]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67ee8c1) | patch
Cleanup. This removes some of the code for the user controlled abstraction-refinement...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 26 Jan 2012 04:23:02 +0000 (04:23 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 26 Jan 2012 04:23:02 +0000 (04:23 +0000)
commitf7eac78d33f49f5dd7c6155931a6d086769cc8a6
tree3836e8d18a7db3eb9cf4e3c35e82b2f3cbf52dc0tree | snapshot
parent67ee8c105fdd0e2054cc1fa44bf5b1726a32e98ccommit | diff
Cleanup. This removes some of the code for the user controlled abstraction-refinement. I don't know if this code worked or not. There aren't any test cases that use it, so it might be broken. Removing this makes some changes I'm trying to make much easier. Sorry if you use it. Let me know. Trev.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1524 e59a4935-1847-0410-ae03-e826735625c1
src/STPManager/STPManager.cpp diff | blob | history
src/STPManager/STPManager.h diff | blob | history
src/c_interface/c_interface.cpp diff | blob | history
src/c_interface/c_interface.h diff | blob | history
STP Constraint Solver.