]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f12b83) | patch
Removing the "broken" directory. The contents of this directory have already been...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 23 May 2009 14:26:17 +0000 (14:26 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 23 May 2009 14:26:17 +0000 (14:26 +0000)
commitea1bf0f7b4ecf3caa4acde82739fe87dc8543ad4
tree09843b3553db316ebca34e146926b984c1fae427tree | snapshot
parent7f12b837bf9a292a519a40d0cff224fdeb19c0e9commit | diff
Removing the "broken" directory. The contents of this directory have already been moved to /stp-tests/smt-problems

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@79 e59a4935-1847-0410-ae03-e826735625c1
broken/BROKEN [deleted file] blob | history
broken/fixed/little.smt [deleted file] blob | history
broken/nextpoweroftwo064.smt [deleted file] blob | history
STP Constraint Solver.