Closed mtzguido closed 1 month ago
Mostly for performance. For an example from Karthik, the checking time for a big class decreases from 48s without the meta_projectors, to 11s with it. Still a long way to go, I think this could be well under a second.,
https://github.com/mtzguido/FStar/actions/runs/11042202279
mtzguido
commented
1 month ago
Mostly for performance. For an example from Karthik, the checking time for a big class decreases from 48s without the meta_projectors, to 11s with it. Still a long way to go, I think this could be well under a second.,