diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 13:10:32 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 13:10:32 +1000 |
| commit | 049a16d1b1a683487a0c17014e9f7c477820a132 (patch) | |
| tree | 1e8ef2c44cbc7eb154b245f618794776587619b0 /impl/systems/long-fixpoint.eqns | |
| parent | f7d846f18354e254353bc417ed1a666c59ef3ea2 (diff) | |
Fixed up the newer strategy iteration stuff
Trivial 100000 var case in 15s on my Uni machine.
Diffstat (limited to 'impl/systems/long-fixpoint.eqns')
0 files changed, 0 insertions, 0 deletions