gitlab.inria.fr / minicroco 2 Repositories
minicroco/psyclone
A local clone of the PSyClone official repository (https://github.com/stfc/PSyclone) to store our local temporary changes for the studies we are doing and to keep track of them in a single place.
Last synced at: 7 months ago - Stars: 1 - Forks: 0
minicroco/minicroco
An experimental CROCO version to research a new DSL approach based on uplifting to a DSL-IR.
Last synced at: about 1 year ago - Pushed at: 11 months ago - Stars: 1 - Forks: 3