search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

Optimization framework for nnrs_imp #98

Closed shinnar closed 6 years ago

shinnar commented 6 years ago

Add support for optimizing nnrs_imp, as for other languages, e.g. nnrc