Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
Branches
Overview
Active
Stale
All
tracestuff
aa99f47d
·
add some notes from meeting
·
Apr 17, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
2d92e8d0
·
Verification of receive messages and check channels
·
Apr 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/changeArrivals
62fb102b
·
fix comment
·
Apr 05, 2024
!171
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
laila/tree_traversals
affd9ae0
·
wip: write specs without invariant
·
Mar 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/addannots
785fe30b
·
change names of functions
·
Feb 15, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/addmorespecs
a0f62d41
·
add verification of check channels
·
Dec 08, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/refinedprosav3
c4837314
·
add annotations for npfp dequeue
·
Dec 08, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
laila/refinedprosa
c392bd75
·
add notes and pseudocode for non-det specs
·
Dec 08, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/refinedprosav2
fe6be02f
·
remove one unnecessary annotation
·
Nov 03, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/lithium-dissertation-sammler
8ad2d469
·
find -> contains
·
Aug 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
time/mult_simpl_never
31b5d561
·
make mult simpl never
·
Aug 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/pkvm-hof
e9595259
·
fixes in function subtyping rule
·
Aug 23, 2023
!163
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/refinedprosav1
bc40a521
·
simplify some definitions
·
Jun 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/verifyscheduler
476a49f3
·
simplify proofs a bit
·
Jun 16, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/VerifyThis2022
fd8201b5
·
add selfassessment
·
Jun 12, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
time/liPersistent
abbc5b90
·
add liPersistent
·
Jun 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
time/unbundle_proof_typeclasses
1fca432c
·
unbundle goal in subsume type class
·
May 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
time/add_id_cast_let_bind
46559e0c
·
add id cast to goal in li_let_bind
·
May 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
time/faster_map_lookup
a32cb4fd
·
hopefully fix automation
·
May 12, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kimaya/refinedprosa
956e965a
·
add changes discussed in meeting
·
May 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next