SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249
stars
33
forks
source link
Add x86_64-FreeBSD as a platform #15
Closed
Richard-Wai closed 5 years ago
Cleaned up to a single commit from a previous pull-request based on the fsf branch.