]>
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 |