Pinned Repositories
verif-scop's Repositories
verif-scop/PolCert
A verified polyhedral scheduling validator in Coq.
verif-scop/cloog
The CLooG Code Generator in the Polytope Model
verif-scop/piplib
Parametric Integer Programming Library
verif-scop/pluto
Pluto: An automatic polyhedral parallelizer and locality optimizer
verif-scop/speed-up
Testing speed-up for optimization within the validator's ability.