| Mode | Name | Size |
| -rw-r--r-- | fsm.png | 13885B |
| -rwxr-xr-x | install.sh | 7L |
| -rw-r--r-- | ltl.md | 241L |
| -rwxr-xr-x | minisql | 2L |
| -rw-r--r-- | minisql.cm | 6L |
| -rw-r--r-- | minisql.sml | 293L |
| -rw-r--r-- | randgen.py | 92L |
| -rw-r--r-- | readme.md | 34L |
| -rw-r--r-- | viewer.py | 11L |
| minisqlsmall tool to query json files with ltl-flavored sql queries |
| Log | Files | Refs | README |
| Mode | Name | Size |
| -rw-r--r-- | fsm.png | 13885B |
| -rwxr-xr-x | install.sh | 7L |
| -rw-r--r-- | ltl.md | 241L |
| -rwxr-xr-x | minisql | 2L |
| -rw-r--r-- | minisql.cm | 6L |
| -rw-r--r-- | minisql.sml | 293L |
| -rw-r--r-- | randgen.py | 92L |
| -rw-r--r-- | readme.md | 34L |
| -rw-r--r-- | viewer.py | 11L |
