1. 17 Sep, 2019 1 commit
  2. 16 Sep, 2019 1 commit
  3. 22 Aug, 2019 1 commit
  4. 17 Aug, 2019 1 commit
  5. 12 Aug, 2019 1 commit
  6. 09 Aug, 2019 1 commit
  7. 31 Jul, 2019 1 commit
  8. 12 Jul, 2019 1 commit
  9. 04 Feb, 2019 1 commit
  10. 29 Jan, 2019 1 commit
  11. 15 Jan, 2019 2 commits
  12. 14 Jan, 2019 1 commit
  13. 23 Nov, 2018 1 commit
  14. 21 Aug, 2018 1 commit
  15. 07 Aug, 2018 3 commits
  16. 24 Jul, 2018 1 commit
  17. 09 Jul, 2018 1 commit
  18. 30 Jun, 2018 2 commits
  19. 26 Jun, 2018 2 commits
    • Markus Klinik's avatar
      remove dead code · 522e7d4f
      Markus Klinik authored
      Remove some old type signatures that are clearly not used anymore
      522e7d4f
    • Markus Klinik's avatar
      ConfSM: return counterexample · cce67750
      Markus Klinik authored
      Make the function testConfSM return the found counterexample in a way
      that is compatible with System.IO. This means it is possible to use
      testConfSM in the IO monad like so:
      
        withWorld (testConfSM ...) >>= \(resultState, counterexample) ->
        ...
      cce67750
  20. 20 Jun, 2018 2 commits
  21. 07 Jun, 2018 2 commits
  22. 05 Jun, 2018 1 commit
  23. 22 May, 2018 1 commit
  24. 24 Apr, 2018 6 commits
  25. 25 Mar, 2018 1 commit
  26. 19 Mar, 2018 3 commits