souffle-lang/souffle
@souffle-langSoufflé est une variante de Datalog destinée aux concepteurs d'outils créant des analyses en clauses de Horn. Soufflé synthétise un programme C++ parallèle natif à partir d'une spécification logique.
Étoiles
1 155
Bifurcations
242
Langage
C++
Licence
UPL-1.0
Dernier push
il y a 2 mois
Intel associée (0)
Aucune intel associée pour le moment
Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.