Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
I
Iris
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 76
    • Issues 76
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 5
    • Merge Requests 5
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Iris
  • Iris
  • Iris / Iris

24 forks: 22 public, 0 internal, and 2 private
  • Last created Oldest created Last updated Oldest updated
  • Dmitry Khalanskiy / Iris

    Merge branch 'master' into 'master'
    0 0 0 0
    Updated Sep 03, 2019
  • George Pirlea / Iris

    explain weird anonymous type field in CmraT
    0 0 0 0
    Updated Jul 31, 2019
  • Simon Spies / Iris

    Merge branch 'ralf/eq' into 'master'
    0 0 0 0
    Updated Sep 30, 2019
  • Rice Wine / Iris

    Update example in ProofMode.md
    0 0 0 0
    Updated Apr 23, 2019
  • Rodolphe Lepigre / Iris

    test output of iStopProof
    0 0 0 0
    Updated Sep 24, 2019
  • Hai Dang / Iris

    be more explicit about quantification order
    0 0 0 0
    Updated Jun 20, 2019
  • Pierre-Marie Pédrot / Iris

    Merge branch 'bigop_overwrite' into 'master'
    0 0 0 0
    Updated Feb 05, 2019
  • Ralf Jung / iris-coq

    test
    0 0 0 0
    Updated Jan 24, 2019
  • Maxime Dénès / iris-coq

    Merge branch 'unicode_asterisk_in_docs' into 'master'
    0 0 0 0
    Updated Sep 06, 2019
  • Michael Sammler / iris-coq

    prove that we can open invariants around wp_atomic
    0 0 0 0
    Updated Oct 21, 2019
  • Hugo Herbelin / iris-coq

    Merge branch 'robbert/ufrac_just_ufrac' into 'master'
    0 0 0 0
    Updated Nov 12, 2019
  • Tej Chajed / iris-coq

    Fix CMRA category in the docs.
    0 0 0 0
    Updated Nov 01, 2019
  • Marianna Rapoport / iris-coq

    backport heap_lang notation fix from gen_proofmode
    0 0 0 0
    Updated Jan 02, 2019
  • Janno / iris-coq

    emphasize picking the right job name
    0 0 0 0
    Updated Mar 20, 2019
  • Jan / iris-coq

    NEW: Now with strange typing error.
    0 0 0 0
    Updated Jan 02, 2019
  • Glen Mével / iris-coq

    fix `head_stuck`
    0 0 0 0
    Updated Jan 02, 2019
  • Jonas Kastberg / iris

    Minor tweaks in lifting file.
    0 0 0 0
    Updated Nov 05, 2019
  • Paolo G. Giarrusso / iris-coq

    Merge branch 'fix-iPoseProof-reclemma' into 'master'
    0 0 0 0
    Updated Nov 22, 2019
  • Joshua Yanovski / iris-coq

    Update lock.v
    0 0 0 0
    Updated Jan 02, 2019
  • Dan Frumin / iris-coq

    Move some stuff.
    0 0 0 0
    Updated Aug 30, 2019
  • Prev
  • 1
  • 2
  • Next