fstar (lang/fstar) Updated: 2 years, 4 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
262 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.7 | 129695 | 2023-01-13 3:06:18 | 0:00:54 | 39533 | failed install-dependencies |
| 10.10 | 210046 | 2023-01-13 2:53:49 | 0:04:56 | 67095 | failed install-port |
| 10.6.x86_64 | 139155 | 2023-01-13 2:47:47 | 0:00:38 | 39791 | failed install-dependencies |
| 10.11 | 207511 | 2023-01-13 2:35:29 | 0:06:15 | 67215 | failed install-port |
| 10.15 | 126785 | 2023-01-13 2:06:04 | 0:07:56 | 37853 | failed install-port |
| 10.9 | 215710 | 2023-01-13 1:59:31 | 0:05:53 | 66791 | failed install-port |
| 11.arm64 | 81383 | 2023-01-13 1:44:39 | 0:00:04 | 27743 | failed install-dependencies |
| 10.12 | 214844 | 2023-01-13 1:02:40 | 0:00:12 | 66015 | failed install-dependencies |
| 11 | 99349 | 2023-01-13 1:02:08 | 0:06:37 | 27766 | failed install-port |
| 13 | 12046 | 2023-01-09 6:07:51 | 0:23:09 | 1710 | build successful |
| 10.13 | 154222 | 2022-06-16 19:07:42 | 0:06:24 | 50368 | failed install-port |
| 10.10 | 186853 | 2022-06-16 7:51:36 | 0:05:20 | 59363 | failed install-port |
| 10.11 | 185773 | 2022-06-15 19:01:08 | 0:06:23 | 59478 | failed install-port |
| 10.14 | 130753 | 2022-06-15 12:46:47 | 0:06:44 | 41141 | failed install-port |
| 10.9 | 191987 | 2022-06-15 11:34:03 | 0:05:56 | 59055 | failed install-port |
| 10.15 | 103454 | 2022-06-15 9:53:52 | 0:07:19 | 30136 | failed install-port |
| 11 | 75985 | 2022-06-14 17:10:22 | 0:06:25 | 20036 | failed install-port |
| 11 | 75982 | 2022-06-14 17:00:49 | 0:06:40 | 20034 | failed install-port |
| 11 | 75978 | 2022-06-14 16:51:13 | 0:05:36 | 20031 | failed install-port |
| 10.12 | 190139 | 2022-06-14 16:42:36 | 0:00:07 | 58283 | failed install-dependencies |
| 11.arm64 | 58203 | 2022-06-14 16:40:02 | 0:00:03 | 19982 | failed install-dependencies |
| 11.arm64 | 58198 | 2022-06-14 16:36:09 | 0:00:04 | 19980 | failed install-dependencies |
| 11.arm64 | 58189 | 2022-06-14 16:24:35 | 0:00:04 | 19977 | failed install-dependencies |
| 11.arm64 | 57865 | 2022-06-11 4:53:10 | 0:00:04 | 19841 | failed install-dependencies |
| 10.11 | 185483 | 2022-06-11 1:40:13 | 0:00:08 | 59344 | failed install-dependencies |
| 10.14 | 130480 | 2022-06-10 20:24:49 | 0:00:08 | 41007 | failed install-dependencies |
| 12.arm64 | 55195 | 2022-06-10 20:21:57 | 0:11:51 | 8667 | build successful |
| 12 | 33035 | 2022-06-10 20:20:34 | 0:25:50 | 8674 | build successful |
| 11 | 75692 | 2022-06-10 20:19:52 | 0:00:13 | 19897 | failed install-dependencies |
| 10.15 | 103173 | 2022-06-10 20:19:18 | 0:00:11 | 30002 | failed install-dependencies |
| 10.9 | 191683 | 2022-06-10 20:19:07 | 0:00:08 | 58921 | failed install-dependencies |
| 10.10 | 186548 | 2022-06-10 20:18:12 | 0:00:08 | 59229 | failed install-dependencies |
| 10.12 | 189863 | 2022-06-10 20:17:23 | 0:00:08 | 58148 | failed install-dependencies |
| 10.13 | 153948 | 2022-06-10 20:17:12 | 0:00:07 | 50234 | failed install-dependencies |
| 10.6 | 77153 | 2022-06-10 20:15:37 | 0:00:28 | 31854 | failed install-dependencies |
| 10.8 | 93350 | 2022-06-10 20:14:56 | 0:00:18 | 29704 | failed install-dependencies |
| 10.6.x86_64 | 110698 | 2022-06-10 20:14:44 | 0:00:27 | 31829 | failed install-dependencies |
| 10.7 | 103342 | 2022-06-10 20:13:49 | 0:00:21 | 31652 | failed install-dependencies |
| 10.6 | 77018 | 2022-06-10 11:44:35 | 0:00:36 | 31843 | failed install-dependencies |
| 10.6.x86_64 | 110584 | 2022-06-10 11:38:47 | 0:00:32 | 31817 | failed install-dependencies |
| 10.8 | 93289 | 2022-06-10 11:30:04 | 0:00:22 | 29693 | failed install-dependencies |
| 10.7 | 103274 | 2022-06-10 11:28:32 | 0:00:21 | 31641 | failed install-dependencies |
| 10.8 | 90108 | 2022-05-22 15:45:01 | 0:00:25 | 28970 | failed install-dependencies |
| 10.6 | 71124 | 2022-05-22 15:31:31 | 0:00:38 | 31105 | failed install-dependencies |
| 10.6.x86_64 | 105259 | 2022-05-22 15:25:12 | 0:00:35 | 31073 | failed install-dependencies |
| 10.7 | 99659 | 2022-05-22 15:16:09 | 0:00:23 | 30917 | failed install-dependencies |
| 10.8 | 76413 | 2022-01-14 15:45:17 | 0:00:23 | 24660 | failed install-dependencies |
| 10.6 | 53767 | 2022-01-14 14:38:04 | 0:00:41 | 26775 | failed install-dependencies |
| 10.6.x86_64 | 88174 | 2022-01-14 14:29:24 | 0:00:35 | 26733 | failed install-dependencies |
| 10.7 | 84565 | 2022-01-14 14:18:35 | 0:00:20 | 26606 | failed install-dependencies |
| 12 | 7407 | 2021-12-24 4:06:28 | 0:25:58 | 2015 | build successful |