Skip to content

Sketch Pulse short-circuiting for stateful boolean operands#4336

Draft
eluvane wants to merge 9 commits into
FStarLang:masterfrom
eluvane:codeh/pulse-stateful-bool-short-circuit
Draft

Sketch Pulse short-circuiting for stateful boolean operands#4336
eluvane wants to merge 9 commits into
FStarLang:masterfrom
eluvane:codeh/pulse-stateful-bool-short-circuit

Commits

Commits on Jun 26, 2026

Commits on Jun 27, 2026