5 ms·
Author here! Let me know if I can contribute to the discussion.
by alpaylan 1mo ago
Author here! Let me know if I can contribute to the discussion.
- jkhdigital 1mo agoIn section 6.1 you mention experimenting with bypassing the precondition checks for correct-by-construction generators. Have you considered giving this "unsafe" runner a type that demands a completeness certificate for the generator (in the style of https://dl.acm.org/doi/10.1145/3158133 https://dl.acm.org/doi/10.1145/3158133) so that this optimization is at least available only when proven sound?