| From: Robby Findler (robby at cs.uchicago.edu) Date: Sun Jan 22 09:06:39 EST 2006 |
|
The latest version adds the capability to label edges in the gui with the names of the reductions, and has some modest performance improvements in the matcher (10-20% on real benchmarks). Robby & Jacob
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}