- Dec 09, 2018
-
-
Daniel Neider authored
-
- Dec 07, 2018
-
-
Daniel Neider authored
-
Daniel Neider authored
-
- Dec 06, 2018
-
-
Daniel Neider authored
-
- Dec 04, 2018
-
-
Daniel Neider authored
-
Daniel Neider authored
Now correctly completes a deterministic Owl automaton before translating to a Moore machine. Also now uses deterministic automata in command line interface.
-
- Nov 28, 2018
-
-
Daniel Neider authored
-
Daniel Neider authored
-
- Nov 24, 2018
-
-
Daniel Neider authored
-