?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
README: rename
[ppn.git] / tests / inputs / eqv / non-uniform / output
blobc0e44aea740580b1a9e473811543c969925cb272
1 Equivalence proved: '[N] -> { out[] : N >= 0 }'
Polyhedral Process Networks