Giters
statebox
/
fsm-oracle
Finite state machines as graphs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
58
Watchers:
10
Issues:
9
Forks:
7
statebox/fsm-oracle Issues
Use ignoreWeaken from Typedefs
Updated
4 years ago
`elba install` fails to install anything
Closed
4 years ago
Comments count
2
High level refactor
Closed
4 years ago
tag the latest version for Idris-ct using the new graph module in elba
Updated
4 years ago
import files from stbx-core
Closed
4 years ago
Write usage documentation and README
Closed
4 years ago
Fix command-line after #211 is fixed
Closed
4 years ago
Wrap FS and JSON Error into TDef term
Closed
4 years ago
Make error messages readable in resulting JSON
Updated
4 years ago