Skip to content

native: Pass chknorm bound to assembly as int64_t - #1445

Merged
mkannwischer merged 2 commits into
mainfrom
hol-light-chknorm-bound-low32
Oct 6, 2026
Merged

native: Pass chknorm bound to assembly as int64_t #1445
mkannwischer merged 2 commits into
mainfrom
hol-light-chknorm-bound-low32

HOL-Light: Take chknorm bound as int64 in specs

a1c60c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar