ada_spark_workflow

ada_spark_workflow copied to clipboard

version 22.0.0 works, but when I try bumping the version up to 23.0.0 it fails. `aunit = "^23.0.0"` ``` +! aunit ^23.0.0 (new,missing) +i gnatcov 22.0.1 (new,installed) warn: Generating possibly...

vushu

Move `gnatprove` dependency to nested crate

3

To avoid making clients of a SPARK library depend on `gnatprove` itself, we should move that dependency to a nested prover crate.

mosteo

Interpretation of SemVer spec

1

Hi, I got a bit confused by the section in README.md about SemVer: > Semantic Versioning provides a rule for version numbers: > > Given a version number MAJOR.MINOR.PATCH, increment...

esthermations

Test

1

Fabien-Chouteau

Thank you for providing this reference project. For someone new to the whole ADA world (more used to JVM, .NET and Node environments), it was relatively hard to get going...

fatso83

Have an example to have GNATdoc, GNATcov and publishing in separate, depending/ needing GitHub workflow jobs. This would especially be interesting when creating coverage in various formats, levels, annotations and/...

torsknod2

Starting with GNAT 13 one finds: ``` generic package Ada.Containers.Formal_Vectors with SPARK_Mode is pragma Compile_Time_Error (True, "This package has been moved to the SPARK library shipped with any" & "...

mosteo