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
58 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |