]>
2020-12-30 | Julien Moutinho | rename {Automaton => Machine} | tree | commitdiff |
2020-12-30 | Julien Moutinho | add missing tests | tree | commitdiff |
2020-12-29 | Julien Moutinho | add farthest position heuristic for parsing error messages | tree | commitdiff |
2020-12-03 | Julien Moutinho | Add runParser | tree | commitdiff |
2020-11-12 | Julien Moutinho | bump to ghc-9.0.1 to get a levity-polymorphic CodeQ | tree | commitdiff |
2020-10-22 | Julien Moutinho | Fix DumpInstr | tree | commitdiff |
2020-10-21 | Julien Moutinho | Add first golden tests for the Automaton | tree | commitdiff |
2020-10-21 | Julien Moutinho | Polish code and dumps | tree | commitdiff |
2020-10-20 | Julien Moutinho | Remove dependency upon symantic-base | tree | commitdiff |
2020-10-20 | Julien Moutinho | Fix infinite loop in observeSharing | tree | commitdiff |