Skip to content

fstar: formalize FPA rewriter rules from PR #9038 in F* with Meta-F* extraction and CI workflow#9222

Closed
NikolajBjorner with Copilot wants to merge 9 commits into
masterfrom
copilot/formalize-fpa-rewrite-rules
Closed

fstar: formalize FPA rewriter rules from PR #9038 in F* with Meta-F* extraction and CI workflow#9222
NikolajBjorner with Copilot wants to merge 9 commits into
masterfrom
copilot/formalize-fpa-rewrite-rules

fstar: address code review comments - document gen_rhs_expr_list and …

c49b403
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar