program_proofs_in_spark


v0.1.1 compiled with GNAT 12.2.1 on linux arch
  • Status:
    SUCCESS
  • Duration: 24.98
  • Attempted: 2023-05-24 13:05:17 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.1 on linux arch-20230723.0.166908
  • Status:
    FAILING
  • Duration: 14.5
  • Attempted: 2023-11-30 01:17:11 +0000
  • Log
v0.1.1 compiled with GNAT 10.2.1 on linux debian-11
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 3.64
  • Attempted: 2023-05-28 01:14:16 +0000
  • Log
v0.1.1 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 24.03
  • Attempted: 2023-10-17 13:06:50 +0000
  • Log
v0.1.1 compiled with GNAT 12.2.1 on linux fedora-36
  • Status:
    SUCCESS
  • Duration: 18.97
  • Attempted: 2023-06-06 13:11:29 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.1 on linux fedora-38
  • Status:
    FAILING
  • Duration: 17.74
  • Attempted: 2023-11-15 01:13:41 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on linux ubuntu-22.04
  • Status:
    FAILING
  • Duration: 13.31
  • Attempted: 2023-12-05 12:43:31 +0000
  • Log
v0.1.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 3.67
  • Attempted: 2023-12-05 12:55:37 +0000
  • Log
v0.1.1 compiled with GNAT 10.3.0 on linux ubuntu-22.04
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 3.82
  • Attempted: 2023-05-16 13:17:38 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on macos darwin-21.6.0
  • Status:
    FAILING
  • Duration: 20.46
  • Attempted: 2023-10-26 00:52:07 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
  • Status:
    FAILING
  • Duration: 17.44
  • Attempted: 2023-11-11 12:42:13 +0000
  • Log