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 2 of 4 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.8 | 70277 | 2021-12-12 20:09:38 | 0:00:44 | 23106 | failed install-dependencies |
| 10.7 | 78251 | 2021-12-12 3:48:55 | 0:00:46 | 25249 | failed install-dependencies |
| 10.6 | 47241 | 2021-12-09 22:04:09 | 0:02:28 | 25244 | failed install-dependencies |
| 10.6.x86_64 | 82526 | 2021-12-09 21:49:47 | 0:02:12 | 25218 | failed install-dependencies |
| 12.arm64 | 15786 | 2021-11-15 8:32:57 | 0:13:41 | 1071 | build successful |
| 10.15 | 70233 | 2021-09-03 20:58:25 | 0:26:16 | 19609 | build successful |
| 11 | 45070 | 2021-09-03 19:32:17 | 0:27:52 | 9423 | build successful |
| 10.14 | 98474 | 2021-09-03 14:54:13 | 0:24:51 | 30616 | build successful |
| 10.13 | 121943 | 2021-09-03 11:36:14 | 0:23:51 | 39906 | build successful |
| 10.6 | 39119 | 2021-09-03 5:19:02 | 0:01:41 | 21430 | failed install-dependencies |
| 10.8 | 59330 | 2021-09-03 3:52:23 | 0:00:42 | 19296 | failed install-dependencies |
| 10.9 | 158260 | 2021-09-03 3:51:30 | 0:28:22 | 48715 | build successful |
| 10.12 | 157564 | 2021-09-03 2:14:09 | 0:30:17 | 47954 | build successful |
| 10.6.x86_64 | 71708 | 2021-09-02 21:56:21 | 0:02:30 | 21401 | failed install-dependencies |
| 10.11 | 152647 | 2021-09-02 21:39:37 | 0:44:37 | 48966 | build successful |
| 10.7 | 66904 | 2021-09-02 21:32:48 | 0:00:54 | 21437 | failed install-dependencies |
| 10.10 | 153980 | 2021-09-02 21:22:30 | 0:24:32 | 49029 | build successful |
| 11.arm64 | 28758 | 2021-09-02 21:11:12 | 0:14:17 | 9610 | build successful |
| 11.arm64 | 28205 | 2021-08-25 16:56:13 | 0:01:24 | 9384 | failed install-port |
| 10.6 | 38612 | 2021-08-25 16:51:27 | 0:01:40 | 21203 | failed install-dependencies |
| 10.6 | 33192 | 2021-06-09 6:57:14 | 0:02:35 | 18843 | failed install-dependencies |
| 11.arm64 | 22335 | 2021-06-09 6:13:23 | 0:01:25 | 7014 | failed install-port |
| 10.6 | 31838 | 2021-05-21 15:30:35 | 0:01:57 | 18203 | failed install-dependencies |
| 11.arm64 | 20746 | 2021-05-21 15:30:21 | 0:01:27 | 6377 | failed install-port |
| 10.6 | 31289 | 2021-05-12 23:46:08 | 0:01:42 | 17843 | failed install-dependencies |
| 11.arm64 | 20265 | 2021-05-12 1:34:07 | 0:01:24 | 6004 | failed install-port |
| 10.6 | 30993 | 2021-05-11 4:15:43 | 0:01:39 | 17808 | failed install-dependencies |
| 11.arm64 | 19970 | 2021-05-11 3:14:57 | 0:01:49 | 5969 | failed install-port |
| 10.6 | 30206 | 2021-04-28 2:00:51 | 0:01:23 | 17341 | failed install-dependencies |
| 11.arm64 | 19064 | 2021-04-28 1:48:52 | 0:00:19 | 5488 | failed install-dependencies |
| 11.arm64 | 15466 | 2021-03-19 18:16:23 | 0:00:16 | 3916 | failed install-dependencies |
| 11.arm64 | 9634 | 2021-01-20 6:16:59 | 0:00:02 | 2241 | failed install-dependencies |
| 10.6 | 24583 | 2021-01-20 6:07:32 | 0:01:30 | 14118 | failed install-dependencies |
| 10.6 | 22585 | 2020-12-26 0:35:53 | 0:01:29 | 13365 | failed install-dependencies |
| 11.arm64 | 6202 | 2020-12-25 22:20:41 | 0:00:02 | 1449 | failed install-dependencies |
| 11 | 7016 | 2020-12-13 22:56:56 | 0:41:24 | 697 | build successful |
| 10.6 | 21497 | 2020-12-04 19:04:05 | 0:01:39 | 12708 | failed install-dependencies |
| 11.arm64 | 4724 | 2020-12-04 18:21:56 | 0:00:02 | 785 | failed install-dependencies |
| 10.6 | 18104 | 2020-09-28 19:42:48 | 0:01:12 | 10517 | failed install-dependencies |
| 10.6 | 17882 | 2020-09-21 0:46:10 | 0:01:12 | 10328 | failed install-dependencies |
| 10.6 | 17772 | 2020-09-17 19:16:00 | 0:01:10 | 10241 | failed install-dependencies |
| 10.6 | 17503 | 2020-09-10 6:44:12 | 0:01:12 | 10011 | failed install-dependencies |
| 10.6 | 16721 | 2020-08-26 0:07:58 | 0:01:10 | 9561 | failed install-dependencies |
| 10.6 | 16554 | 2020-08-22 0:32:14 | 0:01:13 | 9430 | failed install-dependencies |
| 10.6 | 16380 | 2020-08-18 18:05:14 | 0:01:12 | 9323 | failed install-dependencies |
| 10.6 | 16161 | 2020-08-12 17:24:26 | 0:01:10 | 9119 | failed install-dependencies |
| 10.6 | 15909 | 2020-08-07 2:43:04 | 0:01:18 | 8991 | failed install-dependencies |
| 10.6 | 15804 | 2020-08-05 5:31:04 | 0:01:16 | 8916 | failed install-dependencies |
| 10.6 | 15787 | 2020-08-04 17:59:15 | 0:01:16 | 8901 | failed install-dependencies |