Skip to content
GitLab
Explore
Sign in
Iris
lambda-rust
Repository
Branches
Overview
Active
Stale
All
msammler/new-contractive
8032ee61
·
WIP: Try porting to more general definition of Contractive
·
Sep 20, 2022
msammler/rustverify_talk
7ed93b4c
·
changes for rustverify talk
·
Apr 08, 2021
notations
69f91efc
·
Remove obsolete FIXME.
·
May 09, 2017
ralf/acc
9f12527a
·
experiment with fractured borrows as accessors
·
May 01, 2018
ralf/prop-level-wand
dd0d9175
·
port to prop-level wand
·
Nov 23, 2022
refmut_sync
fcf960cc
·
RefMut can be considered as Sync
·
Feb 15, 2022
!25
robbert/Z_of_nat
a9c2158c
·
Insert `Z.of_nat` when coercion is dropped.
·
Jun 03, 2021
robbert/sprop
f6d4980f
·
Compat with
stdpp!309
.
·
Sep 08, 2021
rusthornbelt
3aa48db7
·
prove model of product
·
Mar 08, 2021
skiplist
c79971e7
·
Skiplist WIP
·
Oct 21, 2017
step_indexing_controlled_by_ghosts
9390d6a7
·
Rebase on top of Iris step indexing branch
·
Feb 23, 2021
strong_cas_fail
f6c342c3
·
Do not allow na reads and CAS to race on the same location.
·
May 16, 2017
xldenis/option
e8e4a630
·
Prove a function on option
·
Jun 03, 2021
xldenis/pldi-submission
bb7601ef
·
Merge branch 'masters/rusthornbelt' into xldenis/pldi-submission
·
Apr 08, 2022
xldenis/smallvec-push
f0f30002
·
100
·
Mar 13, 2022
xldenis/type-sum
4fc05ae8
·
Prove remaining sum rules
·
May 17, 2021
yusuke/tlist_for_prophecy
9b75f7ea
·
use tlist for prophecy
·
Apr 21, 2021
Prev
1
2
Next