Skip to content
Snippets Groups Projects

fix for iris!886 and iris!896

Merged fix for iris!886 and iris!896
msammler/new_contractive into master
All threads resolved!
Merged Michael Sammler requested to merge msammler/new_contractive into master
All threads resolved!

This MR adapts lambda rust for iris!886 (merged) by using the compatibility lemmas and tactics.

Merge request reports

Approval is optional

Merged by Robbert KrebbersRobbert Krebbers 2 years ago (Mar 8, 2023 5:55pm UTC)

Merge details

  • Changes merged into master with 63a365d1.
  • Deleted the source branch.

Pipeline #78847 passed

Stage: build

Pipeline passed for 63a365d1 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
  • Ralf Jung
  • Michael Sammler added 1 commit

    added 1 commit

    Compare with previous version

  • Michael Sammler added 1 commit

    added 1 commit

    Compare with previous version

  • Michael Sammler added 1 commit

    added 1 commit

    Compare with previous version

  • Michael Sammler resolved all threads

    resolved all threads

  • Simon Spies added 1 commit

    added 1 commit

    Compare with previous version

  • Simon Spies added 1 commit

    added 1 commit

    • 7b6e3758 - use f_contractive_core to introduce dist_later

    Compare with previous version

  • Simon Spies added 1 commit

    added 1 commit

    Compare with previous version

  • Simon Spies added 1 commit

    added 1 commit

    Compare with previous version

  • Simon Spies changed title from fix for iris!886 (merged) to fix for iris!886 (merged) and iris!896

    changed title from fix for iris!886 (merged) to fix for iris!886 (merged) and iris!896

  • Robbert Krebbers merged

    merged

  • Robbert Krebbers mentioned in commit 63a365d1

    mentioned in commit 63a365d1

    • Please register or sign in to reply