issues
search
statebox
/
fsm-oracle
Finite state machines as graphs
GNU Affero General Public License v3.0
58
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use ignoreWeaken from Typedefs
#13
andrevidela
opened
4 years ago
0
Cartographer
#12
andrevidela
closed
4 years ago
12
fix elba build
#11
andrevidela
closed
4 years ago
0
`elba install` fails to install anything
#10
stephen-smith
closed
4 years ago
2
Maybe I misunderstood
#9
zx9w
closed
4 years ago
1
tag the latest version for Idris-ct using the new graph module in elba
#8
andrevidela
opened
4 years ago
0
Add AGPL 3.0 license headers to source files.
#7
epost
closed
4 years ago
0
Wrap FS and JSON Error into TDef term
#6
andrevidela
closed
4 years ago
0
Make error messages readable in resulting JSON
#5
andrevidela
opened
4 years ago
0
High level refactor
#4
andrevidela
closed
4 years ago
0
Fix command-line after #211 is fixed
#3
andrevidela
closed
4 years ago
0
Write usage documentation and README
#2
andrevidela
closed
4 years ago
0
import files from stbx-core
#1
andrevidela
closed
4 years ago
0