1. 10 May, 2020 2 commits
  2. 08 May, 2020 1 commit
  3. 06 May, 2020 3 commits
  4. 30 Apr, 2020 1 commit
    • Robbert Krebbers's avatar
      Large refactoring. · deb6d9e5
      Robbert Krebbers authored
      - Protocols are no longer contractive in the message
      - New type `iMsg` for messages to avoid telescopes in protocols
      - Better rules for subprotocols that do not involve telescopes, but allow introduction
        and elimination of quantifiers and the payload
      - Better notations for protocols
      - Notation ⊑ for subprotocols
      - Make ⊑ except-0 so one can strip laters when proving a ⊑
      - Restore recursive domain equation to push later inwards to support protocols
        that are not contractive in the mssage.
      - Proofmode support for easy manipulation of ⊑
      deb6d9e5
  5. 04 Apr, 2020 1 commit
  6. 01 Apr, 2020 1 commit
  7. 25 Mar, 2020 1 commit
  8. 16 Mar, 2020 1 commit
  9. 18 Nov, 2019 1 commit
  10. 17 Nov, 2019 1 commit
  11. 16 Nov, 2019 3 commits
  12. 15 Nov, 2019 2 commits
  13. 25 Oct, 2019 1 commit
  14. 23 Oct, 2019 1 commit
  15. 19 Oct, 2019 1 commit
  16. 14 Oct, 2019 3 commits
  17. 11 Oct, 2019 2 commits
  18. 23 Sep, 2019 1 commit
  19. 17 Sep, 2019 1 commit
  20. 11 Jul, 2019 3 commits
  21. 10 Jul, 2019 1 commit
  22. 09 Jul, 2019 5 commits
  23. 08 Jul, 2019 3 commits