search

ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Type var ir #153

Closed jar2333 closed 1 year ago

jar2333 commented 1 year ago

Has the printing of the program IR with the type variables used by the solver.