source

spat

1.0.0

SPAT - SPARK Proof Analysis Tool

1.0.0

SPAT - SPARK Proof Analysis Tools Helper tool to obtain timing information about gnatprove runs (SPARK tools).

Maintainers: vinzent@heisenbug.eu
Maintainer profiles: @Jellix
Licenses: WTFPL
Website: https://github.heisenbug.eu/spat
Repository: github.com/HeisenbugLtd/spat
Release archive: github.com/HeisenbugLtd/spat/releases/download/v1.0.0/spat-1.0.0.tar.gz
Tags: spark
Project files: spat.gpr
Executables: run_spat
Manifest: index/sp/spat/spat-1.0.0.toml

Build and platform metadata 1 field

Additional origin data: { "hashes": [ "sha512:2750bb27b68346f6585dafcd7b1ccec615200ac96155dd08d05d62505473a2ca5f3fca476c04d4a77a24f6506ada745f3c6a0bcafe4f23f722f3494ba8a1a5c5" ] }