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 3 of 3 | Showing build(s) 201 to 291
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.6 | 3362 | 2019-11-15 4:53:55 | 0:01:42 | 1262 | failed install-dependencies |
| 10.6 | 3356 | 2019-11-15 4:43:20 | 0:01:28 | 1259 | failed install-dependencies |
| 10.6 | 3351 | 2019-11-15 4:24:49 | 0:01:33 | 1258 | failed install-dependencies |
| 10.6 | 3235 | 2019-11-14 11:57:41 | 0:02:01 | 1171 | failed install-dependencies |
| 10.6 | 3079 | 2019-11-13 4:08:56 | 0:01:31 | 1059 | failed install-dependencies |
| 10.6 | 3005 | 2019-11-12 14:24:22 | 0:01:47 | 992 | failed install-dependencies |
| 10.6.x86_64 | 6976 | 2019-11-11 7:18:46 | 0:01:11 | 1264 | failed install-dependencies |
| 10.6.x86_64 | 6970 | 2019-11-11 7:09:24 | 0:01:25 | 1261 | failed install-dependencies |
| 10.6.x86_64 | 6965 | 2019-11-11 7:03:02 | 0:01:12 | 1260 | failed install-dependencies |
| 10.6.x86_64 | 6716 | 2019-11-10 11:34:40 | 0:01:14 | 1173 | failed install-dependencies |
| 10.6.x86_64 | 6427 | 2019-11-09 7:41:14 | 0:01:14 | 1061 | failed install-dependencies |
| 10.6.x86_64 | 6264 | 2019-11-08 17:37:14 | 0:01:16 | 994 | failed install-dependencies |
| 10.6 | 2576 | 2019-11-07 19:47:11 | 0:01:39 | 831 | failed install-dependencies |
| 10.6.x86_64 | 5177 | 2019-11-04 17:25:22 | 0:01:13 | 833 | failed install-dependencies |
| 10.15 | 1374 | 2019-11-04 14:25:46 | 1:34:57 | 51 | build successful |
| 10.6 | 2157 | 2019-11-04 6:51:32 | 0:01:36 | 666 | failed install-dependencies |
| 10.6 | 2125 | 2019-11-03 21:23:50 | 2:56:16 | 646 | failed install-dependencies |
| 10.6.x86_64 | 4245 | 2019-11-01 16:09:56 | 0:01:14 | 668 | failed install-dependencies |
| 10.8 | 4264 | 2019-11-01 15:35:37 | 0:46:53 | 644 | build successful |
| 10.6.x86_64 | 4192 | 2019-11-01 11:55:03 | 0:34:54 | 648 | failed install-dependencies |
| 10.7 | 4430 | 2019-11-01 11:10:55 | 0:45:39 | 645 | build successful |
| 10.13 | 69587 | 2019-10-29 1:44:57 | 0:44:29 | 19837 | build successful |
| 10.9 | 103908 | 2019-10-28 18:39:21 | 0:58:30 | 28867 | build successful |
| 10.10 | 101095 | 2019-10-28 18:39:00 | 0:43:56 | 28921 | build successful |
| 10.14 | 44189 | 2019-10-28 18:36:45 | 1:02:16 | 10557 | build successful |
| 10.11 | 99893 | 2019-10-28 18:36:16 | 0:44:57 | 28879 | build successful |
| 10.12 | 104637 | 2019-10-28 18:35:37 | 0:43:36 | 27862 | build successful |
| 10.10 | 101090 | 2019-10-28 18:30:37 | 0:01:58 | 28920 | failed install-port |
| 10.11 | 99888 | 2019-10-28 18:03:22 | 0:02:47 | 28878 | failed install-port |
| 10.14 | 44184 | 2019-10-28 18:03:12 | 0:02:17 | 10556 | failed install-port |
| 10.11 | 99679 | 2019-10-26 22:41:43 | 0:02:20 | 28791 | failed install-port |
| 10.13 | 69097 | 2019-10-26 13:04:44 | 0:02:43 | 19637 | failed install-port |
| 10.10 | 100872 | 2019-10-26 6:09:23 | 0:02:11 | 28833 | failed install-port |
| 10.14 | 43909 | 2019-10-26 4:37:19 | 0:02:15 | 10467 | failed install-port |
| 10.13 | 68997 | 2019-10-25 21:21:33 | 0:02:44 | 19570 | failed install-port |
| 10.11 | 99376 | 2019-10-25 8:19:09 | 0:02:42 | 28679 | failed install-port |
| 10.11 | 99280 | 2019-10-24 20:47:09 | 0:03:22 | 28612 | failed install-port |
| 10.10 | 100455 | 2019-10-23 15:13:59 | 0:02:00 | 28720 | failed install-port |
| 10.13 | 68358 | 2019-10-23 7:11:28 | 0:02:29 | 19409 | failed install-port |
| 10.10 | 100334 | 2019-10-23 4:49:04 | 0:03:40 | 28653 | failed install-port |
| 10.14 | 43549 | 2019-10-23 3:39:08 | 0:03:58 | 10354 | failed install-port |
| 10.9 | 103234 | 2019-10-22 20:24:20 | 0:43:12 | 28666 | build successful |
| 10.12 | 104010 | 2019-10-22 20:12:13 | 0:42:43 | 27661 | build successful |
| 10.11 | 95799 | 2019-10-03 1:58:48 | 1:02:52 | 27982 | build successful |
| 10.13 | 65504 | 2019-10-03 1:58:39 | 0:54:44 | 18942 | build successful |
| 10.12 | 100214 | 2019-10-03 1:57:58 | 0:49:41 | 26963 | build successful |
| 10.10 | 96344 | 2019-10-03 1:57:52 | 0:57:56 | 28024 | build successful |
| 10.14 | 39779 | 2019-10-03 1:57:31 | 0:44:31 | 9658 | build successful |
| 10.9 | 98918 | 2019-10-03 1:57:01 | 0:52:47 | 27968 | build successful |
| 10.9 | 98831 | 2019-10-01 4:02:37 | 0:50:53 | 27923 | build successful |
| 10.10 | 96259 | 2019-10-01 2:42:21 | 0:55:20 | 27979 | build successful |
| 10.13 | 65380 | 2019-10-01 2:24:42 | 1:17:50 | 18875 | build successful |
| 10.11 | 95662 | 2019-10-01 1:09:28 | 1:18:14 | 27915 | build successful |
| 10.14 | 39655 | 2019-10-01 0:44:43 | 1:05:13 | 9591 | build successful |
| 10.12 | 100066 | 2019-10-01 0:30:40 | 1:23:55 | 26896 | build successful |
| 10.9 | 98784 | 2019-09-30 23:17:22 | 0:46:52 | 27901 | build successful |
| 10.10 | 96211 | 2019-09-30 21:04:22 | 0:50:24 | 27957 | build successful |
| 10.12 | 99877 | 2019-09-28 2:46:59 | 0:14:47 | 26828 | failed install-port |
| 10.14 | 39466 | 2019-09-28 2:46:46 | 0:49:04 | 9523 | build successful |
| 10.10 | 96021 | 2019-09-28 2:46:21 | 0:14:22 | 27889 | failed install-port |
| 10.11 | 95473 | 2019-09-28 2:46:17 | 0:15:13 | 27847 | failed install-port |
| 10.13 | 65191 | 2019-09-28 2:46:11 | 0:14:50 | 18807 | failed install-port |
| 10.9 | 98594 | 2019-09-28 2:45:40 | 0:11:39 | 27833 | failed install-port |