Skip to content
Snippets Groups Projects

add lemmas for core of auth⋅frag in view and auth

Merged add lemmas for core of auth⋅frag in view and auth
jung/iris:view-both-core into master
All threads resolved!
Merged Ralf Jung requested to merge jung/iris:view-both-core into master
All threads resolved!

Leftovers from my first approach to !827 (merged), that I think might still be useful.

Merge request reports

Merge request pipeline #70387 passed

Stage: build

    Merge request pipeline passed for 70c2e721

    Approval is optional

    Merged by Ralf JungRalf Jung 2 years ago (Aug 8, 2022 3:13pm UTC)

    Merge details

    • Changes merged into master with c069ee33.
    • Deleted the source branch.
    • Auto-merge enabled

    Pipeline #70401 passed

    Stage: build

      Pipeline passed for c069ee33 on master

      Activity

      Filter activity
      • Approvals
      • Assignees & reviewers
      • Comments (from bots)
      • Comments (from users)
      • Commits & branches
      • Edits
      • Labels
      • Lock status
      • Mentions
      • Merge request status
      • Tracking
    • Robbert Krebbers
    • Ralf Jung added 1 commit

      added 1 commit

      Compare with previous version

    • Robbert Krebbers
    • Robbert Krebbers
    • Robbert Krebbers
      Robbert Krebbers @robbertkrebbers ·
      Owner

      LGTM modulo notation nits.

    • Ralf Jung resolved all threads

      resolved all threads

    • Ralf Jung added 1 commit

      added 1 commit

      Compare with previous version

    • Ralf Jung enabled an automatic merge when the pipeline for 70c2e721 succeeds

      enabled an automatic merge when the pipeline for 70c2e721 succeeds

    • Ralf Jung merged

      merged

    • Ralf Jung mentioned in commit c069ee33

      mentioned in commit c069ee33

      • Please register or sign in to reply