Skip to content
GitLab
Explore
Sign in
Admin message
2024-07-31
: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15:00.
Overview
Active
Stale
All
Active branches
mgu/llvm_role
c7e23618
·
Use llvm role for compiler
·
Jun 11, 2024
!104
mgu/compiler_with_cbmc
0bc8911b
·
Add cbmc to compiler
·
Jun 04, 2024
!103
Stale branches
rechnerarchitektur2019
96077bc0
·
Missing file
·
Jul 03, 2019
feature/sam-clion
173f734d
·
increased VM RAM to 4GB
·
Oct 01, 2021
feature/no_haskell_vscode_extensions
f7ce3f9f
·
Remove vscode extensions for Haskell
·
Oct 14, 2021
password-once
34db8ad2
·
[user] Never change password back after changed by user
·
Feb 12, 2022
master
3603a4a7
·
Merge branch 'update/haskell/lts-18.27' into 'master'
·
Mar 23, 2022