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 2 of 2 | Showing build(s) 101 to 123
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |