HeisenbugLtd / spat Star 15 Code Issues Pull requests SPARK Proof Analysis Tool proof ada formal-verification gnatprove spark-ada ada2012 ada-language spark2014 spark-proof-analysis Updated Oct 19, 2020 Ada
damaki / gnatprove2xls Star 4 Code Issues Pull requests Convert GNATprove report files to an XLS spreadsheet gnatprove spark-ada Updated Mar 30, 2017 Python
nsailor / SpaceAda Star 2 Code Issues Pull requests A small subset of Ada targeting embedded systems. rust parser embedded compiler llvm ada gnat gnatprove Updated Apr 17, 2017 Rust