Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
osy
osy.pages.fel.cvut.cz
Merge requests
Open
1
Merged
28
Closed
6
All
35
Actions
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Add missing `mailto:` protocol to link URL
!21
· created
Oct 20, 2021
by
Pučil, Petr
Merged
1
updated
Oct 30, 2021
lab04: Set code block lang to `make` where missing
!22
· created
Oct 20, 2021
by
Pučil, Petr
Merged
1
updated
Oct 20, 2021
_index.md update
!23
· created
Oct 26, 2021
by
Nazarenko, Bohdan
Merged
1
updated
Nov 15, 2021
Update info about consulting lab7
!24
· created
Nov 03, 2021
by
Jiri Vlasak
Merged
0
updated
Nov 15, 2021
Corrected unistd_32.h 's path to match the latest stable Ubuntu
!25
· created
Nov 19, 2021
by
Kopčák, Bohdan
Merged
1
updated
Nov 19, 2021
Add link to course evaluation to the top
!26
· created
Jan 06, 2022
by
Jiri Vlasak
Merged
0
updated
Jan 17, 2022
_index.md: Fix typo ("Minimum", not "Minimimum")
!27
· created
Jan 15, 2022
by
Pučil, Petr
Merged
0
updated
Jan 17, 2022
lab5: Use words instead of numbers for link labels
!28
· created
Jan 15, 2022
by
Pučil, Petr
Merged
1
updated
Sep 27, 2022
nova: Remove `Ec::cont` to make thread switching easier to understand
!29
· created
Mar 06, 2022
by
Matěj Kafka
Closed
1
updated
Nov 21, 2022
Nova: Bugfix and documentation
!30
· created
Mar 07, 2022
by
Matěj Kafka
Closed
3
updated
Nov 21, 2022
lab02/bash: Change recommended shebang from `/bin/bash` to `/usr/bin/env bash`
!31
· created
Sep 27, 2022
by
Matěj Kafka
Merged
0
updated
Sep 27, 2022
Update gcc.md missed ")" in -c input
!32
· created
Oct 11, 2022
by
Mikhaylovskaya, Daria
Merged
1
updated
Oct 11, 2022
Update make.md
!33
· created
Oct 21, 2022
by
Výborný, Ondřej
Closed
2
updated
Oct 21, 2022
nova: Makefile cleanup & updated QEMU installation selection
!34
· created
Nov 30, 2022
by
Matěj Kafka
4
updated
Jan 12, 2023
nova: Makefile: Use `$(MAKE)` instead of `make`
!35
· created
Jan 12, 2023
by
Matěj Kafka
Merged
0
updated
Jan 13, 2023
Prev
1
2
Next