Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-29 20:41:57 -0700 (Tue, 29 Jul 2003)
Revision: 4786
Log message:

      Killing the DoubleWeak testing module.
      
      I ran 33 rounds of "make clean/ remove *.prlb/ make opt" (most of those
      with DoubleWeak and a few without), in each round starting up MetaPRL
      500 times. In all those 33 compilations and >16,000 startups I have not seen
      a single instance of the memoizer bug, so it must really be caused by an
      incomplete recompilation.
      

Changes	Path
+0 -59	metaprl/mllib/weak_memo.ml