SPARK2014 and FSF GCC Forward in code By: [email protected] (Simon Wright) 20 February 2022 at 18:01 This is a note about building SPARK (i.e. gnatprove) against an FSF GCC. Read more ยป