Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • I iris-coq
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Model experiments
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Marianna Rapoport
  • iris-coq
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • marianna/prophecy
    d3f1f876 · Pass over Ralf's comments on Commit 851f05c2 · Dec 03, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/prophecy
    84abe0cd · shrink proof of timestamp_sub · Jul 09, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • gen_proofmode
    393f02ed · get rid of to_val_is_Some' · Jun 21, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • mtac2-tt
    16f42fab · Bump Mtac2 commit. · Jun 20, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/ralf/lia
    2f1ae293 · use lia instead of omega · Jun 20, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/ralf/atomic
    cbc64fab · define a general make_laterable construct and use it for atomic updates · Jun 19, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/into_val
    849dd9d1 · Mostly Revert "change AsVal to be easier to use (like IntoVal)" · Jun 19, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    d2147936 · backport heap_lang notation fix from gen_proofmode · Jun 18, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/ralf/telescopes
    542da825 · add general telescopes and telescopic BI binders and proofmode support · Jun 18, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/wp_misc
    cc64ce55 · Per thread post-condition in WP. · Jun 16, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/coqbug/iAccu-anomaly
    c1305d70 · trigger an anomaly in Coq · Jun 14, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/ralf/pm_red
    f02bf0d6 · use beq instead of Bool.eqb in envs_replace · Jun 03, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/emp-intro
    15b4a65e · when the goal is an evar, pick emp when possible · Apr 20, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • joe/defined_pers
    e472449d · Define persistently from the BI interface. · Mar 20, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/core
    0625d673 · WIP: make core general for all BIs · Mar 07, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/tc_control2
    c1502cc2 · apply -> refine · Mar 06, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ralf/tc_control
    d9ce97eb · take some part of robberts patch · Mar 06, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/cancelable
    1ecb9670 · `Cancelable` instances for gmap/option. · Mar 04, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • jh/evar_iframe
    998bdedf · Get rid of KnownFrame and iFrame automatically instantiating evars. · Mar 03, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/janno/vmcast
    caf434e7 · Fix cast in `solve_as_val`. · Feb 27, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • 3
  • Next