mlton (lang/mlton) Updated: 7 months, 3 weeks ago Add to my watchlist
Whole-program optimizing compiler for the SMLMLton is a whole-program optimizing compiler for the Standard ML programming language. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator and a profiler.
Version: 20240519 License: HPND
GitHub
126 build(s) found
Page 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 13 | 85433 | 2025-01-11 14:09:34 | 0:20:13 | 29771 | build successful |
| 15 | 25166 | 2025-01-10 23:44:33 | 0:12:58 | 5432 | build successful |
| 12 | 126713 | 2025-01-10 3:04:37 | 0:48:37 | 44037 | build successful |
| 11 | 175748 | 2025-01-10 2:07:24 | 0:37:51 | 55153 | build successful |
| 10.15 | 204204 | 2025-01-10 0:55:24 | 0:30:10 | 65206 | build successful |
| 14 | 55285 | 2025-01-09 20:05:02 | 0:22:39 | 17977 | build successful |
| 10.11 | 284950 | 2025-01-09 19:50:22 | 0:35:47 | 94692 | build successful |
| 10.6 | 191066 | 2025-01-09 19:49:58 | 0:43:24 | 67244 | build successful |
| 10.9 | 299088 | 2025-01-09 19:49:33 | 0:35:32 | 94200 | build successful |
| 10.14 | 227228 | 2025-01-09 19:49:09 | 0:34:50 | 76142 | build successful |
| 10.8 | 199167 | 2025-01-09 19:48:45 | 0:32:35 | 64993 | build successful |
| 10.12 | 295024 | 2025-01-09 19:48:43 | 0:31:09 | 93443 | build successful |
| 10.7 | 213423 | 2025-01-09 19:47:56 | 0:16:06 | 66954 | failed install-port |
| 10.10 | 291637 | 2025-01-09 19:47:34 | 0:30:44 | 94530 | build successful |
| 10.6.x86_64 | 226725 | 2025-01-09 19:47:10 | 0:31:45 | 67295 | build successful |
| 10.13 | 253273 | 2025-01-09 19:46:48 | 0:33:12 | 85505 | build successful |
| 12.arm64 | 144602 | 2025-01-09 19:46:23 | 0:09:55 | 43924 | build successful |
| 15 | 12806 | 2024-10-13 16:23:26 | 0:22:38 | 1279 | build successful |
| 13 | 71119 | 2024-05-25 6:36:39 | 0:24:27 | 21730 | build successful |
| 10.13 | 235535 | 2024-05-25 5:19:30 | 0:25:33 | 77348 | build successful |
| 12.arm64 | 129131 | 2024-05-24 23:31:01 | 0:09:35 | 35850 | build successful |
| 14 | 39976 | 2024-05-24 20:41:57 | 0:33:36 | 9930 | build successful |
| 14.arm64 | 31804 | 2024-05-24 20:40:37 | 0:09:03 | 9569 | build successful |
| 10.14 | 209986 | 2024-05-24 18:53:15 | 0:34:28 | 68091 | build successful |
| 10.11 | 266409 | 2024-05-24 15:42:54 | 0:34:35 | 86515 | build successful |
| 10.6 | 168148 | 2024-05-24 15:42:18 | 0:39:16 | 59066 | build successful |
| 10.8 | 179716 | 2024-05-24 15:41:53 | 0:32:45 | 56878 | build successful |
| 10.9 | 278974 | 2024-05-24 15:41:28 | 0:30:26 | 86085 | build successful |
| 10.7 | 192698 | 2024-05-24 15:41:04 | 0:14:22 | 58826 | failed install-port |
| 10.10 | 271769 | 2024-05-24 15:40:40 | 0:31:03 | 86411 | build successful |
| 11 | 157519 | 2024-05-24 15:40:17 | 0:32:14 | 47011 | build successful |
| 10.6.x86_64 | 203864 | 2024-05-24 15:39:58 | 0:29:07 | 59107 | build successful |
| 12 | 109396 | 2024-05-24 15:39:36 | 0:32:30 | 35876 | build successful |
| 10.15 | 186684 | 2024-05-24 15:39:16 | 0:30:29 | 57088 | build successful |
| 10.12 | 276028 | 2024-05-24 15:38:56 | 0:33:30 | 85294 | build successful |
| 13.arm64 | 62829 | 2024-05-24 15:38:34 | 0:09:53 | 21472 | build successful |
| 10.13 | 235364 | 2024-05-23 22:04:16 | 0:29:26 | 77160 | build successful |
| 10.14 | 209822 | 2024-05-23 9:02:27 | 0:31:53 | 67903 | build successful |
| 10.7 | 192406 | 2024-05-23 8:58:22 | 0:14:41 | 58638 | failed install-port |
| 10.8 | 179427 | 2024-05-23 8:19:58 | 0:32:48 | 56690 | build successful |
| 10.11 | 266229 | 2024-05-23 8:03:32 | 0:34:32 | 86327 | build successful |
| 12 | 109249 | 2024-05-23 7:46:26 | 0:32:59 | 35688 | build successful |
| 10.15 | 186512 | 2024-05-23 5:52:51 | 0:35:57 | 56900 | build successful |
| 10.10 | 271468 | 2024-05-23 4:56:12 | 0:32:19 | 86223 | build successful |
| 14 | 39800 | 2024-05-22 18:54:53 | 0:24:03 | 9742 | build successful |
| 11 | 157186 | 2024-05-22 4:05:48 | 0:34:32 | 46823 | build successful |
| 10.12 | 275551 | 2024-05-22 3:57:12 | 0:27:59 | 85106 | build successful |
| 12.arm64 | 128885 | 2024-05-21 23:09:42 | 0:09:19 | 35662 | build successful |
| 13 | 70958 | 2024-05-21 22:47:46 | 0:34:15 | 21542 | build successful |
| 14.arm64 | 31449 | 2024-05-21 19:13:04 | 0:08:16 | 9381 | build successful |
| 10.9 | 278603 | 2024-05-21 17:24:27 | 0:38:58 | 85897 | build successful |
| 10.6 | 167789 | 2024-05-21 14:03:36 | 0:41:28 | 58878 | build successful |
| 10.6.x86_64 | 203497 | 2024-05-21 14:03:05 | 0:32:04 | 58919 | build successful |
| 13.arm64 | 62363 | 2024-05-21 14:02:44 | 0:09:06 | 21284 | build successful |
| 14 | 28364 | 2024-01-28 9:12:58 | 0:19:51 | 5007 | build successful |
| 13 | 60130 | 2024-01-27 18:57:03 | 0:30:08 | 16831 | build successful |
| 14.arm64 | 12936 | 2024-01-26 0:07:03 | 0:08:45 | 4599 | build successful |
| 12.arm64 | 116711 | 2024-01-25 5:51:58 | 0:09:17 | 30943 | build successful |
| 10.7 | 175235 | 2024-01-25 5:11:54 | 0:12:34 | 53935 | failed install-port |
| 12 | 95073 | 2024-01-25 4:53:09 | 0:31:46 | 30955 | build successful |
| 13.arm64 | 48755 | 2024-01-24 23:48:06 | 0:09:06 | 16564 | build successful |
| 10.13 | 219062 | 2024-01-24 19:51:52 | 0:27:28 | 72472 | build successful |
| 10.14 | 194099 | 2024-01-24 19:16:21 | 0:32:40 | 63223 | build successful |
| 11 | 140963 | 2024-01-24 18:47:59 | 0:34:27 | 42141 | build successful |
| 10.15 | 170072 | 2024-01-24 18:46:08 | 0:30:03 | 52212 | build successful |
| 10.12 | 258908 | 2024-01-24 18:25:25 | 0:30:19 | 80416 | build successful |
| 10.11 | 249712 | 2024-01-24 18:14:19 | 0:29:32 | 81630 | build successful |
| 10.8 | 162818 | 2024-01-24 17:45:37 | 0:32:14 | 51997 | build successful |
| 10.10 | 254387 | 2024-01-24 17:38:31 | 0:32:31 | 81523 | build successful |
| 10.9 | 261199 | 2024-01-24 17:38:22 | 0:30:18 | 81203 | build successful |
| 10.6 | 151156 | 2024-01-24 17:35:41 | 0:42:18 | 54155 | build successful |
| 10.6.x86_64 | 186622 | 2024-01-24 17:35:09 | 0:31:37 | 54200 | build successful |
| 14.arm64 | 2306 | 2024-01-11 12:51:42 | 0:08:28 | 572 | build successful |
| 13 | 57531 | 2023-12-23 5:01:41 | 0:16:43 | 15262 | build successful |
| 14 | 20271 | 2023-12-22 5:58:51 | 0:27:10 | 3293 | build successful |
| 12 | 91319 | 2023-12-21 14:23:36 | 0:29:37 | 29530 | build successful |
| 11.arm64 | 110982 | 2023-12-21 2:33:04 | 0:09:41 | 40716 | build successful |
| 12.arm64 | 114302 | 2023-12-20 21:23:04 | 0:09:14 | 29517 | build successful |
| 10.14 | 190282 | 2023-12-20 16:38:20 | 0:50:22 | 61798 | build successful |
| 10.13 | 215068 | 2023-12-20 14:21:15 | 0:33:41 | 71041 | build successful |
| 10.8 | 158710 | 2023-12-20 14:00:07 | 0:16:50 | 50566 | failed install-port |
| 10.11 | 245930 | 2023-12-20 13:54:09 | 0:17:01 | 80197 | failed install-port |
| 10.10 | 250116 | 2023-12-20 13:49:51 | 0:16:04 | 80084 | failed install-port |
| 10.7 | 170941 | 2023-12-20 13:44:21 | 0:15:13 | 52508 | failed install-port |
| 13.arm64 | 45705 | 2023-12-20 13:43:08 | 0:08:39 | 15134 | build successful |
| 10.12 | 254809 | 2023-12-20 13:36:35 | 0:33:45 | 78989 | build successful |
| 10.15 | 166224 | 2023-12-20 13:33:11 | 0:32:35 | 50787 | build successful |
| 10.9 | 256917 | 2023-12-20 13:33:01 | 0:14:54 | 79776 | failed install-port |
| 11 | 137056 | 2023-12-20 13:27:53 | 0:37:59 | 40712 | build successful |
| 10.6.x86_64 | 182274 | 2023-12-20 13:24:57 | 0:17:27 | 52771 | failed install-port |
| 10.6 | 146788 | 2023-12-20 13:01:44 | 0:43:24 | 52729 | build successful |
| 14 | 3089 | 2023-10-25 3:05:33 | 0:23:56 | 572 | build successful |
| 13 | 52729 | 2023-10-19 16:22:38 | 0:19:52 | 12836 | build successful |
| 12.arm64 | 109099 | 2023-10-17 4:58:00 | 0:09:26 | 27086 | build successful |
| 11.arm64 | 105739 | 2023-10-17 3:12:40 | 0:09:11 | 38277 | build successful |
| 11 | 130610 | 2023-10-16 16:30:23 | 0:36:39 | 38283 | build successful |
| 10.6.x86_64 | 174948 | 2023-10-16 16:30:23 | 0:16:25 | 50343 | failed install-port |
| 10.11 | 238911 | 2023-10-16 16:30:11 | 0:37:44 | 77771 | build successful |
| 10.6 | 139611 | 2023-10-16 16:30:01 | 0:39:38 | 50302 | build successful |
| 10.14 | 183706 | 2023-10-16 16:29:52 | 0:36:51 | 59373 | build successful |