Skip to content

[ETS] Prove bounded numeric builtin calls - #365

Closed
CaelmBleidd wants to merge 5 commits into
neofrom
caelmbleidd/expanded-numeric-builtin-proof
Closed

[ETS] Prove bounded numeric builtin calls#365
CaelmBleidd wants to merge 5 commits into
neofrom
caelmbleidd/expanded-numeric-builtin-proof

fix(ets): preserve proofs across intrinsic undefined guards

35f248b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar