source

spat

1.2.1

SPAT - SPARK Proof Analysis Tool

WebsiteRepository Community CIResults All crate versions Download JSON

1.2.1

SPAT - SPARK Proof Analysis Tools Helper tool to obtain 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
a25eb494136d
Tags
spark
Project files
spat.gpr
Executables
run_spat
Manifest
index/sp/spat/spat-1.2.1.toml