GitLab

Menu

Projects Groups Snippets

Help
Sign in / Register

F FP
Group information
- Group information
- Activity
- Labels
- Members
Issues 8
- Issues 8
- List
- Board
- Milestones
Merge requests 0
- Merge requests 0
Packages & Registries
- Packages & Registries
- Package Registry

Collapse sidebar

FP
Merge requests

Open 0
Merged 22
Closed 1
All 23

Priority Created date Updated date Milestone due date Popularity Label priority Title

Move uid outside of locks

ghostcell!1 · created Jun 01, 2021 by Hai Dang
- MERGED
- 0
updated Jun 01, 2021
port to new atomic triples

iris-atomic!7 · created Jun 18, 2018 by Ralf Jung
- MERGED
- 0
updated Jul 13, 2018
port to savedPred

iris-atomic!6 · created Nov 21, 2017 by Ralf Jung
- MERGED
- 0
updated Nov 22, 2017
Get rid of `%C` scopes.

igps!14 · created Nov 10, 2017 by Robbert Krebbers
- MERGED
- 4
updated Nov 14, 2017
test against released Coq 8.7.0

igps!13 · created Oct 30, 2017 by Ralf Jung
- MERGED
- 0
updated Oct 30, 2017
use strongly_atomic from Iris

igps!12 · created Oct 29, 2017 by Ralf Jung
- MERGED
- 2
updated Oct 30, 2017
update README

igps!11 · created Sep 25, 2017 by Ralf Jung
- MERGED
- 0
updated Sep 25, 2017
make it compatible with Coq 8.7, and test that

igps!10 · created Sep 21, 2017 by Ralf Jung
- MERGED
- 3
updated Sep 25, 2017
Make directory layout match other iris projects

igps!9 · created Aug 26, 2017 by Ralf Jung
- MERGED
- 2
updated Aug 26, 2017
CI: test against coq 8.6.1

igps!8 · created 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 · created Aug 07, 2017 by Janno
- MERGED
- 1
updated Aug 09, 2017
New atomic shifts

iris-atomic!5 · created Aug 04, 2017 by Joshua Yanovski
- CLOSED
- 17
updated Jun 18, 2018
Bump Iris version to match LambdaRust-Coq.

iris-atomic!4 · created Jul 31, 2017 by Joshua Yanovski
- MERGED
- 1
updated Sep 22, 2017
Update build & CI files to properly use new CI machine

igps!7 · created Mar 06, 2017 by Ralf Jung
- MERGED
- 2
updated Mar 14, 2017
awk.Makefile: improve uninstall target

igps!6 · created Jan 10, 2017 by Ralf Jung
- MERGED
- 0
updated Jan 12, 2017
update build system and Iris

igps!5 · created Jan 09, 2017 by Ralf Jung
- MERGED
- 1
updated Jan 09, 2017
Resolve "Typo in appendix's circular buffer example"

igps!4 · created Dec 20, 2016 by Hai Dang
- MERGED
- 0
updated Dec 20, 2016
use opam-based CI

igps!3 · created 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 · created Dec 07, 2016 by Janno
- MERGED
- 0
updated Dec 07, 2016
Improve build system & Update dependency

iris-atomic!3 · created Nov 13, 2016 by Ghost User
- MERGED
- 10
updated Nov 16, 2016

Prev
1
2
Next