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
87 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.14 | 88258 | 2021-06-03 20:31:14 | 0:01:12 | 27781 | failed install-port |
| 10.6 | 32527 | 2021-06-03 0:02:07 | 0:00:45 | 18584 | failed install-dependencies |
| 10.7 | 54682 | 2021-06-02 20:48:50 | 0:00:14 | 18592 | failed install-dependencies |
| 11 | 32650 | 2021-06-02 20:43:56 | 0:01:20 | 6584 | failed install-port |
| 10.15 | 59614 | 2021-06-02 20:43:49 | 0:01:19 | 16777 | failed install-port |
| 10.13 | 112563 | 2021-06-02 20:38:02 | 0:01:24 | 37072 | failed install-port |
| 10.12 | 148089 | 2021-06-02 20:36:15 | 0:01:07 | 45119 | failed install-port |
| 11.arm64 | 21512 | 2021-06-02 20:35:23 | 0:00:31 | 6758 | failed install-port |
| 11.arm64 | 18317 | 2021-04-24 23:57:08 | 0:00:27 | 5251 | failed install-port |
| 11 | 8913 | 2020-12-21 19:47:55 | 0:01:19 | 1043 | failed install-port |
| 10.14 | 72575 | 2020-12-01 22:22:52 | 0:01:19 | 21804 | failed install-port |
| 10.12 | 131971 | 2020-12-01 22:17:41 | 0:01:10 | 39120 | failed install-port |
| 10.13 | 96613 | 2020-12-01 21:59:49 | 0:01:10 | 31078 | failed install-port |
| 10.15 | 43881 | 2020-12-01 21:59:48 | 0:01:13 | 11358 | failed install-port |
| 11.arm64 | 4081 | 2020-12-01 19:58:56 | 0:00:04 | 645 | failed install-dependencies |
| 10.7 | 36253 | 2020-12-01 19:58:12 | 0:01:03 | 12564 | failed install-port |
| 10.6 | 21044 | 2020-12-01 19:46:49 | 0:09:43 | 12568 | failed install-port |
| 10.7 | 14244 | 2020-01-16 5:03:21 | 0:01:01 | 3444 | failed install-port |
| 10.15 | 21155 | 2020-01-16 4:40:26 | 0:01:23 | 2274 | failed install-port |
| 10.14 | 50620 | 2020-01-16 4:23:53 | 0:01:28 | 12727 | failed install-port |
| 10.12 | 111108 | 2020-01-16 4:20:24 | 0:01:32 | 30032 | failed install-port |
| 10.13 | 75826 | 2020-01-16 4:20:18 | 0:01:26 | 22007 | failed install-port |
| 10.15 | 18398 | 2020-01-01 3:30:23 | 0:01:29 | 1819 | failed install-port |