Commits

Show all
Author Commit Message Labels Comments Date
Devin Jeanpierre
Remove remaining dead set code.
Devin Jeanpierre
Added default DFA constructor
Devin Jeanpierre
Add (some) set operations. <= etc. will have to wait.
Devin Jeanpierre
Code coverage and bug fixes, blah.
Devin Jeanpierre
Remove old parsley parser.
Devin Jeanpierre
Remove vestigial predicate sets code.
Devin Jeanpierre
Minimization should be nice to start states and dead states, for clarity's sake.
Devin Jeanpierre
Rework semantics of language_counts a bit.
Devin Jeanpierre
Add with_alphabet.
Devin Jeanpierre
Include C++ tests. Seems I forgot to add these. :/
Devin Jeanpierre
Lint fixes; some shadowed tests re-added.
Devin Jeanpierre
autopep8ified
Devin Jeanpierre
passing in dead_state!
Devin Jeanpierre
Remove DFA antiset_transitions entirely!
Devin Jeanpierre
Remove all use of DFA antiset transitions from the dfa module.
Devin Jeanpierre
Remove _use_remainder_transitions argument to dfa.DFA
Devin Jeanpierre
Remove DFA antiset transitions from the NFA->DFA compiler.
Devin Jeanpierre
Fixed up DFA.and_ to be more modern w.r.t. changes I've been making.
Devin Jeanpierre
Add more usage of remainder_transitions.
Devin Jeanpierre
Move to specifying remainder_transitions in the parameters for DFA().
Devin Jeanpierre
Start replacing antiset_transitions with remainder_transitions.
Devin Jeanpierre
This was a leftover from an old way of writing things.
Devin Jeanpierre
Forbid implicit non-antiset transitions to the dead state.
Devin Jeanpierre
Some more simplification / cleanup of complete-DFA.
Devin Jeanpierre
Make DFA always "complete", with defined (antiset-)transition transitions.
Devin Jeanpierre
Fixed up language counts, again. :)
Devin Jeanpierre
Partially unfinished thing for state relabeling. I worked on it a week or two
Devin Jeanpierre
Added BFS traversal.
Devin Jeanpierre
Fixed broken test case
Devin Jeanpierre
Removed JIT (it doesn't work on this machine :/)
  1. Prev
  2. Next