search

cucapra / dahlia

Time-sensitive affine types for predictable hardware generation
https://capra.cs.cornell.edu/dahlia
MIT License
130 stars 8 forks source link

BigInt in EInt to allow large literals in let #409

Closed Mark1626 closed 8 months ago

Mark1626 commented 8 months ago

Fixes #408

Added new tests. Ran the existing unit test sbt test and integration tests with runt