1. 24 May, 2019 5 commits
    • Hai Dang's avatar
      Fix spacing · a9ead9a3
      Hai Dang authored
      a9ead9a3
    • Hai Dang's avatar
      Add more renames · e04de2cc
      Hai Dang authored
      e04de2cc
    • Hai Dang's avatar
      Add renaming for to CHANGELOG · 63a0ea9e
      Hai Dang authored
      63a0ea9e
    • Hai Dang's avatar
      Merge branch 'robbert/auth_consistency_fixes' into 'master' · c9984c7f
      Hai Dang authored
      More consistent naming for `auth`.
      
      See merge request !250
      c9984c7f
    • Robbert Krebbers's avatar
      More consistent naming for `auth`. · 597ec42e
      Robbert Krebbers authored
      This MR is a follow up on the renamings performed (implicitly) as part of
      !215. This MR makes the following changes:
      
      - `auth_both_frac_valid` and `auth_both_valid` are now of the same shape
        as `auth_both_frac_validN` and `auth_both_validN`. That is, both are
        now biimplications.
      - The left-to-right  direction of `auth_both_frac_valid` and
        `auth_both_valid` only holds in case the camera is discrete. The
        right-to-left versions for non-discrete cameras are prefixed `_2`, the
        convention that we use throughout the development.
      - Change the direction of lemmas like `auth_frag_valid` and
        `auth_auth_valid` so that it's consistent with the other lemmas. I.e.
        make sure that the ◯ and ● are always on the LHS of the biimplication.
      597ec42e
  2. 23 May, 2019 2 commits
  3. 21 May, 2019 4 commits
  4. 20 May, 2019 2 commits
  5. 19 May, 2019 4 commits
  6. 16 May, 2019 2 commits
  7. 15 May, 2019 1 commit
  8. 13 May, 2019 1 commit
  9. 12 May, 2019 3 commits
  10. 09 May, 2019 2 commits
  11. 08 May, 2019 4 commits
  12. 07 May, 2019 1 commit
  13. 06 May, 2019 3 commits
  14. 04 May, 2019 6 commits