1. 25 Jun, 2020 1 commit
  2. 18 Jun, 2020 1 commit
  3. 10 Jun, 2020 1 commit
    • Harco Kuppens's avatar
      improved · bcd866c4
      Harco Kuppens authored
       - setting seed and verbose params on cmdline
       - with check_seed_has_effect.sh we found out which setting does indeed
         change seed for z3 solver
       - improved documentation for canonicalizion of automata ( does not
       effect reproducability )
      bcd866c4
  4. 09 Jun, 2020 2 commits
  5. 29 May, 2020 2 commits
  6. 27 Nov, 2018 1 commit
  7. 29 Dec, 2017 1 commit
  8. 27 Nov, 2017 4 commits
  9. 20 Nov, 2017 2 commits
  10. 19 Nov, 2017 11 commits
  11. 18 Nov, 2017 3 commits
  12. 30 Oct, 2017 2 commits
  13. 25 Oct, 2017 4 commits
  14. 24 Oct, 2017 1 commit
  15. 18 Oct, 2017 3 commits
  16. 16 Oct, 2017 1 commit