C
CompCert-KVX
A version of CompCert with
extra optimization a backend for the Kalray KVX coreIMPORTANT : mardi 20 avril et jeudi 22 avril entre 16h et 19h, une maintenance des équipements réseau de l'UGA entrainera une coupure de la plate-forme gitlab. Des perturbations sont également possibles entre ces deux dates.
A version of CompCert with
extra optimization a backend for the Kalray KVX core