]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b36dcc1) | patch
moved regression logs and TALKS directories
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 11 Aug 2009 17:18:04 +0000 (17:18 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 11 Aug 2009 17:18:04 +0000 (17:18 +0000)
commitff1c4edc5c6208617698a082ff2e11b0b7aa6e01
tree350192cd2c7ceda91f04fcc1f42254d469f41d5atree | snapshot
parentb36dcc10012937f74bf67301329f4d9c95ffedd1commit | diff
moved regression logs and TALKS directories

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@108 e59a4935-1847-0410-ae03-e826735625c1
TALKS/MIT-vijayganesh-stp-talk.pdf [deleted file] blob | history
TALKS/MIT-vijayganesh-stp-talk.ppt [deleted file] blob | history
old-regressions-logs/2007-07-21-regress.log_bigarray-test [deleted file] blob | history
old-regressions-logs/2007-07-22-regress.log [deleted file] blob | history
old-regressions-logs/2008-01-14-regress.log [deleted file] blob | history
old-regressions-logs/2008-01-14-regress.log-big-test [deleted file] blob | history
old-regressions-logs/2008-01-14-regress.log-bigarray-test [deleted file] blob | history
old-regressions-logs/2008-01-15-regress.log [deleted file] blob | history
old-regressions-logs/2008-01-15-regress.log-bigarray-test [deleted file] blob | history
old-regressions-logs/README [deleted file] blob | history
STP Constraint Solver.