diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-02 17:44:17 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-02 17:44:17 +1000 |
| commit | 785d762d4f5d69e3c89855f68cb0654aace4608d (patch) | |
| tree | cf26981337afa2ce59dc921bc22655faf33c4281 /.gitignore | |
| parent | 9e0d0b59f44d781d2cbbff4f83d2ab71b7dc0121 (diff) | |
Dependency-aware smart fixpoint.
Slows it down *heaps* for the moment.
Still need to add the MaxStrategy part, which should speed it up a fair
bit. At the moment it has to do a fair bit more work for no benefit.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions