]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaf2b56) | patch
added new testing perl script. minor edits to Makefiles.
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 22 Sep 2009 00:43:54 +0000 (00:43 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 22 Sep 2009 00:43:54 +0000 (00:43 +0000)
commit33e382180b4271f9a9c61e23dc30517f2bb70aec
treee54bec9f2558bc3486b9dc23e470a3477f0d0650tree | snapshot
parentaaf2b566cef07925ed47a46f01e4c13a201db84ccommit | diff
added new testing perl script. minor edits to Makefiles.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@247 e59a4935-1847-0410-ae03-e826735625c1
Makefile diff | blob | history
README diff | blob | history
scripts/Makefile.in diff | blob | history
scripts/run_stp_tests.pl [new file with mode: 0755] blob
src/abstraction-refinement/AbstractionRefinement.cpp diff | blob | history
tests/c-api-tests/Makefile diff | blob | history
tests/c-api-tests/biosat-rna.cpp diff | blob | history
STP Constraint Solver.