Writing specifications in logic (especially temporal logic) is hard. Needing to memorize the syntax of such logics does not help. The goal of this repo is to explore how structured editors can be used as an alternative interface for writing temporal logic specifications.
The hypothesis is that structured editors are uniquely well suited for logics because of the relatively small grammar of a logic language. Whereas structured editors tend to be too restrictive and cumbersome in general purpose programming languages, it should be a better fit for temporal logic.
Structured editor for TSL with more music richness
No steps to install! Just open up the frontEnd folder
We use the nearly library for specifying the grammar.
If you
npm install -g nearley
You can then use
nearleyc grammarDef/tsl_grammar.ne -o grammarDef/tsl_grammar.js
to generate nicer representation of the grammar. We don’t use this for now, but it might come in handy at some point.