Skip to content
@verif-scop

verif-scop

Pinned Loading

  1. PolCert PolCert Public

    A verified polyhedral scheduling validator in Coq.

    Coq 19 1

Repositories

Showing 5 of 5 repositories
  • PolCert Public

    A verified polyhedral scheduling validator in Coq.

    verif-scop/PolCert’s past year of commit activity
    Coq 19 LGPL-2.1 1 0 0 Updated Oct 2, 2024
  • speed-up Public

    Testing speed-up for optimization within the validator's ability.

    verif-scop/speed-up’s past year of commit activity
    C 0 0 0 0 Updated Nov 18, 2023
  • pluto Public Forked from bondhugula/pluto

    Pluto: An automatic polyhedral parallelizer and locality optimizer

    verif-scop/pluto’s past year of commit activity
    C 0 MIT 66 0 0 Updated Aug 11, 2023
  • piplib Public Forked from periscop/piplib

    Parametric Integer Programming Library

    verif-scop/piplib’s past year of commit activity
    C 0 LGPL-2.1 9 0 0 Updated Jun 15, 2023
  • cloog Public Forked from bondhugula/cloog

    The CLooG Code Generator in the Polytope Model

    verif-scop/cloog’s past year of commit activity
    C 0 LGPL-2.1 24 0 0 Updated Jun 15, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…