Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • I iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Jobs
  • Commits
Collapse sidebar
  • Paolo G. Giarrusso
  • iris
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • inv_exc_0_ipm
    06b05e7f · Refactorings: reorder lemmas, use `setoid_rewrite` for uniformity · Mar 04, 2023
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default
    eb5e1ef6 · Merge branch 'robbert/inv_except_0' into 'master' · Mar 03, 2023
    Download source code
    zip tar.gz tar.bz2 tar
  • fix-497-hint-immediate
    9c819571 · Fix #497: avoid Hint Immediate · Nov 24, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • basic-dune
    9abdf623 · Dune build files · Aug 24, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • notations
    c355de4f · Prefer `⊢` to `-∗` etc: make more stdpp_scope notations `only parsing` · May 04, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • later-credits-drop
    05d543ea · Comment out what breaks with later credits · May 04, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • bi_pure_scopes
    22cb084d · Drop redundant %type_scope · Jun 18, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • fupd-commutes merged
    b2bb853f · Add (non-persistent) IntoAnd & IntoForall for bupd/fupd · May 31, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • periscopes-v2
    c9ba564e · Remove some now implied %I · May 07, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • periscopes
    47067537 · WIP drop implied %E · Mar 17, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • paolo/tc-strict-resolution-backport
    10ef4141 · Revise on which TCs we set Strict Resolution · Mar 04, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • doc-equalities
    e935d029 · Apply 1 suggestion(s) to 1 file(s) · Sep 08, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ascii-sections
    fc797b34 · Add contested ASCII sections · Apr 16, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • fix-notation
    8472b5e7 · Notation fix · Apr 08, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • explicit-vdash
    edf87cde · Force level for PROP for extra robustness · Feb 23, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • more-convenient-fupd_proper
    f33e1e72 · Avoid double instance for fupd_proper · Jan 04, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • test-bigop-synchanges
    737e3930 · Test changes · Nov 08, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • later_impl_experiments
    d4bd6b81 · Unfinished WIP · May 06, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • later_impl_test
    5afc013e · CmraSwappable also implies ▷ commutes with -∗ and |==> · May 06, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • seal_ires
    fdcce825 · Bench. · Feb 22, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar