kremlin (lang/fstar) Updated: 2 years, 4 months ago Add to my watchlist

A tool for extracting low-level F* programs to readable C code

KreMLin is a tool that extracts an F* program to readable C code.

Version: 2022.06.08 License: Apache-2 GitHub
Reset

275 build(s) found

Page 1 of 3 | Showing build(s) 1 to 100

Builder Build Number Start Time Elapsed Time Watcher Build Status
15 11986 2024-10-13 1:57:12 0:00:02 1180 failed install-dependencies
13 75390 2024-07-28 18:21:43 0:03:17 23982 failed install-port
10.9 285511 2024-07-28 14:34:39 0:00:28 88367 failed install-dependencies
10.8 185944 2024-07-28 13:46:36 0:00:49 59160 failed install-dependencies
10.10 278186 2024-07-28 13:27:10 0:00:36 88695 failed install-dependencies
10.7 199373 2024-07-28 13:20:58 0:00:39 61107 failed install-dependencies
14 44733 2024-07-28 13:18:29 0:00:17 12187 failed install-dependencies
14.arm64 37931 2024-07-28 12:17:17 0:00:08 11821 failed install-dependencies
11 163040 2024-07-28 12:06:50 0:00:23 49334 failed install-dependencies
10.14 215107 2024-07-28 12:06:06 0:00:20 70343 failed install-dependencies
10.15 192125 2024-07-28 12:05:04 0:00:24 59411 failed install-dependencies
10.6 175309 2024-07-28 11:57:46 0:01:13 61351 failed install-dependencies
10.11 272298 2024-07-28 11:56:32 0:00:22 88857 failed install-dependencies
10.12 281867 2024-07-28 11:52:01 0:00:22 87573 failed install-dependencies
10.6.x86_64 211060 2024-07-28 11:51:34 0:00:57 61395 failed install-dependencies
10.13 241012 2024-07-28 11:47:36 0:00:24 79673 failed install-dependencies
13 66615 2024-04-18 4:57:42 0:05:28 20160 failed install-port
14 35404 2024-04-17 18:43:39 0:00:10 8339 failed install-dependencies
14.arm64 24332 2024-04-17 18:06:46 0:00:11 8016 failed install-dependencies
10.13 228129 2024-04-17 8:59:03 0:00:25 75801 failed install-dependencies
10.12 268291 2024-04-17 8:56:46 0:00:22 83746 failed install-dependencies
10.14 202682 2024-04-17 8:53:17 0:00:18 66551 failed install-dependencies
11 150079 2024-04-17 8:48:48 0:00:32 45469 failed install-dependencies
10.15 179268 2024-04-17 8:40:33 0:00:25 55543 failed install-dependencies
10.6 161215 2024-04-17 8:12:56 0:01:26 57491 failed install-dependencies
10.11 258858 2024-04-17 8:11:53 0:00:29 84967 failed install-dependencies
10.6.x86_64 196997 2024-04-17 8:07:34 0:00:56 57539 failed install-dependencies
10.9 271115 2024-04-17 8:07:18 0:00:26 84536 failed install-dependencies
10.8 172008 2024-04-17 8:07:07 0:00:40 55329 failed install-dependencies
10.10 263942 2024-04-17 8:05:56 0:00:26 84859 failed install-dependencies
10.7 184697 2024-04-17 8:05:01 0:00:30 57268 failed install-dependencies
14.arm64 9978 2024-01-21 19:33:59 0:00:08 4347 failed install-dependencies
14 16516 2023-12-07 12:37:55 0:00:12 2637 failed install-dependencies
11.arm64 100112 2023-08-24 11:18:26 0:00:08 35978 failed install-dependencies
11 123873 2023-08-16 18:22:14 0:01:04 35981 failed install-dependencies
10.12 240853 2023-08-16 11:57:18 0:00:10 74265 failed install-dependencies
10.14 176385 2023-08-16 10:14:11 0:00:20 57076 failed install-dependencies
10.8 144518 2023-08-16 8:49:02 0:00:29 45835 failed install-dependencies
10.10 235752 2023-08-16 8:46:58 0:00:18 75359 failed install-dependencies
10.9 242227 2023-08-16 8:46:43 0:00:20 75048 failed install-dependencies
10.7 156103 2023-08-16 8:37:03 0:00:39 47775 failed install-dependencies
13 44669 2023-08-16 7:37:29 0:03:22 10533 failed install-port
10.6 131453 2023-08-16 7:33:14 0:00:37 47993 failed install-dependencies
10.6.x86_64 166915 2023-08-16 7:31:51 0:00:34 48032 failed install-dependencies
10.13 201621 2023-08-16 7:12:32 0:00:28 66317 failed install-dependencies
10.15 151899 2023-08-16 6:57:58 0:00:26 46064 failed install-dependencies
10.11 232153 2023-08-16 6:46:46 0:00:23 75471 failed install-dependencies
13.arm64 10973 2023-03-08 18:06:29 0:02:05 4161 build successful
10.6 104476 2023-01-13 9:38:43 0:00:48 39761 failed install-dependencies
10.8 118898 2023-01-13 3:59:18 0:00:28 37576 failed install-dependencies
10.10 210053 2023-01-13 3:49:21 0:00:23 67095 failed install-dependencies
10.7 129702 2023-01-13 3:47:21 0:00:42 39533 failed install-dependencies
10.13 177270 2023-01-13 3:32:43 0:00:21 58094 failed install-dependencies
10.14 152710 2023-01-13 3:21:35 0:00:25 48861 failed install-dependencies
10.6.x86_64 139165 2023-01-13 3:00:57 0:00:38 39791 failed install-dependencies
10.9 215717 2023-01-13 2:46:04 0:00:22 66791 failed install-dependencies
10.11 207516 2023-01-13 2:45:27 0:00:21 67215 failed install-dependencies
10.15 126790 2023-01-13 2:19:38 0:00:50 37853 failed install-dependencies
11.arm64 81390 2023-01-13 1:46:04 0:00:05 27743 failed install-dependencies
10.12 214852 2023-01-13 1:17:10 0:00:12 66015 failed install-dependencies
11 99354 2023-01-13 1:12:44 0:00:23 27766 failed install-dependencies
13 12049 2023-01-09 6:38:56 0:03:12 1710 failed install-port
10.13 154224 2022-06-16 19:14:38 0:00:18 50368 failed install-dependencies
10.10 186855 2022-06-16 7:57:30 0:00:21 59363 failed install-dependencies
10.11 185775 2022-06-15 19:08:18 0:00:26 59478 failed install-dependencies
10.14 130755 2022-06-15 12:54:05 0:00:23 41141 failed install-dependencies
10.9 191989 2022-06-15 11:40:33 0:00:22 59055 failed install-dependencies
10.15 103456 2022-06-15 10:02:07 0:00:29 30136 failed install-dependencies
11 75986 2022-06-14 17:16:49 0:00:12 20036 failed install-dependencies
11 75983 2022-06-14 17:07:31 0:00:13 20034 failed install-dependencies
11 75980 2022-06-14 16:57:25 0:00:21 20031 failed install-dependencies
10.12 190141 2022-06-14 16:42:48 0:00:10 58283 failed install-dependencies
11.arm64 58204 2022-06-14 16:40:08 0:00:04 19982 failed install-dependencies
11.arm64 58200 2022-06-14 16:36:20 0:00:04 19980 failed install-dependencies
11.arm64 58191 2022-06-14 16:24:43 0:00:05 19977 failed install-dependencies
11.arm64 57868 2022-06-11 4:53:38 0:00:05 19841 failed install-dependencies
10.11 185486 2022-06-11 1:42:47 0:00:09 59344 failed install-dependencies
12 33038 2022-06-10 20:49:02 0:05:05 8674 build successful
12.arm64 55198 2022-06-10 20:34:29 0:01:37 8667 build successful
10.14 130483 2022-06-10 20:27:38 0:00:09 41007 failed install-dependencies
11 75695 2022-06-10 20:21:50 0:00:12 19897 failed install-dependencies
10.9 191686 2022-06-10 20:21:17 0:00:09 58921 failed install-dependencies
10.15 103176 2022-06-10 20:21:02 0:00:13 30002 failed install-dependencies
10.10 186551 2022-06-10 20:20:10 0:00:08 59229 failed install-dependencies
10.12 189866 2022-06-10 20:18:52 0:00:10 58148 failed install-dependencies
10.13 153951 2022-06-10 20:18:41 0:00:09 50234 failed install-dependencies
10.6 77156 2022-06-10 20:16:40 0:00:28 31854 failed install-dependencies
10.6.x86_64 110701 2022-06-10 20:15:55 0:00:29 31829 failed install-dependencies
10.8 93353 2022-06-10 20:15:37 0:00:19 29704 failed install-dependencies
10.7 103345 2022-06-10 20:14:44 0:00:29 31652 failed install-dependencies
10.6 77021 2022-06-10 11:58:47 0:00:38 31843 failed install-dependencies
10.6.x86_64 110586 2022-06-10 11:41:47 0:00:31 31817 failed install-dependencies
10.8 93290 2022-06-10 11:30:29 0:00:21 29693 failed install-dependencies
10.7 103276 2022-06-10 11:29:12 0:00:27 31641 failed install-dependencies
10.8 90109 2022-05-22 15:45:28 0:00:23 28970 failed install-dependencies
10.6 71127 2022-05-22 15:32:56 0:00:37 31105 failed install-dependencies
10.6.x86_64 105260 2022-05-22 15:25:50 0:00:33 31073 failed install-dependencies
10.7 99660 2022-05-22 15:16:33 0:00:31 30917 failed install-dependencies
10.8 76419 2022-01-14 17:12:53 0:00:29 24660 failed install-dependencies
10.7 84572 2022-01-14 15:39:27 0:00:40 26606 failed install-dependencies