Index of /~avg/ProofChecker/RUPkit

Icon  Name                    Last modified      Size  Description
[   ] 5pipe.cnf 2007-01-03 13:26 3.2M [   ] 5pipe.rup 2007-03-18 10:02 4.0M [TXT] Makefile 2007-05-10 18:08 869 [TXT] README-checker3 2010-10-07 13:39 1.6K [TXT] README-checker3-2009 2009-01-07 00:16 1.6K [TXT] README-rupToRes 2010-10-07 12:33 2.0K [TXT] README-rupToRes-2007 2007-04-23 01:21 1.2K [TXT] cbigopen.c 2007-03-27 23:02 1.1K [TXT] 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 [TXT] 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 [TXT] 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 [TXT] longmult14.cnf 2007-01-03 13:38 449K [TXT] make-3.log 2007-04-20 01:13 400 [TXT] 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