Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
I
Iris
  • Group overview
    • Group overview
    • Details
    • Activity
  • Issues 205
    • Issues 205
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 23
    • Merge Requests 23
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Dependency Proxy
  • Members
    • Members
Collapse sidebar
  • Iris
  • Merge Requests

  • Open 23
  • Merged 897
  • Closed 108
  • All 1,028
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • Tactic based on lia and autorewrite to solve location equality
    refinedc!46 · opened Feb 22, 2021 by Rodolphe Lepigre
    • MERGED
    • 15
    updated Feb 24, 2021
  • Find hypothesis by semantic equality
    refinedc!45 · opened Feb 22, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 23, 2021
  • Finished [early_alloc.c].
    refinedc!43 · opened Feb 19, 2021 by Rodolphe Lepigre
    • MERGED
    • Approved
    • 10
    updated Feb 22, 2021
  • move normalize_and_simpl_goal to the beginning of unprepared_solve_goal
    refinedc!44 · opened Feb 22, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 22, 2021
  • New [bitwise] abstraction used for [uninit] and [zeroed].
    refinedc!41 · opened Feb 19, 2021 by Rodolphe Lepigre
    • MERGED
    • 5
    updated Feb 19, 2021
  • Ci/bits
    refinedc!36 · opened Feb 16, 2021 by Fengmin Zhu
    • MERGED
    • 25
    updated Feb 19, 2021
  • Autogenerate definition of latch
    refinedc!40 · opened Feb 19, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 19, 2021
  • make structs proof irrelevant
    refinedc!39 · opened Feb 18, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 18, 2021
  • clarify Pmap_raw comment
    stdpp!229 · opened Feb 17, 2021 by Ralf Jung
    • MERGED
    • 3
    updated Feb 17, 2021
  • Some more simplification instances
    refinedc!38 · opened Feb 17, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 17, 2021
  • add better lemmas for working with mask-changing fupd, and rearrange names a bit
    iris!637 · opened Feb 13, 2021 by Ralf Jung   Iris 3.4
    • MERGED
    • 15
    updated Feb 16, 2021
  • finalize changelog for Iris 3.4 release
    iris!639 · opened Feb 15, 2021 by Ralf Jung   Iris 3.4
    • MERGED
    • 8
    updated Feb 16, 2021
  • make subsumption on uninit more complete
    refinedc!37 · opened Feb 16, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 16, 2021
  • Add several simple lemmas (mostly about list and map filter).
    stdpp!226 · opened Jan 29, 2021 by Paulo Emílio de Vilhena
    • MERGED
    • 31
    updated Feb 15, 2021
  • fix monPred scope binding
    iris!638 · opened Feb 13, 2021 by Ralf Jung
    • MERGED
    • 2
    updated Feb 14, 2021
  • Progress on the verification of [early_alloc.c].
    refinedc!35 · opened Feb 12, 2021 by Rodolphe Lepigre
    • MERGED
    • 0
    updated Feb 12, 2021
  • Check generated files on CI
    refinedc!34 · opened Feb 12, 2021 by Michael Sammler
    • MERGED
    • 0
    updated Feb 12, 2021
  • Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++.
    iris!628 · opened Jan 28, 2021 by Robbert Krebbers
    • MERGED
    • 5
    updated Feb 12, 2021
  • Avoid relying on buggy simpl never behavior
    stdpp!228 · opened Feb 11, 2021 by Tej Chajed
    • MERGED
    • 1
    • 1
    updated Feb 12, 2021
  • Progress on the verification of [early_alloc.c].
    refinedc!32 · opened Feb 12, 2021 by Rodolphe Lepigre
    • MERGED
    • 0
    updated Feb 12, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 45
  • Next