Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • Iris Iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 171
    • Issues 171
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 14
    • Merge requests 14
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • IrisIris
  • Merge requests
  • Open 0
  • Merged 13
  • Closed 1
  • All 14
Subscribe to RSS feed
  • Fix issue #260: Error message when iLöb used on non-SBI
    !302 · created Aug 12, 2019 by Robbert Krebbers   Iris 3.2
    • MERGED
    • 6
    updated Aug 13, 2019
  • Fix issue #259: Error message when iRevert is used on out of scope variable
    !301 · created Aug 12, 2019 by Robbert Krebbers   Iris 3.2
    • MERGED
    • 7
    updated Aug 13, 2019
  • Move array stuff to own file
    !299 · created Aug 07, 2019 by Ralf Jung   Iris 3.2
    • MERGED
    • 13
    updated Aug 13, 2019
  • fix typo in -d> docs
    !298 · created Aug 07, 2019 by Ralf Jung   Iris 3.2
    • MERGED
    • 19
    updated Aug 12, 2019
  • Add `head_prim_fill_reducible`.
    !293 · created Jul 12, 2019 by Dan Frumin   Iris 3.2
    • MERGED
    • 4
    updated Nov 24, 2020
  • Add `big_sepL2_app_inv_2`.
    !292 · created Jul 12, 2019 by Dan Frumin   Iris 3.2
    • MERGED
    • 9
    updated Nov 24, 2020
  • show that pair construction commutes with taking the core
    !286 · created Jul 07, 2019 by Ralf Jung   Iris 3.2
    • MERGED
    • 6
    updated Nov 24, 2020
  • Mark projections for sigTO as NonExpansive and Proper
    !285 · created Jul 06, 2019 by Paolo G. Giarrusso   Iris 3.2
    • MERGED
    • 15
    updated Nov 24, 2020
  • heap_lang: Make binary "=" operator partial, to sync with CmpXchg
    !283 · created Jun 29, 2019 by Ralf Jung   Iris 3.2   T-heap_lang
    • MERGED
    • 9
    updated Nov 24, 2020
  • introduce notation for value comparison
    !279 · created Jun 21, 2019 by Ralf Jung   Iris 3.2
    • CLOSED
    • 8
    updated Jun 29, 2019
  • Replace `C`s with `O`s since we use OFEs instead of COFEs.
    !263 · created Jun 11, 2019 by Robbert Krebbers   Iris 3.2
    • MERGED
    • 18
    updated Nov 24, 2020
  • A strong adequacy statement to rule them all
    !258 · created Jun 07, 2019 by Robbert Krebbers   Iris 3.2
    • MERGED
    • 45
    updated Jun 12, 2019
  • Add ghost data to locations
    !249 · created May 21, 2019 by Robbert Krebbers   Iris 3.2
    • MERGED
    • 73
    updated Sep 09, 2020
  • The unbounded fractional authoritative camera
    !187 · created Oct 31, 2018 by Robbert Krebbers   Iris 3.2
    • MERGED
    • 54
    updated Jun 22, 2019