Skip to content

check_text, for the oracles check_num cannot express (#418) - #425

Merged
jdatcmd merged 1 commit into
mainfrom
test/adopt-check-num-in-index-projection
Aug 5, 2026
Merged

check_text, for the oracles check_num cannot express (#418)#425
jdatcmd merged 1 commit into
mainfrom
test/adopt-check-num-in-index-projection

Commits

Commits on Aug 5, 2026