Skip to content

split: add `split *` and `split +` to iterate over top-level conjunct…

cd41876
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

split: add split * and split + to iterate over top-level conjunctions #1015

split: add `split *` and `split +` to iterate over top-level conjunct…
cd41876
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded May 25, 2026 in 4s