HeisenbugLtd spat issues

HeisenbugLtd / spat

SPARK Proof Analysis Tool

https://github.heisenbug.eu/spat/

Do What The F*ck You Want To Public License

15 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Improve (scale, extend) timeout values in suggested configuration

#65 Jellix opened 4 years ago
0
devel 1.2

#64 Jellix closed 4 years ago
0
Prepare SPAT for when step scaling becomes obsolete

#63 Jellix opened 4 years ago
0
* Automated tagging of 1.1.4 version.

#62 Jellix closed 4 years ago
0
Show max/success steps also in summary and less detailed report modes

#61 Jellix closed 4 years ago
0
Suggested steps too low

#60 treiher closed 4 years ago
2
Cleanup merge

#59 Jellix closed 4 years ago
0
Fixes 1.1

#58 Jellix closed 4 years ago
0
Need to install GNATColl on FSF CI chain

#57 Jellix opened 4 years ago
0
Take actual success of proof into account when sorting by max time for successful proof.

#56 Jellix closed 4 years ago
0
Suggested configuration is incomplete

#55 treiher closed 4 years ago
5
Sorting by successful proof time should not intermix with unproved items

#54 Jellix closed 4 years ago
0
Fixes 1.1

#53 Jellix closed 4 years ago
0
Fixes 1.1

#52 Jellix closed 4 years ago
0
Fixes 1.1

#51 Jellix closed 4 years ago
0
Suggested configuration leads to failing proof

#50 treiher closed 4 years ago
16
Fix issue 48.

#49 Jellix closed 4 years ago
0
Invalid output of --suggest option

#48 treiher closed 4 years ago
0
Finer grained --details option

#47 Jellix closed 4 years ago
0
Relaxed file name pattern

#46 Jellix closed 4 years ago
0
`spat.py` likely to be too strict about matching filenames

#45 Jellix closed 4 years ago
0
Add a Gitter chat badge to README.md

#44 gitter-badger closed 4 years ago
0
'spat.py' plug-in

#43 Jellix closed 4 years ago
6
Entity filter

#42 Jellix closed 4 years ago
0
--suggest switch

#41 Jellix closed 4 years ago
0
Optimization regarding max time for successful proof per file

#40 Jellix closed 4 years ago
0
Implement max_success/max_proof time also for summary output

#39 Jellix closed 4 years ago
0
Steps overflow

#38 Jellix closed 4 years ago
0
More test templates

#37 Jellix closed 4 years ago
0
Number of steps may exceed range of Natural

#36 Jellix closed 4 years ago
1
--details option sometimes seem too detailed

#35 Jellix closed 4 years ago
0
Provide an entity filter parameter

#34 Jellix closed 4 years ago
0
Option --cut-off and --sort-by=s don't work as one may expect (documented as is)

#33 Jellix closed 4 years ago
1
Add # of steps to output

#32 Jellix closed 4 years ago
0
Issue #29 - First attempt at sorting by max success proof time

#31 Jellix closed 4 years ago
0
Show steps for successful proof

#30 treiher closed 4 years ago
6
Show minimum required time for successful proof

#29 treiher closed 4 years ago
9
Fix sorting

#28 Jellix closed 4 years ago
0
Implemented --cut-off parameter

#27 Jellix closed 4 years ago
0
Let the tool suggest an "optimal" prover configuration.

#26 Jellix closed 4 years ago
1
Emit warning if proof times do not match?

#25 Jellix closed 4 years ago
1
Provide --cut-off command line parameter

#24 Jellix closed 4 years ago
0
Document tool limitations

#23 Jellix closed 4 years ago
0
Document in README that tool must be used on pristine run of GNATprove

#22 yannickmoy closed 4 years ago
0
Fix functions Convert for long form of arguments as expected by Parse_Option

#21 yannickmoy closed 4 years ago
1
Deterministic sorting

#20 Jellix closed 4 years ago
0
* Removed warnings for check_tree being of wrong type.

#19 Jellix closed 4 years ago
0
Sorting is not deterministic

#18 Jellix closed 4 years ago
3
Fix spurious warnings

#17 Jellix closed 4 years ago
0
* Migrate to ada-actions

#16 Jellix closed 4 years ago
0