News
Gitlab inviation
Geschrieben am 24.10.2018 10:23 von Robert Künnemann
Hi!
You should have received invitations to our gitlab, where your project and slides will reside. If you have worries about privacy, please seek to contact me, otherwise I will assume you are okay with all seminar members seeing each other's files and log messages (no profanity please!).
I will try to setup a docker image with all the protocol verification tools we plan to use, so we avoid installation trouble.
Cheers, Robert