summaryrefslogtreecommitdiff
path: root/impl/systems/bound.eqns
AgeCommit message (Collapse)Author
2012-07-02Dependency-aware smart fixpoint.Carlo Zancanaro
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.