Skip to content

GitLab

  • Menu
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 148
    • Issues 148
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 10
    • Merge requests 10
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • IrisIris
  • Iris / Iris

46 forks: 40 public, 1 internal, and 5 private
  • Ike Mulder / Iris

    Merge branch 'master' into 'master'
    0 0 0 0
    Updated Jan 06, 2022
  • Glen Mével / Iris

    Merge branch 'janno/defuse-iAssumption' into 'master'
    0 0 0 0
    Updated Nov 26, 2021
  • Adam / Iris

    fix coq-lint for macOS restricted regex support
    0 0 0 0
    Updated Nov 25, 2021
  • Vincent / Iris

    The Coq development for Iris. [project website] [coqdoc]

    0 0
    Updated Nov 10, 2021
  • Armaël Guéneau / Iris

    add changelog for iris_invG rename
    0 0 0 0
    Updated Sep 05, 2021
  • Matthieu Sozeau / Iris

    move common style checks to separate file
    0 0 0 0
    Updated Jun 03, 2021
  • Ralf Jung / Iris

    add Iris 3.4 release date
    0 0 0 0
    Updated May 07, 2022
  • Simon Hudon / Iris

    Merge branch 'ralf/wp_frame_wand' into 'master'
    0 0 0 0
    Updated May 11, 2021
  • Lennard Gäher / Iris

    Merge branch 'ralf/coq-8.11' into 'master'
    0 0 0 0
    Updated Jul 27, 2021
  • Andrej Dudenhefner / Iris

    Merge branch 'ralf/coq-8.11' into 'master'
    0 0 0 0
    Updated Apr 08, 2021
  • Yusuke Matsushita / Iris

    update std++
    0 0 0 0
    Updated Mar 03, 2021
  • Enrico Tassi / Iris

    Merge branch 'ralf/frac-op-valid' into 'master'
    0 0 0 0
    Updated Feb 11, 2021
  • Arthur Azevedo de Amorim / Iris

    Generalize the type of gmap_equivI.
    0 0 0 0
    Updated Sep 02, 2020
  • Alix Trieu / Iris

    Merge branch 'clarify-which-bsd' into 'master'
    0 0 0 0
    Updated Jul 13, 2020
  • Simon Friis Vindum / Iris

    Merge branch 'fix-tests-macos' into 'master'
    0 0 0 0
    Updated Jun 06, 2021
  • Abel Nieto / Iris

    update dependencies
    0 0 0 0
    Updated Sep 07, 2020
  • Jules Jacobs / Iris

    Add VS code to the editor.md docs
    0 0 0 0
    Updated Sep 07, 2020
  • Abhishek Anand / Iris

    Add space.
    0 0 0 0
    Updated Sep 07, 2020
  • Germán Delbianco / Iris

    Fix typo spot by @Blaisorblade.
    0 0 0 0
    Updated Sep 07, 2020
  • Gregory Malecha / Iris

    Merge branch 'seal_big_opM' into 'master'
    0 0 0 0
    Updated May 06, 2022
  • Prev
  • 1
  • 2
  • Next