Skip to content
GitLab
Explore
Sign in
Admin message
2025-01-08
: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15:00.
Open
1
Merged
104
Closed
3
All
108
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Add python to krypto role
!108
· created
Oct 08, 2024
by
Guedemann, Matthias
updated
Oct 08, 2024
Add Python to krypto
!107
· created
Oct 08, 2024
by
Guedemann, Matthias
Closed
updated
Oct 08, 2024
updated link to nomachine download
!106
· created
Sep 30, 2024
by
Wischhof, Lars
Merged
updated
Sep 30, 2024
Remove python cryptodome dependency
!105
· created
Sep 25, 2024
by
Guedemann, Matthias
Merged
updated
Sep 30, 2024
Add `llvm` role and use it for compiler
!104
· created
Jun 11, 2024
by
Guedemann, Matthias
Merged
updated
Oct 03, 2024
Add cbmc to compiler
!103
· created
Jun 04, 2024
by
Guedemann, Matthias
Merged
updated
Oct 03, 2024
lecture nets: omnetpp version updated to 6.0.3
!102
· created
Apr 15, 2024
by
Wischhof, Lars
Merged
updated
Apr 15, 2024
feature: added start-script for omnetpp Docker container
!101
· created
Apr 15, 2024
by
Wischhof, Lars
Merged
updated
Apr 15, 2024
Add role for SAT/SMT
!100
· created
Mar 11, 2024
by
Guedemann, Matthias
Merged
3
updated
Mar 18, 2024
Revise for renode and mono-repo dependencies
!99
· created
Mar 05, 2024
by
Bauer, Matthias
Merged
Approved
updated
Mar 18, 2024
Bump Java tools to the latest versions
!98
· created
Feb 24, 2024
by
Hafner, Ullrich
Merged
1
updated
Mar 18, 2024
Installation QNX7.0 für EC
!97
· created
Jan 27, 2024
by
Fischer, Max
Merged
updated
Jan 27, 2024
Extend WI Tools
!96
· created
Sep 21, 2023
by
Brunnert, Andreas
Merged
updated
Sep 21, 2023
Update of nets/sam for WS23/24
!95
· created
Sep 17, 2023
by
Wischhof, Lars
Merged
1
updated
Sep 18, 2023
Adjust tool config
!94
· created
Sep 13, 2023
by
Brunnert, Andreas
Merged
3
updated
Sep 19, 2023
reactiveate csf in main
!93
· created
Jun 02, 2023
by
Orehek, Martin
Merged
Approved
updated
Jun 02, 2023
Os2
!92
· created
Apr 12, 2023
by
Wallentowitz, Stefan
Merged
updated
Apr 12, 2023
Add gdb
!91
· created
Mar 16, 2023
by
Dietrich, Benedikt
Merged
updated
Mar 16, 2023
Add new tags to full test
!90
· created
Mar 10, 2023
by
Brunnert, Andreas
Merged
Approved
updated
Mar 10, 2023
Adding tags for SPE, ESB, ARS
!89
· created
Mar 10, 2023
by
Brunnert, Andreas
Merged
2
updated
Mar 10, 2023
Prev
1
2
3
4
5
6
Next
