Index of /~avg/ProofChecker/RUPkit
Name Last modified Size Description
5pipe.cnf 2007-01-03 13:26 3.2M
5pipe.rup 2007-03-18 10:02 4.0M
Makefile 2007-05-10 18:08 869
README-checker3 2010-10-07 13:39 1.6K
README-checker3-2009 2009-01-07 00:16 1.6K
README-rupToRes 2010-10-07 12:33 2.0K
README-rupToRes-2007 2007-04-23 01:21 1.2K
cbigopen.c 2007-03-27 23:02 1.1K
cbigopen.h 2007-03-27 23:03 360
check-rup-32.csh 2007-04-23 01:16 2.4K
check-rup.csh 2007-04-23 01:00 2.4K
checker3 2007-04-20 01:13 27K
checker3.c 2009-01-05 20:31 30K
checker3_32_O3 2007-05-10 18:14 518K
checker3_64_O3 2009-01-09 06:49 551K
checker3_64_g-SHARED 2009-01-09 06:49 42K
fudge05-04.cnf 2006-12-20 01:04 515
fudge05-04.proofMar24 2007-03-24 14:19 7.6K
fudge05-04.rup 2007-03-12 03:34 4.6K
longmult14.cnf 2007-01-03 13:38 449K
make-3.log 2007-04-20 01:13 400
rupToRes-32.log 2007-04-23 01:17 5.2K
rupToRes_32_O3 2010-10-07 10:33 1.2M
rupToRes_32_O3_3GB 2010-10-07 10:26 1.2M
rupToRes_64_O3 2010-10-07 09:29 1.3M
testeq.cnf 2007-03-11 21:02 82
testeq.proofMar24 2007-03-24 14:18 504
testeq.rup 2007-03-11 22:29 118
zchaff0_32 2007-03-28 23:09 1.1M
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443