... | @@ -41,7 +41,7 @@ Fixes that should go into the implementation: |
... | @@ -41,7 +41,7 @@ Fixes that should go into the implementation: |
|
|
|
|
|
- Understand how the inscope-set is handled in [SpecConstr](spec-constr), and use that. Stop recreating inscope-sets in substNewExpr (top3 on memory profile).
|
|
- Understand how the inscope-set is handled in [SpecConstr](spec-constr), and use that. Stop recreating inscope-sets in substNewExpr (top3 on memory profile).
|
|
|
|
|
|
- Both msg and split' are broken; namecapture. Must be fixed.
|
|
- msg is broken; namecapture. Must be fixed.
|
|
|
|
|
|
- Implement Simon's algorithm.
|
|
- Implement Simon's algorithm.
|
|
|
|
|
... | | ... | |