 César Sagaert
|
9ecbbfb0f9
|
sparklib 15.1.0 (#1779)
|
2026-01-21 12:13:10 +01:00 |
|
 César Sagaert
|
cee8642ff4
|
gnatprove fsf build for 15.1.0 (#1493)
* gnatprove fsf build for 15.1.0
* add myself to maintainers list
|
2025-05-21 11:26:21 +02:00 |
|
 M. Anthony Aiello
|
d1fe9756c8
|
gnatprove 14.1.1 metadata (#1444)
Add an author, website, and long description that provides links for getting started with GNATprove
|
2025-03-20 19:05:53 +01:00 |
|
 Fabien Chouteau
|
137bec496c
|
gnatprove 14.1 on macOS (#1203)
|
2024-08-24 13:55:00 +02:00 |
|
|
Fabien Chouteau
|
32d9394055
|
gnatprove 14.1.1 (#1118)
|
2024-07-19 14:15:42 +02:00 |
|
 Alejandro R. Mosteo
|
e04f0d4da2
|
Bump version to 1.3 and related fixes
|
2024-02-29 09:35:55 +01:00 |
|
|
Fabien Chouteau
|
6a964e7a2b
|
gnatprove 13.2.1: GPR_PROJECT_PATH for sparklib (#917)
|
2023-11-13 19:11:41 +01:00 |
|
|
Fabien Chouteau
|
543c19cb46
|
gnatprove 13.2.1 (#916)
|
2023-11-10 10:02:06 +01:00 |
|
|
Fabien Chouteau
|
244a85d34f
|
GNAT FSF 12.2.1 (#664)
* GNAT FSF 12.2.1
* Convert case(word-size) to case(host-arch) in binary crates
|
2022-10-25 20:31:09 +02:00 |
|
|
Fabien Chouteau
|
4ded60916f
|
gnat, gnatprove 12.1.1 (#550)
* gnatprove-12.1.1
* Update gnatprove-12.1.1.toml
* Update gnatprove-12.1.1.toml
* GNAT and GNATprove 12.1.1
* Update gnat_riscv64_elf-12.1.1.toml
* Update gnat_native-12.1.1.toml
* GNAT FSF 12.1.2
* Update gnat_native-12.1.2.toml
|
2022-07-27 11:28:24 +02:00 |
|
|
Fabien Chouteau
|
7a09619df4
|
gnatprove 11.2.3, gnat 11.2.4 (#488)
|
2022-03-31 21:47:00 +02:00 |
|