| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | abc.dfa | 292 | logplain |
| -rw-r--r-- | even.dfa | 248 | logplain |
| -rw-r--r-- | helloworld.dfa | 196 | logplain |
| -rw-r--r-- | looptest.ndfa | 178 | logplain |
| -rw-r--r-- | mfcs.dfa | 267 | logplain |
| -rw-r--r-- | mfcs2.dfa | 291 | logplain |
| -rw-r--r-- | nondet.ndfa | 87 | logplain |
| -rw-r--r-- | psc.dfa | 237 | logplain |
 |
index : VFSM.git | |
| The Virtual Finite State Machine: Yet another FSM simulator |
| aboutsummaryrefslogtreecommitdiff |