mercury (lang/mercury) Updated: 1 year ago Add to my watchlist

The Mercury Programming Language

Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.

Version: 22.01.8 License: GPL-2 and LGPL-2 GitHub
Reset

29 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
15 14075 2024-10-15 1:58:32 2:35:05 1575 build successful
12.arm64 118967 2024-02-21 7:24:38 1:34:55 32100 build successful
13 62399 2024-02-21 5:31:56 3:18:36 17991 build successful
13.arm64 51097 2024-02-21 1:51:22 1:40:05 17731 build successful
10.14 197233 2024-02-20 20:32:10 6:00:02 64383 build successful
10.15 173243 2024-02-20 20:16:38 6:45:08 53371 build successful
12 98193 2024-02-20 20:16:14 7:18:01 32112 build successful
10.13 222291 2024-02-20 20:13:34 5:40:31 73630 build successful
11 144144 2024-02-20 20:07:53 7:43:26 43300 build successful
10.6 154815 2024-02-20 20:04:50 8:04:29 55315 build successful
10.11 252893 2024-02-20 20:00:48 5:49:57 82787 build successful
14 31095 2024-02-20 19:59:27 3:12:10 6172 build successful
10.8 166284 2024-02-20 19:55:22 5:24:54 53156 build successful
10.6.x86_64 190372 2024-02-20 19:54:40 0:15:58 55361 failed install-port
10.12 262067 2024-02-20 19:53:16 6:30:06 81574 build successful
10.9 264751 2024-02-20 19:49:56 5:16:28 82362 build successful
10.7 178876 2024-02-20 19:49:34 4:35:13 55095 build successful
10.10 257806 2024-02-20 19:47:55 5:11:03 82680 build successful
14.arm64 18130 2024-02-20 19:25:25 1:32:08 5843 build successful
14.arm64 10034 2024-01-21 20:13:45 0:01:56 4350 failed install-port
14 9490 2023-11-09 21:05:45 0:02:05 1538 failed install-port
13.arm64 12063 2023-03-09 13:06:45 0:01:27 4265 failed install-port
13 14588 2023-01-13 4:37:56 0:01:50 2028 failed install-port
12 14513 2022-01-15 9:12:37 0:02:27 3486 failed install-port
12.arm64 15807 2021-11-15 9:15:18 0:01:17 1071 failed install-port
11.arm64 22405 2021-06-10 5:09:38 0:01:46 7062 failed install-port
10.6 33249 2021-06-10 4:40:54 7:07:20 18890 build successful
10.15 7032 2019-11-28 1:09:23 4:48:31 1029 build successful
10.5_ppc 91371 2019-01-24 5:13:24 3:58:31 20806 failed install-port