Skip to content

Tactics: make splice_t always run without admit/lax#3336

Merged
mtzguido merged 5 commits intoFStarLang:masterfrom mtzguido:splice_no_laxJun 29, 2024

Commits

Commits on Jun 29, 2024