Changes between Version 60 and Version 61 of Supercompilation


Ignore:
Timestamp:
Jan 7, 2010 12:41:49 AM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v60 v61  
    77 * Naivrec: Double runtime
    88 * nbody: unsafe-things, segfault.
    9  * boyer2: head: empty list; splitTerm
    10  * Sieve2: run with argument 3. Wrong output.
    11  * The Simplifier gets confused by the wrong `OccInfo` on things. So run occurrence analysis at the end of supercompilation. The occurrence analyser gets confused by having the wrong Unfoldings for id's though. We currently zap things here and there, but this is not the right way to do it.
     9 * boyer2: Hang
    1210
    1311== Shortcomings of the prototype ==