search

cdonovick / peak

Peak : Processor Specification Language ala Newell and Bell's ISP
19 stars 3 forks source link

Fixes incorrect test #228

Closed rdaly525 closed 3 years ago

rdaly525 commented 3 years ago

Reveals a bug in the magma generation.

Currently to generate magma, magma annotations need to be used. This needs to be changed to use Py annotations to be consistent with Py/SMT/RRgen