Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
Branches
Overview
Active
Stale
All
time/lennard-timing-test
b0feda5b
·
another test
·
Jul 10, 2024
laila/tree_traversals
0b3bc047
·
change in automation rules
·
Jun 29, 2024
lennard/context_annot
f1ca2fa4
·
properly instantiate for recursive calls
·
Jun 13, 2024
master
default
protected
3397ffc9
·
tweak comment
·
May 22, 2024
tracestuff
aa99f47d
·
add some notes from meeting
·
Apr 17, 2024
kimaya/changeArrivals
62fb102b
·
fix comment
·
Apr 05, 2024
!171
kimaya/addannots
785fe30b
·
change names of functions
·
Feb 15, 2024
kimaya/addmorespecs
a0f62d41
·
add verification of check channels
·
Dec 08, 2023
kimaya/refinedprosav3
c4837314
·
add annotations for npfp dequeue
·
Dec 08, 2023
laila/refinedprosa
c392bd75
·
add notes and pseudocode for non-det specs
·
Dec 08, 2023
kimaya/refinedprosav2
fe6be02f
·
remove one unnecessary annotation
·
Nov 03, 2023
ci/lithium-dissertation-sammler
8ad2d469
·
find -> contains
·
Aug 28, 2023
time/mult_simpl_never
31b5d561
·
make mult simpl never
·
Aug 25, 2023
ci/pkvm-hof
e9595259
·
fixes in function subtyping rule
·
Aug 23, 2023
!163
kimaya/refinedprosav1
bc40a521
·
simplify some definitions
·
Jun 28, 2023
ci/verifyscheduler
476a49f3
·
simplify proofs a bit
·
Jun 16, 2023
ci/VerifyThis2022
fd8201b5
·
add selfassessment
·
Jun 12, 2023
time/liPersistent
abbc5b90
·
add liPersistent
·
Jun 11, 2023
time/unbundle_proof_typeclasses
1fca432c
·
unbundle goal in subsume type class
·
May 14, 2023
time/add_id_cast_let_bind
46559e0c
·
add id cast to goal in li_let_bind
·
May 14, 2023
Prev
1
2
3
Next