fstar (lang/fstar) Updated: 3 years, 8 months ago Add to my watchlist
General-purpose functional language aimed at program verificationF* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.
Version: 2022.06.08 License: MIT
GitHub
313 build(s) found
Page 1 of 4 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 131145 | 2026-02-08 15:50:38 | 0:00:02 | 50606 | failed install-dependencies |
| 15.arm64 | 35759 | 2026-02-07 7:55:00 | 0:00:38 | 14697 | failed install-port |
| 10.8 | 226989 | 2026-02-07 2:17:43 | 0:00:08 | 75070 | failed install-dependencies |
| 15 | 48035 | 2026-02-06 23:54:23 | 0:01:30 | 15497 | failed install-port |
| 10.7 | 242235 | 2026-02-06 19:26:18 | 0:00:11 | 76911 | failed install-dependencies |
| 10.10 | 319323 | 2026-02-06 13:09:39 | 0:00:10 | 104465 | failed install-dependencies |
| 10.9 | 327417 | 2026-02-05 16:29:40 | 0:00:09 | 104141 | failed install-dependencies |
| 14.arm64 | 70155 | 2026-02-04 13:01:02 | 0:00:10 | 27571 | failed install-port |
| 14.arm64 | 70145 | 2026-02-04 12:34:01 | 0:00:12 | 27570 | failed install-port |
| 10.14 | 250461 | 2026-02-03 20:06:50 | 0:00:14 | 85961 | failed install-dependencies |
| 10.15 | 227251 | 2026-02-03 19:19:16 | 0:00:14 | 75077 | failed install-dependencies |
| 10.11 | 310571 | 2026-02-03 16:13:27 | 0:00:17 | 104622 | failed install-dependencies |
| 10.6.x86_64 | 259277 | 2026-02-03 14:44:57 | 0:00:47 | 77323 | failed install-dependencies |
| 10.13 | 276972 | 2026-02-03 10:13:27 | 0:00:12 | 95325 | failed install-dependencies |
| 10.6.x86_64 | 259254 | 2026-02-03 7:48:09 | 0:00:35 | 77322 | failed install-dependencies |
| 10.6 | 222185 | 2026-02-03 6:32:56 | 0:02:46 | 77256 | failed install-dependencies |
| 14 | 74914 | 2026-02-03 6:06:11 | 0:00:31 | 27891 | failed install-port |
| 11 | 199847 | 2026-02-03 5:38:36 | 0:00:09 | 65035 | failed install-dependencies |
| 10.12 | 320369 | 2026-02-03 4:25:04 | 0:00:09 | 103344 | failed install-dependencies |
| 26.arm64 | 26400 | 2026-02-03 3:32:11 | 0:01:48 | 4282 | failed install-port |
| 15 | 47224 | 2026-02-02 9:23:47 | 0:01:19 | 15299 | failed install-port |
| 14 | 74261 | 2026-02-01 9:26:10 | 0:00:18 | 27822 | failed install-port |
| 26.arm64 | 10759 | 2025-09-28 9:00:04 | 0:00:53 | 586 | failed install-port |
| 11.arm64 | 119611 | 2025-09-08 1:42:13 | 0:00:03 | 46170 | failed install-dependencies |
| 14 | 65792 | 2025-08-20 17:17:48 | 0:00:05 | 23423 | failed install-dependencies |
| 10.14 | 239308 | 2025-08-19 22:46:43 | 0:00:12 | 81488 | failed install-dependencies |
| 15.arm64 | 25427 | 2025-08-19 11:57:33 | 0:00:39 | 10021 | failed install-port |
| 14.arm64 | 60844 | 2025-08-18 22:53:05 | 0:00:19 | 23004 | failed install-port |
| 15 | 36982 | 2025-08-17 23:56:02 | 0:00:06 | 10796 | failed install-dependencies |
| 15 | 36979 | 2025-08-17 23:54:10 | 0:00:05 | 10795 | failed install-dependencies |
| 10.15 | 215708 | 2025-08-17 20:23:55 | 0:00:42 | 70547 | failed install-dependencies |
| 10.15 | 215701 | 2025-08-17 20:17:49 | 0:00:09 | 70546 | failed install-dependencies |
| 10.8 | 213038 | 2025-08-17 18:21:25 | 0:00:26 | 70360 | failed install-dependencies |
| 10.13 | 265402 | 2025-08-17 18:17:32 | 0:00:08 | 90805 | failed install-dependencies |
| 10.12 | 307799 | 2025-08-17 18:16:24 | 0:00:36 | 98803 | failed install-dependencies |
| 10.8 | 213028 | 2025-08-17 18:15:22 | 0:00:29 | 70359 | failed install-dependencies |
| 10.12 | 307794 | 2025-08-17 18:11:24 | 0:00:09 | 98802 | failed install-dependencies |
| 14.arm64 | 60316 | 2025-08-17 17:34:26 | 0:02:37 | 22938 | failed install-port |
| 10.6 | 206752 | 2025-08-17 15:47:08 | 0:01:57 | 72632 | failed install-dependencies |
| 10.11 | 297548 | 2025-08-17 15:05:47 | 0:00:23 | 100042 | failed install-dependencies |
| 10.11 | 297546 | 2025-08-17 15:00:58 | 0:00:28 | 100041 | failed install-dependencies |
| 11 | 187611 | 2025-08-17 14:16:09 | 0:00:13 | 60506 | failed install-dependencies |
| 10.7 | 227881 | 2025-08-17 14:05:04 | 0:00:30 | 72324 | failed install-dependencies |
| 10.10 | 305307 | 2025-08-17 11:35:42 | 0:01:03 | 99888 | failed install-dependencies |
| 10.9 | 312993 | 2025-08-17 11:16:44 | 0:00:48 | 99560 | failed install-dependencies |
| 10.6.x86_64 | 243461 | 2025-08-17 11:02:04 | 0:00:38 | 72688 | failed install-dependencies |
| 10.10 | 305304 | 2025-08-17 10:55:35 | 0:00:26 | 99886 | failed install-dependencies |
| 10.9 | 312990 | 2025-08-17 10:45:42 | 0:00:28 | 99558 | failed install-dependencies |
| 15.arm64 | 24788 | 2025-08-17 0:21:23 | 0:02:55 | 9924 | failed install-port |
| 15.arm64 | 11623 | 2025-03-10 4:56:22 | 0:00:19 | 5547 | failed install-dependencies |
| 14 | 55421 | 2025-01-13 4:17:32 | 0:00:48 | 18039 | failed install-port |
| 15 | 11985 | 2024-10-13 1:55:44 | 0:01:26 | 1180 | failed install-port |
| 11 | 163036 | 2024-07-28 12:01:04 | 0:02:19 | 49334 | failed install-port |
| 10.15 | 192121 | 2024-07-28 11:59:35 | 0:02:13 | 59411 | failed install-port |
| 10.14 | 215103 | 2024-07-28 11:59:21 | 0:02:20 | 70343 | failed install-port |
| 14 | 44728 | 2024-07-28 11:58:52 | 0:02:29 | 12187 | failed install-port |
| 10.11 | 272295 | 2024-07-28 11:52:35 | 0:00:19 | 88857 | failed install-dependencies |
| 14.arm64 | 37922 | 2024-07-28 11:49:49 | 0:00:56 | 11821 | failed install-port |
| 10.8 | 185935 | 2024-07-28 11:47:29 | 0:00:37 | 59160 | failed install-dependencies |
| 10.12 | 281863 | 2024-07-28 11:46:15 | 0:01:50 | 87573 | failed install-port |
| 10.6.x86_64 | 211055 | 2024-07-28 11:45:29 | 0:00:51 | 61395 | failed install-dependencies |
| 10.10 | 278179 | 2024-07-28 11:43:13 | 0:00:18 | 88695 | failed install-dependencies |
| 10.13 | 241008 | 2024-07-28 11:42:10 | 0:01:36 | 79673 | failed install-port |
| 10.9 | 285503 | 2024-07-28 11:41:37 | 0:00:19 | 88367 | failed install-dependencies |
| 10.6 | 175303 | 2024-07-28 11:41:26 | 0:01:10 | 61351 | failed install-dependencies |
| 10.7 | 199365 | 2024-07-28 11:41:07 | 0:00:35 | 61107 | failed install-dependencies |
| 14 | 35402 | 2024-04-17 18:37:08 | 0:04:59 | 8339 | failed install-port |
| 14.arm64 | 24330 | 2024-04-17 18:04:29 | 0:01:49 | 8016 | failed install-port |
| 10.13 | 228127 | 2024-04-17 8:55:08 | 0:02:44 | 75801 | failed install-port |
| 10.12 | 268289 | 2024-04-17 8:52:49 | 0:02:44 | 83746 | failed install-port |
| 10.14 | 202680 | 2024-04-17 8:49:12 | 0:02:59 | 66551 | failed install-port |
| 11 | 150077 | 2024-04-17 8:42:50 | 0:04:28 | 45469 | failed install-port |
| 10.15 | 179266 | 2024-04-17 8:36:17 | 0:02:58 | 55543 | failed install-port |
| 10.6 | 161213 | 2024-04-17 8:10:53 | 0:01:27 | 57491 | failed install-dependencies |
| 10.11 | 258856 | 2024-04-17 8:09:24 | 0:00:24 | 84967 | failed install-dependencies |
| 10.9 | 271114 | 2024-04-17 8:06:55 | 0:00:20 | 84536 | failed install-dependencies |
| 10.8 | 172007 | 2024-04-17 8:06:19 | 0:00:42 | 55329 | failed install-dependencies |
| 10.6.x86_64 | 196995 | 2024-04-17 8:06:01 | 0:01:10 | 57539 | failed install-dependencies |
| 10.10 | 263941 | 2024-04-17 8:05:29 | 0:00:22 | 84859 | failed install-dependencies |
| 10.7 | 184695 | 2024-04-17 8:03:44 | 0:00:46 | 57268 | failed install-dependencies |
| 14.arm64 | 9972 | 2024-01-21 19:27:55 | 0:01:26 | 4347 | failed install-port |
| 14 | 16513 | 2023-12-07 12:31:44 | 0:02:50 | 2637 | failed install-port |
| 11.arm64 | 100103 | 2023-08-24 11:14:54 | 0:00:26 | 35978 | failed install-dependencies |
| 11 | 123866 | 2023-08-16 17:59:17 | 0:02:51 | 35981 | failed install-port |
| 10.12 | 240846 | 2023-08-16 11:48:54 | 0:00:07 | 74265 | failed install-dependencies |
| 10.14 | 176378 | 2023-08-16 7:19:05 | 0:02:54 | 57076 | failed install-port |
| 10.13 | 201617 | 2023-08-16 7:06:45 | 0:03:02 | 66317 | failed install-port |
| 10.7 | 156093 | 2023-08-16 7:04:53 | 0:00:25 | 47775 | failed install-dependencies |
| 10.8 | 144508 | 2023-08-16 7:01:12 | 0:00:28 | 45835 | failed install-dependencies |
| 10.10 | 235744 | 2023-08-16 6:56:05 | 0:02:18 | 75359 | failed install-port |
| 10.15 | 151893 | 2023-08-16 6:42:23 | 0:02:20 | 46064 | failed install-port |
| 10.11 | 232149 | 2023-08-16 6:42:02 | 0:02:05 | 75471 | failed install-port |
| 10.9 | 242218 | 2023-08-16 6:38:45 | 0:01:52 | 75048 | failed install-port |
| 10.6.x86_64 | 166905 | 2023-08-16 6:17:49 | 0:00:45 | 48032 | failed install-dependencies |
| 10.6 | 131441 | 2023-08-16 6:13:17 | 0:00:49 | 47993 | failed install-dependencies |
| 13.arm64 | 10972 | 2023-03-08 17:52:08 | 0:13:48 | 4161 | build successful |
| 10.6 | 104467 | 2023-01-13 9:31:47 | 0:00:44 | 39761 | failed install-dependencies |
| 10.13 | 177265 | 2023-01-13 3:21:05 | 0:07:31 | 58094 | failed install-port |
| 10.8 | 118890 | 2023-01-13 3:11:39 | 0:00:32 | 37576 | failed install-dependencies |
| 10.14 | 152705 | 2023-01-13 3:09:08 | 0:07:55 | 48861 | failed install-port |