Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
Branches
Overview
Active
Stale
All
time/unbundle_proof_typeclasses
1fca432c
·
unbundle goal in subsume type class
·
May 14, 2023
time/liPersistent
abbc5b90
·
add liPersistent
·
Jun 11, 2023
ci/VerifyThis2022
fd8201b5
·
add selfassessment
·
Jun 12, 2023
ci/verifyscheduler
476a49f3
·
simplify proofs a bit
·
Jun 16, 2023
kimaya/refinedprosav1
bc40a521
·
simplify some definitions
·
Jun 28, 2023
ci/pkvm-hof
e9595259
·
fixes in function subtyping rule
·
Aug 23, 2023
!163
time/mult_simpl_never
31b5d561
·
make mult simpl never
·
Aug 25, 2023
ci/lithium-dissertation-sammler
8ad2d469
·
find -> contains
·
Aug 28, 2023
kimaya/refinedprosav2
fe6be02f
·
remove one unnecessary annotation
·
Nov 03, 2023
laila/refinedprosa
c392bd75
·
add notes and pseudocode for non-det specs
·
Dec 08, 2023
kimaya/refinedprosav3
c4837314
·
add annotations for npfp dequeue
·
Dec 08, 2023
kimaya/addmorespecs
a0f62d41
·
add verification of check channels
·
Dec 08, 2023
Prev
1
2
3
Next