Skip to content

Simplify some smt calls#1025

Merged
strub merged 1 commit into
mainfrom
flaky-smt
Jun 5, 2026
Merged

Simplify some smt calls#1025
strub merged 1 commit into
mainfrom
flaky-smt

simplify some smt calls

8e662ad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
EasyCrypt compilation (nix)
succeeded Jun 5, 2026 in 1m 21s