Skip to content

Fix `search` to resolve abbreviations by expanding their body

b2920c1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix search to resolve abbreviations by expanding their body #977

Fix `search` to resolve abbreviations by expanding their body
b2920c1
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
EasyCrypt compilation (opam)
succeeded Apr 13, 2026 in 1m 28s