A verified polyhedral scheduling validator in Coq.
-
Updated
Jul 15, 2024 - Coq
A verified polyhedral scheduling validator in Coq.
PolyGen is a code generator for the polyhedral model, written and proved in Coq.
Add a description, image, and links to the polyhedral-model topic page so that developers can more easily learn about it.
To associate your repository with the polyhedral-model topic, visit your repo's landing page and select "manage topics."