fstar (lang/fstar) Updated: 3 years, 5 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
291 build(s) found
Page 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.6 | 15730 | 2020-08-03 16:46:46 | 0:01:32 | 8865 | failed install-dependencies |
| 10.6 | 15543 | 2020-07-28 22:51:59 | 0:01:17 | 8719 | failed install-dependencies |
| 10.6 | 15362 | 2020-07-22 16:32:00 | 0:01:20 | 8575 | failed install-dependencies |
| 10.6 | 15142 | 2020-07-18 0:44:42 | 0:01:28 | 8450 | failed install-dependencies |
| 10.6 | 14724 | 2020-07-07 21:14:43 | 0:01:13 | 8164 | failed install-dependencies |
| 10.6 | 14227 | 2020-06-23 22:57:05 | 0:01:51 | 7695 | failed install-dependencies |
| 10.6 | 13996 | 2020-06-15 23:40:42 | 0:01:34 | 7502 | failed install-dependencies |
| 10.6 | 13393 | 2020-05-28 6:36:48 | 0:01:22 | 7025 | failed install-dependencies |
| 10.6 | 12040 | 2020-04-20 17:16:48 | 0:02:04 | 5868 | failed install-dependencies |
| 10.6 | 11640 | 2020-04-09 17:10:01 | 0:01:42 | 5652 | failed install-dependencies |
| 10.6 | 11605 | 2020-04-07 23:38:15 | 0:01:26 | 5622 | failed install-dependencies |
| 10.6 | 11351 | 2020-04-03 8:33:51 | 0:01:29 | 5406 | failed install-dependencies |
| 10.6 | 10995 | 2020-04-01 12:30:35 | 0:01:33 | 5030 | failed install-dependencies |
| 10.6 | 10371 | 2020-03-28 7:17:03 | 0:01:33 | 4625 | failed install-dependencies |
| 10.6 | 10367 | 2020-03-28 6:44:54 | 0:01:23 | 4620 | failed install-dependencies |
| 10.6 | 10034 | 2020-03-19 0:16:17 | 0:02:12 | 4349 | failed install-dependencies |
| 10.6.x86_64 | 20855 | 2020-02-27 0:18:12 | 0:46:17 | 4622 | build successful |
| 10.6.x86_64 | 20057 | 2020-02-17 23:16:07 | 0:01:40 | 4351 | failed install-dependencies |
| 10.6 | 9852 | 2020-02-11 16:59:46 | 0:01:56 | 4196 | failed install-dependencies |
| 10.6.x86_64 | 19628 | 2020-02-11 16:38:26 | 0:01:46 | 4199 | failed install-dependencies |
| 10.6.x86_64 | 17697 | 2020-01-31 6:30:17 | 0:01:05 | 3905 | failed install-dependencies |
| 10.6 | 9036 | 2020-01-31 4:39:47 | 0:01:33 | 3904 | failed install-dependencies |