source

spat

1.3.0

SPAT - SPARK Proof Analysis Tool

Website Repository Community CIResults All crate versions Download JSON

1.3.0

SPAT - SPARK Proof Analysis Tools

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

Authors: Vinzent "Jellix" Saranen
Maintainers: vinzent@heisenbug.eu
Maintainer profiles: @Jellix
Licenses: WTFPL
Website: https://github.heisenbug.eu/spat
Repository: github.com/HeisenbugLtd/spat
Source revision: 4ad4ab14447a
Tags: spark
Project files: spat.gpr
Executables: run_spat
Manifest: index/sp/spat/spat-1.3.0.toml