Move Flex DFA generation into its own module, makes bootstrap_flex.py trivial
authorNick Downing <downing.nick@gmail.com>
Sun, 1 Jul 2018 14:56:41 +0000 (00:56 +1000)
committerNick Downing <downing.nick@gmail.com>
Sun, 1 Jul 2018 14:56:41 +0000 (00:56 +1000)
commitac2f9e40e5cfe968a8c44385b4fc1c0b65ab1f67
treed7cd19d0cc3739db463d66a850a88ad8bc67e36c
parentcba680288603883ee15e74bfd8d9f7b0e9993c1b
Move Flex DFA generation into its own module, makes bootstrap_flex.py trivial
bootstrap_plex.py
flex_dfa.py [new file with mode: 0644]