Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
F
FP
  • Group overview
    • Group overview
    • Details
    • Activity
  • Issues 6
    • Issues 6
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Dependency Proxy
  • Members
    • Members
Collapse sidebar
  • FP
  • Merge Requests

  • Open 0
  • Merged 21
  • Closed 1
  • All 22
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • port to new atomic triples
    iris-atomic!7 · opened Jun 18, 2018 by Ralf Jung
    • MERGED
    • 0
    updated Jul 13, 2018
  • port to savedPred
    iris-atomic!6 · opened Nov 21, 2017 by Ralf Jung
    • MERGED
    • 0
    updated Nov 22, 2017
  • Get rid of `%C` scopes.
    igps!14 · opened Nov 10, 2017 by Robbert
    • MERGED
    • 4
    updated Nov 14, 2017
  • test against released Coq 8.7.0
    igps!13 · opened Oct 30, 2017 by Ralf Jung
    • MERGED
    • 0
    updated Oct 30, 2017
  • use strongly_atomic from Iris
    igps!12 · opened Oct 29, 2017 by Ralf Jung
    • MERGED
    • 2
    updated Oct 30, 2017
  • update README
    igps!11 · opened Sep 25, 2017 by Ralf Jung
    • MERGED
    • 0
    updated Sep 25, 2017
  • make it compatible with Coq 8.7, and test that
    igps!10 · opened Sep 21, 2017 by Ralf Jung
    • MERGED
    • 3
    updated Sep 25, 2017
  • Make directory layout match other iris projects
    igps!9 · opened Aug 26, 2017 by Ralf Jung
    • MERGED
    • 2
    updated Aug 26, 2017
  • CI: test against coq 8.6.1
    igps!8 · opened Aug 22, 2017 by Ralf Jung
    • MERGED
    • 0
    updated Aug 22, 2017
  • Use simpler wp_par spec without predicates and without laters
    summer_school_ex!1 · opened Aug 07, 2017 by Janno
    • MERGED
    • 1
    updated Aug 09, 2017
  • New atomic shifts
    iris-atomic!5 · opened Aug 04, 2017 by Joshua Yanovski
    • CLOSED
    • 17
    updated Jun 18, 2018
  • Bump Iris version to match LambdaRust-Coq.
    iris-atomic!4 · opened Jul 31, 2017 by Joshua Yanovski
    • MERGED
    • 1
    updated Sep 22, 2017
  • Update build & CI files to properly use new CI machine
    igps!7 · opened Mar 06, 2017 by Ralf Jung
    • MERGED
    • 2
    updated Mar 14, 2017
  • awk.Makefile: improve uninstall target
    igps!6 · opened Jan 10, 2017 by Ralf Jung
    • MERGED
    • 0
    updated Jan 12, 2017
  • update build system and Iris
    igps!5 · opened Jan 09, 2017 by Ralf Jung
    • MERGED
    • 1
    updated Jan 09, 2017
  • Resolve "Typo in appendix's circular buffer example"
    igps!4 · opened Dec 20, 2016 by Hai Dang
    • MERGED
    • 0
    updated Dec 20, 2016
  • use opam-based CI
    igps!3 · opened Dec 14, 2016 by Ralf Jung
    • MERGED
    • 12
    updated Jan 05, 2017
  • Coq8.6 is also compatible with 8.5 - make it the new master
    igps!2 · opened Dec 07, 2016 by Janno
    • MERGED
    • 0
    updated Dec 07, 2016
  • Improve build system & Update dependency
    iris-atomic!3 · opened Nov 13, 2016 by Ghost User
    • MERGED
    • 10
    updated Nov 16, 2016
  • Iris as submodule; CI support
    iris-atomic!2 · opened Nov 07, 2016 by Ralf Jung
    • MERGED
    • 2
    updated Nov 08, 2016
  • Prev
  • 1
  • 2
  • Next