gitlab.inria.fr / minicroco 2 Dépôts
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.
dernière synchronisation: il y a 7 mois - étoiles: 1 - forks: 0
minicroco/minicroco
An experimental CROCO version to research a new DSL approach based on uplifting to a DSL-IR.
dernière synchronisation: il y a 12 mois - enregistré: il y a 11 mois - étoiles: 1 - forks: 3