Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
ci/robbert/faster_iFresh_joe
317cb6a9
·
CI..
·
May 17, 2019
ci/robbert/faster_iFresh
723f8543
·
CI.
·
May 17, 2019
ci/robbert/faster_iDestruct
ef669bb8
·
WIP fixes.
·
May 01, 2019
ralf/sections-open
88cbad47
·
leave an open section
·
Apr 29, 2019
ci/janno/reduction_no_check
de7b70f3
·
Update ci to build with ci/janno/reduction_no_check branch of Iris.
·
Apr 03, 2019
coqbug/match
312107c3
·
Coq match bug
·
Mar 12, 2019
ci/ralf/sections
ff44d9c0
·
experiment with removing sections
·
Mar 12, 2019
ci/ralf/const-rf
7b1d53af
·
experiment
·
Mar 02, 2019
ci/debug
41f0d79f
·
use 8.8.0 as default Coq version; test against Coq master with coqchk
·
Nov 07, 2018
ralf/prophecy
badca8ce
·
update for observations in language interface
·
Oct 04, 2018
ci/gen_proofmode
1da6c57f
·
use pm_prettify for goal prettification
·
Jul 05, 2018
ci/ralf/weak_mem
92d0039b
·
bump gpfsl
·
Jun 26, 2018
ralf/old-asval
4ff15805
·
simplify AsVal-using proofs a bit
·
Jun 20, 2018
ci/pm_red
61fa46d9
·
and again
·
Jun 04, 2018
ralf/acc
9f12527a
·
experiment with fractured borrows as accessors
·
May 01, 2018
ci/iris-dev-performance
c35d6e2f
·
run triggers on the timing CI
·
Mar 06, 2018
ci/ralf/exact_vm
c02b2a72
·
WIP
·
Mar 01, 2018
skiplist
c79971e7
·
Skiplist WIP
·
Oct 21, 2017
iris-update
12425ffd
·
More fixes, depends on the ilocked Iris branch.
·
Sep 29, 2017
jh/lifetime_no_dead_trade
7d8e810e
·
It is not necessary to ask lifetime inclusion to trade dead tokens.
·
Aug 28, 2017
Prev
1
2
3
Next