1. 25 Sep, 2020 8 commits
  2. 24 Sep, 2020 4 commits
  3. 18 Sep, 2020 1 commit
  4. 17 Sep, 2020 4 commits
  5. 03 Sep, 2020 1 commit
    • Hans-Peter Deifel's avatar
      Expose coalgebra printing as debug command · 09b1f842
      Hans-Peter Deifel authored
      Since the latest work changes the `minimize` command to actually do
      minimization, simply printing a coalgebra wasn't exposed in the CLI
      anymore.
      
      This brings it back under the `debug` subcommand.
      09b1f842
  6. 15 Aug, 2020 1 commit
  7. 12 Aug, 2020 2 commits
  8. 05 Aug, 2020 2 commits
  9. 03 Aug, 2020 1 commit
  10. 30 Jul, 2020 1 commit
  11. 28 Jul, 2020 6 commits
  12. 07 Jul, 2020 1 commit
  13. 02 Jul, 2020 8 commits