Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
actris
Repository
Branches
Overview
Active
Stale
All
robbert/20190328
82531fe8
·
Hacking.
·
Mar 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190404
1596b36f
·
Hacking.
·
Apr 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas-04-04-19
593071c2
·
more
·
Apr 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/190411
f30054db
·
Misc cleanup.
·
Apr 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190412
30ac1cb3
·
WIP.
·
Apr 12, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190415
d56b6cc1
·
Hacking.
·
Apr 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/20190415
13cc4c82
·
Updated logrel with channel changes
·
Apr 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
recv_spec
32ab409b
·
Attempts at better recv spec
·
Apr 16, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/20190416
80669983
·
Misc.
·
Apr 16, 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
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
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
deadlock_encoding
2392878a
·
WIP
·
Apr 26, 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
robbert/20190429
80cf5d83
·
Work.
·
Apr 29, 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/20190520
43d5c4f4
·
WIP.
·
May 20, 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
stype_cofe
fabf16e2
·
WIP stype for now
·
May 22, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next