Jason Gross (Jun 21 2021 at 01:43): Jason Gross (Jun 21 2021 at 01:43):I'm pleased to report that, despite the hiccups in getting this working, it seems to be working moderately well. Median time to minimize a development seems to be about 10--30 minutes (though there's the occasional development that takes 3 days to minimize). I think the current bottleneck in minimization support is something like https://github.com/coq/coq/issues/3171#issuecomment-864583488 to deal with https://github.com/coq/coq/issues/14529 (having a way to create a module with a user-defined path-component of the DirPath.t)
Last updated: Apr 20 2024 at 10:02 UTC