Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
L
lambda-rust
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Simon Spies
lambda-rust
Graph
1d5af139afea9a1f35a08a3fe3f870735ccced52
Select Git revision
Branches
20
ci/janno/reduction_no_check
ci/places
ci/pm_red
ci/ralf/const-rf
ci/ralf/lia-experiment
ci/ralf/old-timing-data
ci/ralf/sections
ci/robbert/faster_iDestruct2
ci/robbert/iprop_structures
ci/robbert/merge_sbi
ci/robbert/merge_sbi_new
ci/robbert/merge_sbi_new_weak
ci/robbert/merge_sbi_weak
ci/robbert/naive_solver
ci/weak_mem
contractiveness
coqbug/match
fast_string
ghostcell
gpirlea/pinning
Tags
3
RBrlx-POPL20-artifact
popl18
popl18-aec
23 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
3
Jul
2
30
Jun
19
12
29
May
24
22
15
8
7
24
Apr
23
8
7
4
2
31
Mar
30
21
20
18
16
13
12
11
9
3
2
26
Feb
25
24
21
19
18
17
15
14
13
12
11
7
4
19
Jan
18
13
11
17
Dec
13
10
9
3
2
22
Nov
21
12
8
7
31
Oct
22
21
10
9
8
7
5
4
25
Sep
23
20
19
18
17
15
14
13
11
6
5
4
3
2
31
Aug
30
29
28
27
26
25
23
16
13
12
9
6
4
3
1
31
Jul
30
29
26
25
24
23
22
17
11
9
28
Jun
26
20
18
13
11
10
6
5
4
29
May
26
25
24
16
15
14
13
12
2
29
Apr
25
24
3
14
Mar
12
7
6
4
2
1
28
Feb
27
26
22
21
20
15
12
11
7
5
4
1
31
Jan
30
24
23
15
8
7
2
19
Dec
14
10
21
Nov
16
15
14
8
7
4
1
29
Oct
25
24
20
19
8
7
6
5
4
30
Sep
21
20
19
18
13
10
7
6
5
3
2
25
Aug
24
22
20
19
8
29
Jul
28
23
22
20
19
13
5
30
Jun
29
28
27
26
25
24
23
22
21
20
19
18
17
14
11
9
8
7
6
4
3
2
1
31
May
30
29
28
27
26
25
24
23
update dependencies; fix for step_fupd notation change
rename ghostset -> ghosttoken; ghostcell_st -> ghosttoken_st
make read- and wirte-state invariant a bit more consistent
add some comments
update dependencies; fix for step_fupd notation change
GhostSet -> GhostToken
update dependencies
test against Coq 8.11.2
test against Coq 8.11.2 and 8.12 beta
nightly build against 8.12 beta
update dependencies
update dependencies and Makefile, import numbers
update dependencies; import numbers where needed and update Makefile
update dependencies
Bump !
bump Iris
show that bor_shorten can be derived
Bump Iris (sbi removal).
Bump Iris (sbi removal).
Test merge_sbi_new.
ci/robbert/merg…
ci/robbert/merge_sbi_new_weak
Test with Iris merge_sbi_new.
ci/robbert/merg…
ci/robbert/merge_sbi_new
mark a stronger-than-on-paper rule as such
proof style nits
update dependencies
update dependencies
update dependencies
update dependencies
update dependencies
bump Iris
fix for std++/Iris name overlap
update dependencies
fix for std++/Iris name overlap
fix for Iris renames
update dependencies
bump Iris
measure both 8.8.2 and 8.7.2
ci/ralf/old-tim…
ci/ralf/old-timing-data
Test merge_sbi.
ci/robbert/merg…
ci/robbert/merge_sbi_weak
update dependencies
Test with Iris merge_sbi.
ci/robbert/merg…
ci/robbert/merge_sbi
Bump Iris.
Loading