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