Skip to content

Primops: MachineInts: fix OP_underspec#3179

Merged
mtzguido merged 5 commits intoFStarLang:masterfrom mtzguido:machine_int_primops2Dec 21, 2023

Commits

Commits on Dec 21, 2023