Index of /~avg/ProofChecker/RUPkit

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ].Makefile.swp20-Apr-2007 01:12 12K
[   ]5pipe.cnf03-Jan-2007 13:26 3.2M
[   ]5pipe.rup18-Mar-2007 10:02 4.0M
[TXT]Makefile10-May-2007 18:08 869
[TXT]README-checker307-Jan-2009 00:16 1.6K
[TXT]README-rupToRes23-Apr-2007 01:21 1.2K
[TXT]cbigopen.c27-Mar-2007 23:02 1.1K
[TXT]cbigopen.h27-Mar-2007 23:03 360
[   ]check-rup-32.csh23-Apr-2007 01:16 2.4K
[   ]check-rup.csh23-Apr-2007 01:00 2.4K
[   ]checker320-Apr-2007 01:13 27K
[TXT]checker3.c05-Jan-2009 20:31 30K
[   ]checker3_32_O310-May-2007 18:14 518K
[   ]checker3_64_O305-Jan-2009 20:36 551K
[   ]checker3_64_O3-SHARED09-Jan-2009 06:49 551K
[   ]checker3_64_g05-Jan-2009 20:35 42K
[   ]checker3_64_g-SHARED09-Jan-2009 06:49 42K
[TXT]fudge05-04.cnf20-Dec-2006 01:04 515
[   ]fudge05-04.proofMar2424-Mar-2007 14:19 7.6K
[   ]fudge05-04.rup12-Mar-2007 03:34 4.6K
[TXT]longmult14.cnf03-Jan-2007 13:38 449K
[   ]make-3.log20-Apr-2007 01:13 400
[TXT]rupToRes-32.log23-Apr-2007 01:17 5.2K
[   ]rupToRes_32_O304-May-2007 03:59 1.2M
[   ]testeq.cnf11-Mar-2007 21:02 82
[   ]testeq.proofMar2424-Mar-2007 14:18 504
[   ]testeq.rup11-Mar-2007 22:29 118
[   ]zchaff0_3228-Mar-2007 23:09 1.1M

Apache/2.2.3 (CentOS) Server at users.soe.ucsc.edu Port 80