Skip to content
GitLab
Explore
Sign in
Xavier Denis
lambda-rust
Repository
Branches
Overview
Active
Stale
All
prophecy-lib
19f355ba
·
Add prophecy library
·
Feb 11, 2021
master
default
protected
57f71459
·
show variant of equalization with the static lifetime
·
Feb 11, 2021
masters/weak_mem
dcc0d0db
·
update dependencies
·
Feb 11, 2021
gpirlea/pin_semantic
c03e192c
·
WIP: shr_bor TypeContractive
·
Feb 07, 2021
gpirlea/pinning
bb851ce8
·
Merge branch 'master' into gpirlea/pinning
·
Dec 16, 2020
ghostcell
c36a0ced
·
Merge remote-tracking branch 'ghostcell/master' into ghostcell
·
Sep 08, 2020
ci/robbert/merge_sbi_new_weak
b681f029
·
Test merge_sbi_new.
·
May 22, 2020
ci/robbert/merge_sbi_new
f0ae8445
·
Test with Iris merge_sbi_new.
·
May 22, 2020
ci/ralf/old-timing-data
498d8951
·
measure both 8.8.2 and 8.7.2
·
Apr 07, 2020
ci/robbert/merge_sbi_weak
4ea92744
·
Test merge_sbi.
·
Apr 04, 2020
ci/robbert/merge_sbi
bea9f4a0
·
Test with Iris merge_sbi.
·
Apr 04, 2020
ci/weak_mem
7214d23b
·
move everything to another branch
·
Feb 14, 2020
ci/places
48e78439
·
Merge remote-tracking branch 'origin/gpirlea/pinning' into ci/places
·
Jan 11, 2020
ci/ralf/lia-experiment
6fad3ad2
·
try to stub out lia
·
Dec 02, 2019
ci/robbert/iprop_structures
505e08c8
·
CI.
·
Sep 14, 2019
ci/robbert/naive_solver
11c5f900
·
CI.
·
Jun 26, 2019
ci/robbert/faster_iDestruct2
3d6acb78
·
CI.
·
Jun 06, 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
Prev
1
2
Next