-
Refactor HscMain.finish 0 of 5 checklist items completed!2602
-
Delete some superfluous helper functions in HscMain 0 of 5 checklist items completed!2601
-
Fix docs for FrontendResult 0 of 5 checklist items completed!2599
-
WIP: Add simplifier pass after SpecConstr (fixes #17722, #17724) 3 of 5 checklist items completed!2596
-
WIP: Add simplifier pass after SpecConstr (fixes #17722, #17724) 3 of 5 checklist items completed!2595
-
WIP: Add simplifier pass after SpecConstr (fixes #17722, #17724) 3 of 5 checklist items completed!2594 8.10.2