Closed avanhatt closed 1 year ago
All rules type check, but the i64 rule does not terminate within ~20 min. Using the simplest popcnt encoding of extracting each bit.
popcnt
All rules type check, but the i64 rule does not terminate within ~20 min. Using the simplest
popcnt
encoding of extracting each bit.