gnatprove


v13.2.1 compiled with GNAT 13.2.1 on linux arch-20230723.0.166908
  • Status:
    SUCCESS
  • Duration: 16.47
  • Attempted: 2023-12-01 12:57:41 +0000
  • Log
v13.2.1 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 15.08
  • Attempted: 2023-11-11 02:46:43 +0000
  • Log
v13.2.1 compiled with GNAT 13.1.1 on linux fedora-38
  • Status:
    SUCCESS
  • Duration: 15.66
  • Attempted: 2023-11-17 01:18:10 +0000
  • Log
v13.2.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 17.57
  • Attempted: 2023-12-02 01:19:39 +0000
  • Log