Skip to content

Fixed compiling errors in Xreal - #1211

Open
StefanoGalligani wants to merge 1 commit into
EasyCrypt:expectation-formfrom
StefanoGalligani:expectation-form
Open

Fixed compiling errors in Xreal#1211
StefanoGalligani wants to merge 1 commit into
EasyCrypt:expectation-formfrom
StefanoGalligani:expectation-form

Fixed compiling errors in Xreal

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

Annotations

1 notice
build
succeeded Oct 16, 2026 in 7m 12s