spat icon indicating copy to clipboard operation
spat copied to clipboard

Published 20 hours ago • verified publisher icon HeisenbugLtd
→

Metadata

SPARK Proof Analysis Tool

Results 3 spat issues
Sort by recently updated
recently updated
newest added

Improve (scale, extend) timeout values in suggested configuration

**Is your feature request related to a problem? Please describe.** If you use the `--suggest` switch, the resulting suggested timeouts are rather optimistic and fragile. For instance, if a proof...

Jellix avatar Jellix

documentation
enhancement

Prepare SPAT for when step scaling becomes obsolete

**Describe the bug** Currently we output scaled steps (as we should) for the `--suggest` option and the 1.2 branch extended on that concept that we scale steps already as early...

Jellix avatar Jellix

bug
enhancement

Need to install GNATColl on FSF CI chain

**Describe the bug** WIth the FSF target, GNATColl is not available by default. We need to install it first.

Jellix avatar Jellix

workflow

← Metadata

15
Stars
4
Forks
Watchers

Owner

verified publisher icon HeisenbugLtd

Metadata

SPARK Proof Analysis Tool

Back