fstar (lang/fstar) Updated: 2 years, 7 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
263 build(s) found
Page 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.6 | 8469 | 2020-01-25 7:19:23 | 0:01:36 | 3688 | failed install-dependencies |
| 10.6.x86_64 | 16497 | 2020-01-24 21:48:03 | 0:01:16 | 3673 | failed install-dependencies |
| 10.6 | 8426 | 2020-01-24 10:10:52 | 0:02:04 | 3681 | failed install-dependencies |
| 10.6.x86_64 | 16446 | 2020-01-24 5:10:36 | 0:01:38 | 3666 | failed install-dependencies |
| 10.6.x86_64 | 16150 | 2020-01-21 19:47:16 | 0:01:40 | 3610 | failed install-dependencies |
| 10.6 | 8241 | 2020-01-21 19:38:53 | 0:01:40 | 3625 | failed install-dependencies |
| 10.6 | 7423 | 2020-01-14 20:47:42 | 0:01:29 | 3436 | failed install-dependencies |
| 10.6.x86_64 | 15003 | 2020-01-14 11:24:38 | 0:02:00 | 3419 | failed install-dependencies |
| 10.8 | 12650 | 2020-01-14 6:41:47 | 0:55:47 | 3413 | build successful |
| 10.15 | 20853 | 2020-01-14 6:30:52 | 0:52:15 | 2245 | build successful |
| 10.11 | 105874 | 2020-01-14 6:28:46 | 0:56:50 | 31022 | build successful |
| 10.13 | 75694 | 2020-01-14 6:25:51 | 0:50:50 | 21979 | build successful |
| 10.7 | 14074 | 2020-01-14 6:19:39 | 0:53:52 | 3416 | build successful |
| 10.14 | 50480 | 2020-01-14 6:19:22 | 0:53:56 | 12699 | build successful |
| 10.10 | 107396 | 2020-01-14 6:18:41 | 0:52:06 | 31070 | build successful |
| 10.12 | 110971 | 2020-01-14 6:17:09 | 0:47:12 | 30004 | build successful |
| 10.9 | 109980 | 2020-01-14 6:12:18 | 0:50:08 | 31012 | build successful |
| 10.6 | 5307 | 2019-11-30 23:31:26 | 0:01:25 | 2310 | failed install-dependencies |
| 10.6.x86_64 | 11648 | 2019-11-30 23:17:33 | 0:01:14 | 2310 | failed install-dependencies |
| 10.6 | 5252 | 2019-11-30 5:15:50 | 0:01:34 | 2293 | failed install-dependencies |
| 10.6.x86_64 | 11575 | 2019-11-30 4:16:28 | 0:01:16 | 2293 | failed install-dependencies |
| 10.13 | 72770 | 2019-11-30 1:32:46 | 0:03:31 | 20860 | failed install-port |
| 10.11 | 103021 | 2019-11-30 1:22:25 | 0:03:07 | 29901 | failed install-port |
| 10.12 | 107932 | 2019-11-30 1:22:13 | 0:03:17 | 28884 | failed install-port |
| 10.8 | 9581 | 2019-11-30 1:18:14 | 0:02:31 | 2287 | failed install-port |
| 10.7 | 10754 | 2019-11-30 1:04:41 | 0:02:47 | 2289 | failed install-port |
| 10.10 | 104361 | 2019-11-30 0:56:24 | 0:02:52 | 29949 | failed install-port |
| 10.9 | 107076 | 2019-11-30 0:55:45 | 0:02:13 | 29893 | failed install-port |