gnatprove
v15.1.0 compiled with GNAT 15.2.1 on linux arch-20250824.0.410029
- Status: SUCCESS
- Duration: 11.28
- Attempted: 2025-10-08 13:06:48 +0000
- Log
v15.1.0 compiled with GNAT 14.2.0 on linux centos-9
- Status: SUCCESS
- Duration: 22.4
- Attempted: 2025-09-02 13:16:14 +0000
- Log
v15.1.0 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 11.75
- Attempted: 2025-08-03 13:09:58 +0000
- Log
v15.1.0 compiled with GNAT 14.2.0 on linux debian-13
- Status: SUCCESS
- Duration: 17.08
- Attempted: 2025-10-21 13:14:43 +0000
- Log
v15.1.0 compiled with GNAT 14.2.1 on linux fedora-40
- Status: SUCCESS
- Duration: 12.25
- Attempted: 2025-07-17 01:17:34 +0000
- Log
v15.1.0 compiled with GNAT 15.1.2 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 12.05
- Attempted: 2025-10-06 12:34:51 +0000
- Log
v15.1.0 compiled with GNAT 14.2.1 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 11.63
- Attempted: 2025-07-17 12:36:14 +0000
- Log
v15.1.0 compiled with GNAT 13.3.0 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 14.21
- Attempted: 2025-08-25 13:16:36 +0000
- Log
v15.1.0 compiled with GNAT 13.2.2 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 12.62
- Attempted: 2025-07-30 12:24:55 +0000
- Log
v15.1.0 compiled with GNAT 12.2.1 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 17.01
- Attempted: 2025-07-25 12:26:06 +0000
- Log
v15.1.0 compiled with GNAT 11.2.4 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 13.71
- Attempted: 2025-10-07 12:36:04 +0000
- Log
v15.1.0 compiled with GNAT 10.3.2 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 15.33
- Attempted: 2025-10-06 12:27:26 +0000
- Log
v15.1.0 compiled with GNAT 15.1.2 on macos darwin-23.6.0
- Status: SUCCESS
- Duration: 7.35
- Attempted: 2025-08-14 00:57:26 +0000
- Log
v15.1.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
- Status: SUCCESS
- Duration: 6.47
- Attempted: 2025-07-19 00:49:09 +0000
- Log
v15.1.0 compiled with GNAT 13.2.2 on macos darwin-23.6.0
- Status: SUCCESS
- Duration: 7.88
- Attempted: 2025-08-11 12:22:54 +0000
- Log
v15.1.0 compiled with GNAT 15.1.2 on macos darwin-24.5.0
- Status: SUCCESS
- Duration: 7.74
- Attempted: 2025-09-11 12:42:49 +0000
- Log
v15.1.0 compiled with GNAT 13.2.2 on macos darwin-24.5.0
- Status: SUCCESS
- Duration: 15.86
- Attempted: 2025-09-02 12:36:12 +0000
- Log
v15.1.0 compiled with GNAT 15.1.2 on macos darwin-24.6.0
- Status: SUCCESS
- Duration: 15.66
- Attempted: 2025-10-03 12:43:04 +0000
- Log
v15.1.0 compiled with GNAT 14.2.1 on macos darwin-24.6.0
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- Log
v15.1.0 compiled with GNAT 13.2.2 on macos darwin-24.6.0
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- Log
v15.1.0 compiled with GNAT 15.1.2 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 28.24
- Attempted: 2025-09-10 01:05:39 +0000
- Log
v15.1.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 23.88
- Attempted: 2025-09-14 01:04:11 +0000
- Log
v15.1.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 17.77
- Attempted: 2025-07-17 01:05:02 +0000
- Log
v15.1.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 19.77
- Attempted: 2025-09-26 00:38:08 +0000
- Log
v15.1.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 19.16
- Attempted: 2025-09-05 12:47:23 +0000
- Log
v15.1.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 24.14
- Attempted: 2025-09-13 01:01:55 +0000
- Log
v15.1.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-26100
- Status: SUCCESS
- Duration: 35.23
- Attempted: 2025-09-20 01:05:32 +0000
- Log
v15.1.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-26100
- Status: SUCCESS
- Duration: 39.33
- Attempted: 2025-09-18 00:57:16 +0000
- Log
v15.1.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-26100
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- Log
v15.1.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-26100
- Status: SUCCESS
- Duration: 35.69
- Attempted: 2025-09-24 12:31:43 +0000
- Log