ott (devel/ott) Add to my watchlist
tool for writing definitions of programming languagesOtt is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition.
Version: 0.25 License: BSD
GitHub
123 build(s) found
Page 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 130741 | 2026-02-08 13:36:22 | 0:00:11 | 50588 | failed install-port |
| 15 | 47530 | 2026-02-06 17:49:02 | 0:00:20 | 15472 | failed install-port |
| 13 | 102525 | 2026-02-04 11:41:48 | 0:00:19 | 39675 | failed install-port |
| 14.arm64 | 69675 | 2026-02-04 5:38:31 | 0:00:08 | 27546 | failed install-port |
| 10.14 | 250259 | 2026-02-02 22:50:45 | 0:01:18 | 85936 | failed install-port |
| 12.arm64 | 158784 | 2026-02-02 20:08:00 | 0:00:10 | 53626 | failed install-port |
| 10.13 | 276669 | 2026-02-01 22:55:00 | 0:01:11 | 95272 | failed install-port |
| 10.15 | 226975 | 2026-02-01 21:07:53 | 0:00:46 | 75026 | failed install-port |
| 13.arm64 | 96279 | 2026-02-01 19:04:39 | 0:00:12 | 39378 | failed install-port |
| 11 | 199513 | 2026-02-01 14:08:08 | 0:00:45 | 64979 | failed install-port |
| 12 | 149070 | 2026-02-01 12:34:58 | 0:00:50 | 53899 | failed install-port |
| 26.arm64 | 25691 | 2026-02-01 11:30:45 | 0:00:08 | 4211 | failed install-port |
| 10.12 | 320060 | 2026-02-01 11:13:55 | 0:01:15 | 103287 | failed install-port |
| 10.6 | 221659 | 2026-02-01 10:43:21 | 0:00:10 | 77189 | failed install-dependencies |
| 10.6 | 221659 | 2026-02-01 10:43:21 | 0:00:10 | 77189 | failed install-dependencies |
| 10.7 | 241755 | 2026-02-01 10:18:49 | 0:00:14 | 76850 | failed install-dependencies |
| 14 | 74317 | 2026-02-01 10:08:57 | 0:00:17 | 27824 | failed install-port |
| 15.arm64 | 35032 | 2026-02-01 9:56:22 | 0:00:13 | 14496 | failed install-port |
| 26.arm64 | 16451 | 2025-10-03 22:10:00 | 0:00:15 | 804 | failed install-port |
| 11.arm64 | 118337 | 2025-09-06 3:13:29 | 0:00:14 | 46047 | failed install-port |
| 12.arm64 | 150233 | 2025-08-24 20:35:11 | 0:00:16 | 49214 | failed install-port |
| 13.arm64 | 87338 | 2025-08-20 1:18:58 | 0:00:14 | 34912 | failed install-port |
| 10.14 | 239112 | 2025-08-19 0:46:04 | 0:01:16 | 81450 | failed install-port |
| 14 | 65302 | 2025-08-18 21:55:20 | 0:00:17 | 23348 | failed install-port |
| 12 | 138014 | 2025-08-18 0:48:45 | 0:01:13 | 49359 | failed install-port |
| 14.arm64 | 60386 | 2025-08-17 19:25:50 | 0:00:10 | 22944 | failed install-port |
| 15 | 36507 | 2025-08-17 15:36:58 | 0:00:18 | 10753 | failed install-port |
| 13 | 93966 | 2025-08-17 4:52:35 | 0:00:21 | 35082 | failed install-port |
| 15.arm64 | 24867 | 2025-08-17 2:04:14 | 0:00:22 | 9932 | failed install-port |
| 10.15 | 215497 | 2025-08-17 1:23:51 | 0:00:46 | 70515 | failed install-port |
| 10.12 | 307571 | 2025-08-17 1:02:36 | 0:01:24 | 98769 | failed install-port |
| 10.6 | 206331 | 2025-08-17 0:56:15 | 0:00:10 | 72584 | failed install-dependencies |
| 10.7 | 227556 | 2025-08-16 23:52:06 | 0:00:15 | 72285 | failed install-dependencies |
| 11 | 187352 | 2025-08-16 21:35:54 | 0:00:40 | 60469 | failed install-port |
| 10.13 | 265229 | 2025-08-16 21:21:21 | 0:01:27 | 90774 | failed install-port |
| 15.arm64 | 14199 | 2025-03-14 21:40:29 | 0:00:24 | 5886 | failed install-port |
| 15 | 16375 | 2024-10-18 20:14:18 | 0:00:31 | 2129 | failed install-port |
| 13 | 74682 | 2024-07-20 13:38:55 | 0:01:59 | 23692 | failed install-port |
| 14.arm64 | 37114 | 2024-07-19 2:15:59 | 0:00:27 | 11533 | failed install-port |
| 12.arm64 | 132892 | 2024-07-18 22:31:12 | 0:00:27 | 37830 | failed install-port |
| 14 | 43809 | 2024-07-18 21:51:12 | 0:02:50 | 11897 | failed install-port |
| 10.13 | 240343 | 2024-07-18 21:25:37 | 0:03:03 | 79383 | failed install-port |
| 12 | 113987 | 2024-07-18 21:25:14 | 0:03:20 | 37950 | failed install-port |
| 10.14 | 214453 | 2024-07-18 21:21:34 | 0:05:05 | 70053 | failed install-port |
| 13.arm64 | 66579 | 2024-07-18 21:19:43 | 0:00:30 | 23444 | failed install-port |
| 10.15 | 191399 | 2024-07-18 21:18:29 | 0:03:57 | 59120 | failed install-port |
| 10.12 | 281030 | 2024-07-18 21:17:56 | 0:01:06 | 87283 | failed install-port |
| 11 | 162235 | 2024-07-18 21:17:21 | 0:04:19 | 49044 | failed install-port |
| 10.6 | 174090 | 2024-07-18 20:47:21 | 0:00:13 | 61060 | failed install-dependencies |
| 10.7 | 198465 | 2024-07-18 20:44:39 | 0:00:15 | 60817 | failed install-dependencies |
| 13.arm64 | 66557 | 2024-07-18 20:41:14 | 0:00:40 | 23442 | exception install-port cleanup |
| 14.arm64 | 14556 | 2024-01-27 13:13:37 | 0:00:35 | 4796 | failed install-port |
| 14 | 23337 | 2024-01-01 20:06:56 | 0:00:17 | 3825 | failed install-port |
| 10.12 | 239228 | 2023-07-31 23:57:22 | 0:01:07 | 73651 | failed install-port |
| 11.arm64 | 98711 | 2023-07-31 6:18:09 | 0:00:23 | 35364 | failed install-port |
| 12.arm64 | 101444 | 2023-07-30 18:14:35 | 0:00:25 | 24175 | failed install-port |
| 10.6 | 128952 | 2023-07-30 15:21:12 | 0:00:06 | 47383 | failed install-dependencies |
| 12 | 77451 | 2023-07-30 14:24:00 | 0:01:26 | 24165 | failed install-port |
| 10.15 | 149892 | 2023-07-30 14:20:45 | 0:01:50 | 45450 | failed install-port |
| 10.14 | 174599 | 2023-07-30 14:11:03 | 0:01:33 | 56462 | failed install-port |
| 11 | 122245 | 2023-07-30 13:57:37 | 0:01:56 | 35366 | failed install-port |
| 10.7 | 153921 | 2023-07-30 12:40:08 | 0:00:59 | 47161 | failed install-dependencies |
| 13 | 42465 | 2023-07-30 12:35:01 | 0:01:04 | 9921 | failed install-port |
| 10.13 | 199930 | 2023-07-30 12:33:20 | 0:01:54 | 65703 | failed install-port |
| 13.arm64 | 29732 | 2023-07-30 12:31:42 | 0:00:27 | 9774 | failed install-port |
| 13.arm64 | 8489 | 2023-03-06 9:15:44 | 0:00:25 | 3971 | failed install-port |
| 10.7 | 129180 | 2023-01-11 10:26:49 | 0:00:09 | 39402 | failed install-dependencies |
| 10.14 | 152433 | 2023-01-11 7:27:37 | 0:01:24 | 48733 | failed install-port |
| 12 | 55458 | 2023-01-11 7:27:14 | 0:01:25 | 16419 | failed install-port |
| 11.arm64 | 80952 | 2023-01-11 5:47:10 | 0:00:29 | 27615 | failed install-port |
| 10.13 | 176948 | 2023-01-11 5:08:27 | 0:01:27 | 57965 | failed install-port |
| 13 | 13721 | 2023-01-11 3:59:19 | 0:00:46 | 1871 | failed install-port |
| 10.15 | 126450 | 2023-01-11 2:32:02 | 0:01:34 | 37725 | failed install-port |
| 10.6 | 103832 | 2023-01-11 1:59:12 | 0:00:09 | 39630 | failed install-dependencies |
| 11 | 98946 | 2023-01-11 1:49:18 | 0:01:35 | 27638 | failed install-port |
| 10.12 | 214485 | 2023-01-11 1:47:33 | 0:01:07 | 65886 | failed install-port |
| 12.arm64 | 81766 | 2023-01-11 1:41:45 | 0:00:24 | 16432 | failed install-port |
| 10.6 | 76226 | 2022-06-08 11:27:22 | 0:00:06 | 31748 | failed install-dependencies |
| 10.7 | 102622 | 2022-06-08 11:21:28 | 0:00:21 | 31546 | failed install-dependencies |
| 11.arm64 | 53354 | 2022-05-17 22:13:07 | 0:00:32 | 18905 | failed install-port |
| 10.6 | 69860 | 2022-05-17 10:21:41 | 0:00:07 | 30910 | failed install-dependencies |
| 10.14 | 127128 | 2022-05-17 10:05:06 | 0:01:08 | 40078 | failed install-port |
| 10.15 | 99775 | 2022-05-17 10:00:19 | 0:01:26 | 29075 | failed install-port |
| 11 | 72127 | 2022-05-17 9:56:32 | 0:01:20 | 18965 | failed install-port |
| 12 | 29177 | 2022-05-17 9:55:57 | 0:01:14 | 7744 | failed install-port |
| 10.7 | 98690 | 2022-05-17 9:55:47 | 0:00:13 | 30723 | failed install-dependencies |
| 10.12 | 186520 | 2022-05-17 9:55:08 | 0:00:58 | 57222 | failed install-port |
| 10.13 | 150671 | 2022-05-17 9:54:50 | 0:00:59 | 49306 | failed install-port |
| 12.arm64 | 50367 | 2022-05-17 9:53:46 | 0:00:27 | 7732 | failed install-port |
| 12.arm64 | 37799 | 2022-01-10 15:28:19 | 0:00:26 | 3418 | failed install-port |
| 10.6 | 52863 | 2022-01-10 9:13:38 | 0:00:19 | 26589 | failed install-dependencies |
| 10.7 | 83739 | 2022-01-10 9:12:38 | 0:00:21 | 26419 | failed install-dependencies |
| 10.13 | 137902 | 2022-01-10 9:11:21 | 0:01:21 | 45014 | failed install-port |
| 10.14 | 114471 | 2022-01-10 9:00:24 | 0:01:51 | 35782 | failed install-port |
| 11.arm64 | 42424 | 2022-01-10 8:59:46 | 0:00:28 | 14597 | failed install-port |
| 11 | 59987 | 2022-01-10 8:59:19 | 0:01:35 | 14660 | failed install-port |
| 10.15 | 86981 | 2022-01-10 8:59:09 | 0:02:04 | 24780 | failed install-port |
| 10.12 | 173672 | 2022-01-10 8:57:53 | 0:01:19 | 52929 | failed install-port |
| 12 | 9741 | 2022-01-03 18:12:27 | 0:01:31 | 2955 | failed install-port |
| 12.arm64 | 25105 | 2021-11-22 19:37:42 | 0:00:26 | 1471 | failed install-port |