search

runtimeverification / mx-semantics

6 stars 1 forks source link

Fix fallback on `bigIntSign` #289

Closed bbyalcinkaya closed 2 weeks ago

bbyalcinkaya commented 3 weeks ago

Addresses this fallback:

| rewrite f89155e935b84f3093b36a8281bc51d1686acf93a396fef17b86910408c1daa7 | ...mx-semantics/vmhooks/bigIntOps.md :  (343, 10) | match | 41
jberthold commented 2 weeks ago

LGTM I am still testing this, but am expecting the fall-back to be eliminated by this change.

:heavy_check_mark: