Index of /~avg/ProofChecker/RUPkit

	Name	Last modified	Size	Description
	Parent Directory		-
	.Makefile.swp	20-Apr-2007 01:12	12K
	5pipe.cnf	03-Jan-2007 13:26	3.2M
	5pipe.rup	18-Mar-2007 10:02	4.0M
	Makefile	10-May-2007 18:08	869
	README-checker3	07-Jan-2009 00:16	1.6K
	README-rupToRes	23-Apr-2007 01:21	1.2K
	cbigopen.c	27-Mar-2007 23:02	1.1K
	cbigopen.h	27-Mar-2007 23:03	360
	check-rup-32.csh	23-Apr-2007 01:16	2.4K
	check-rup.csh	23-Apr-2007 01:00	2.4K
	checker3	20-Apr-2007 01:13	27K
	checker3.c	05-Jan-2009 20:31	30K
	checker3_32_O3	10-May-2007 18:14	518K
	checker3_64_O3	05-Jan-2009 20:36	551K
	checker3_64_O3-SHARED	09-Jan-2009 06:49	551K
	checker3_64_g	05-Jan-2009 20:35	42K
	checker3_64_g-SHARED	09-Jan-2009 06:49	42K
	fudge05-04.cnf	20-Dec-2006 01:04	515
	fudge05-04.proofMar24	24-Mar-2007 14:19	7.6K
	fudge05-04.rup	12-Mar-2007 03:34	4.6K
	longmult14.cnf	03-Jan-2007 13:38	449K
	make-3.log	20-Apr-2007 01:13	400
	rupToRes-32.log	23-Apr-2007 01:17	5.2K
	rupToRes_32_O3	04-May-2007 03:59	1.2M
	testeq.cnf	11-Mar-2007 21:02	82
	testeq.proofMar24	24-Mar-2007 14:18	504
	testeq.rup	11-Mar-2007 22:29	118
	zchaff0_32	28-Mar-2007 23:09	1.1M