1. 12 Jan, 2021 1 commit
  2. 04 Dec, 2020 1 commit
  3. 11 Nov, 2020 1 commit
  4. 16 Oct, 2020 3 commits
  5. 15 Oct, 2020 1 commit
  6. 12 Oct, 2020 2 commits
  7. 09 Oct, 2020 8 commits
  8. 07 Oct, 2020 1 commit
  9. 01 Oct, 2020 3 commits
  10. 25 Sep, 2020 2 commits
  11. 23 Sep, 2020 5 commits
  12. 08 Sep, 2020 1 commit
  13. 26 Aug, 2020 2 commits
  14. 24 Aug, 2020 2 commits
    • Jana Berger's avatar
      Added sliced versions of Problem 16, final batch. · 3049e9a2
      Jana Berger authored
      For problem 12, error codes 1, 4, 14, 15, 17, 18, 20, 21, 22, 24, 27, 29, 30, 31, 32, 33, 34, 35, 39, 42, 43, 44, 45, 47, 48, 50, 51, 55, 57, 59, 60, 61, 66, 69, 70, 72, 75, 78, 80, 81, 83, 88, 89, 92, 93, 94, 96, 98, 99 have been deemed
       safe by static analysis.
      
      For problem 15, error codes 5, 14, 19, 23, 26, 37, 42, 45, 51, 58, 66, 69, 70, 75, 92, 98 have been deemed safe by static analysis.
      
      Slicing the files took 148817.766155s (1488.17766155s avg per file).
      For problem 16, error codes 27, 64 have been deemed safe by static analysis.
      3049e9a2
    • Joshua Moerman's avatar
      Adds code to do the NuSMV model checking · d062d3ef
      Joshua Moerman authored
      d062d3ef
  15. 21 Aug, 2020 1 commit
  16. 19 Aug, 2020 6 commits