1. 18 Oct, 2019 1 commit
  2. 17 Oct, 2019 1 commit
    • Jonathan Moerman's avatar
      Clean up of model and proofs · 16c1132c
      Jonathan Moerman authored
      Inline pow2, remove a few proof asserts
      
      Improved proof assertions (now depends less on things like reg54)
      
      Remove or contract a few assertions, fixes slow xor assert verifications
      16c1132c
  3. 14 Oct, 2019 1 commit
  4. 12 Oct, 2019 1 commit
  5. 11 Oct, 2019 1 commit
  6. 10 Oct, 2019 2 commits
  7. 02 Oct, 2019 5 commits
  8. 27 Sep, 2019 1 commit
  9. 26 Sep, 2019 1 commit
  10. 20 Sep, 2019 1 commit
  11. 18 Sep, 2019 2 commits
  12. 13 Sep, 2019 2 commits
  13. 12 Sep, 2019 5 commits
  14. 06 Sep, 2019 2 commits
  15. 05 Sep, 2019 2 commits
  16. 30 Aug, 2019 1 commit
  17. 29 Aug, 2019 2 commits
  18. 23 Aug, 2019 7 commits
  19. 22 Aug, 2019 2 commits