Skip to content

Counted pulls in formal/: LT with byte μ and soundness by finishing order, on the Clean fork - #1031

Draft
jotabulacios wants to merge 6 commits into
formal/clean-modelfrom
formal/counted-pulls
Draft

Counted pulls in formal/: LT with byte μ and soundness by finishing order, on the Clean fork#1031
jotabulacios wants to merge 6 commits into
formal/clean-modelfrom
formal/counted-pulls

Update formal/README for counted pulls: LT now pulls IS_HALF and MSB1…

c146bd2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar