search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Change Pipeline to Interpret 24-bit Integers by Default #159

Closed agureev closed 11 months ago

agureev commented 11 months ago

Changes the Lambda code to expect 24-bit integers by default as per the Juvix testing requirements.

Appropriately removes the range checks during compilation to VampIR.

mariari commented 11 months ago

Sad but I'll let it pass