Skip to content
Snippets Groups Projects

Add `map_zip_with_flip`.

Merged Add `map_zip_with_flip`.
dfrumin/coq-stdpp:map_zip_with_swap into master
All threads resolved!
Merged Dan Frumin requested to merge dfrumin/coq-stdpp:map_zip_with_swap into master
All threads resolved!

I use it for big_sepM2_swap iris!307 (merged)

Edited by Ralf Jung

Merge request reports

Loading
Loading

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
  • Dan Frumin added 1 commit

    added 1 commit

    Compare with previous version

  • Dan Frumin resolved all threads

    resolved all threads

  • Robbert Krebbers
  • Robbert Krebbers
  • Robbert Krebbers
  • Dan Frumin added 1 commit

    added 1 commit

    Compare with previous version

  • Dan Frumin resolved all threads

    resolved all threads

  • Ralf Jung changed title from Add map_zip_with_{-swa-}p. to Add map_zip_with_{+fli+}p.

    changed title from Add map_zip_with_{-swa-}p. to Add map_zip_with_{+fli+}p.

  • Robbert Krebbers mentioned in merge request iris!307 (merged)

    mentioned in merge request iris!307 (merged)

  • Robbert Krebbers merged

    merged

  • Robbert Krebbers mentioned in commit 84708e6c

    mentioned in commit 84708e6c

  • Robbert Krebbers
    Robbert Krebbers @robbertkrebbers ·
    Owner

    Merged, and thanks!

    • Please register or sign in to reply