src/random-dfa/CoalgOutput.hs · bd186b68947f43e4cf12fe2d091a65420befcd81 · Informatik 8 / CoPaR · GitLab

Find file Blame History Permalink

random-dfa: Replace Int with Word16 · bd186b68
Hans-Peter Deifel authored Jan 04, 2019
```
This should require 4 times less RAM and allow us to generate larger DFAs.
```
bd186b68