Changes between Version 25 and Version 26 of Supercompilation

Timestamp:

07/20/09 02:57:33 (4 years ago)

Author:

pejo

Comment:

--

Supercompilation

@@ -46 +46 @@
 
  * Write drive, msg, split in the R form.  Still with eager substitution
- * Export unfoldings for recursive functions.  
  * Refined whistle-blowing test
  * Neil's msg idea
@@ -61 +60 @@
  * Lambda lifting
  * Add the "loop-breaker" info to interface files (and read it back in).
+ * Export unfoldings for recursive functions.  
 
 == Open questions ==