Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
actris
Repository
Branches
Overview
Active
Stale
All
master
default
protected
9acbe81f
·
More README tweaks.
·
Oct 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
list_sort_elem_client
71cfb4f6
·
Proved based on admitted specs
·
Jun 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
merge_frame_bug
fc8cacc1
·
INIT
·
Jun 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
binders_upfront
19f0f031
·
More WIP
·
Jun 26, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
binders
2ad18c15
·
Binders WIP
·
Jun 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/irewrite_bug
32f5885b
·
Full bump
·
Jun 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/coinductive
40393f88
·
Bumped Iris
·
Jun 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/cofe
d943621d
·
Bumped recursive type definition (barring some admissions)
·
May 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/cofe
e528fb2b
·
Fixpoint construction.
·
May 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stype_cofe
fabf16e2
·
WIP stype for now
·
May 22, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190521
060f220f
·
Working.
·
May 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190520
43d5c4f4
·
WIP.
·
May 20, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
list_sort_example
a96494d6
·
Finalized List sort example, and introduced list encodings
·
May 07, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190429
80cf5d83
·
Work.
·
Apr 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
branching
3ef90c4b
·
Merge branch 'branching' of gitlab.mpi-sws.org:jihgfee/osiris into branching
·
Apr 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
deadlock_encoding
2392878a
·
WIP
·
Apr 26, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
encoding_lifting
f4f29cb2
·
Updated encoding specifications and separated examples and proofs
·
Apr 25, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190415-2
b404feb3
·
Bumped try_recv and recv to ofe st's
·
Apr 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
st_ofe_lifting
b404feb3
·
Bumped try_recv and recv to ofe st's
·
Apr 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190416-3
ac5000c0
·
Work.
·
Apr 16, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next