Spat

SPAT - SPARK Proof Analysis Tool

Website
Author: Vinzent "Jellix" Saranen
Maintainer: vinzent@heisenbug.eu
License: WTFPL
Version: 1.3.0
Dependencies: Tags: spark
Badge:

SPAT - SPARK Proof Analysis Tools

Helper tool to obtain, analyse, sort, and filter timing information about gnatprove runs (SPARK tools).