Filename Modification time Size Makefile 2006-10-14 06:59 CEST 2340 B genpat5.hs 2006-10-09 14:32 CEST 2666 B lfu.hs 2006-10-09 14:32 CEST 2395 B lirs.c 2006-10-09 14:43 CEST 5682 B lru.hs 2006-10-09 14:32 CEST 2049 B nbsd.hs 2006-10-09 14:32 CEST 4701 B opt.hs 2006-10-09 14:32 CEST 2235 B pdsim.c 2006-10-14 06:43 CEST 5815 B pdsim.h 2006-10-09 14:32 CEST 4519 B rand.hs 2006-10-09 14:32 CEST 2187 B renumber.hs 2006-10-09 14:32 CEST 1769 B