1. 16 May, 2022 1 commit
  2. 13 May, 2022 1 commit
  3. 23 Jul, 2021 2 commits
  4. 17 May, 2021 1 commit
  5. 19 Jan, 2021 1 commit
  6. 11 Nov, 2020 1 commit
  7. 05 Nov, 2020 1 commit
  8. 04 Nov, 2020 1 commit
  9. 03 Nov, 2020 1 commit
  10. 15 Oct, 2020 1 commit
  11. 29 Sep, 2020 3 commits
    • Robbert Krebbers's avatar
      a932b194
    • Robbert Krebbers's avatar
      Comment. · ded3b674
      Robbert Krebbers authored
      ded3b674
    • Robbert Krebbers's avatar
      Make `iFrame` "less" smart w.r.t. clean up of modalities. · d179e416
      Robbert Krebbers authored
      Previously, if would "cleanup" `<affine>` and `□` if the result after framing
      is affine and intuitionistic, respectively. This behavior was inconsistent,
      since similar "cleanup" was not performed for `<absorbing>` and `<persistent>`.
      This MR thus removes this "cleanup" of modalities. It now consistently removes
      the modalities `<affine>`, `<absorbing>, `<persistent>` and `□` only if the
      result after framing is `True` or `emp`.
      
      Since `iFrame` is already very complicated, and since its performance is
      sometimes suboptimal in bigger developments, @jung and I believed doing
      fewer "smart" things is better than the alternative, namely performing doing
      sophisticated "cleanup" for all modalities, which is presented in
      !450
      d179e416
  12. 10 Sep, 2020 1 commit
  13. 23 May, 2020 2 commits
  14. 03 Apr, 2020 1 commit
  15. 20 Mar, 2020 1 commit
  16. 06 May, 2019 1 commit
  17. 26 Apr, 2019 1 commit
  18. 25 Apr, 2019 1 commit
  19. 21 Feb, 2019 1 commit
  20. 26 Jan, 2019 1 commit
  21. 03 Jul, 2018 1 commit
  22. 15 Jun, 2018 1 commit
  23. 31 May, 2018 1 commit
  24. 04 Apr, 2018 1 commit
  25. 22 Mar, 2018 1 commit
  26. 21 Mar, 2018 2 commits