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
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Infrastructure Registry
  • 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
  • Ralf Jung
  • Iris
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • less_canonical
    5226baf6 · FAIL : Less canonical projections. · Feb 22, 2016
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • less_canonical_new
    a9e2d8f3 · Another failed approach to avoid declaring other projections than the carrier as canonical. · Feb 02, 2017
    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
  • fast_string
    157e41c2 · Use fast_string. · Feb 22, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • strong_frame
    bc4b0cc2 · Strong framing by default for persistent hypotheses. · Mar 05, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • jh/sprop_upred
    111318cb · Upred is isomorphic to some kind of monotonous SProp predicate. (WIP) · Apr 04, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/no_always_forall
    60b3610c · Experiment: remove always_forall. · Aug 21, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • unified_persistent_modality
    09b0b3c9 · Use more informative tags `Strong` and `Weak` for the modalities. · Oct 24, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/iAssert_with
    9835899b · Syntax `iAssert (Q with spat) as ...` which is consistent with `with`s elsewhere. · Feb 19, 2018
    Compare
    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
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/stability
    2f7efe5a · rerun CI · Jun 23, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/robbert/into_val_pures
    ae5de30b · Allow `IntoVal` to take pure steps. · Oct 18, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/bupd_be_gone
    d3814459 · Remove basic updates from the Iris model, and define them using plainly. · Oct 27, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/plausibly
    3e4b87c2 · Show that bupd entails plausibly. · Oct 27, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • iris-3.0
    e42a8649 · update README to reflect the branch's state · Jan 28, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • iris-3.1
    6eeb2c95 · reflect in README that this is the 3.1 branch · Jan 28, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/robbert/kill_locked_value_lambdas
    b00f573b · Get rid of locked value lambdas. · Mar 13, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/big_sepM2
    d88db874 · big_sepM2. · Mar 13, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • robbert/own_ghost
    12a6f8fb · Use notation for `own`. · Apr 09, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ci/robbert/tc_opaque
    bb0f3924 · `equiv` is no longer type class opaque. · Apr 23, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • 3
  • 4
  • Next