Merge requests · pseuco

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Register
Sign in

pseuco
Group information
- Group information
- Activity
- Labels
- Members
Issues 59
- Issues 59
- List
- Board
- Milestones
Merge requests 1
- Merge requests 1
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

pseuco
Merge requests

Open 1
Merged 50
Closed 5
All 56

upgrade D3 to v4

concurrent-programming-web!1 · created Apr 27, 2018 by Felix Freiberger
- Closed
- 0
updated Oct 26, 2018
remove dependency on unmaintained jquery.cookie

concurrent-programming-web!2 · created May 31, 2018 by Fabian Kosmale
- Merged
- 1
- 2
updated May 31, 2018
WIP: Change build system from bower to WebPack

concurrent-programming-web!3 · created Jun 03, 2018 by Fabian Kosmale dev
- Merged
- 2
updated Jun 25, 2018
Added information on pseuCo IDE

concurrent-programming-web!4 · created Aug 22, 2018 by Konstantin Kopper
- Merged
- 6
updated Aug 28, 2018
WIP: Dynamic IDE site 2 of 3 checklist items completed

concurrent-programming-web!5 · created Oct 18, 2018 by Konstantin Kopper
- Closed
- 3
updated Dec 25, 2018
Migrate to WebPack, add M3 5 of 7 checklist items completed

concurrent-programming-web!6 · created Oct 26, 2018 by Felix Freiberger
- Merged
- 8
updated Oct 30, 2018
WIP: Integrate pseuco-tests project.

pseuco-ccs-compiler!1 · created Dec 10, 2018 by Felix Freiberger
- Closed
- 0
updated May 15, 2019
Signed CLA

concurrent-programming-web!7 · created Dec 20, 2018 by Konstantin Kopper
- Merged
- 1
updated Dec 20, 2018
Dynamic IDE site 3 of 3 checklist items completed

concurrent-programming-web!8 · created Dec 25, 2018 by Konstantin Kopper
- Merged
- 12
updated Jan 03, 2019
Add Documentation for where, update lecture link

concurrent-programming-web!9 · created May 22, 2019 by Florian Schießl
- Merged
- 1
updated May 22, 2019
Fixed IP check in server script

concurrent-programming-web!10 · created May 23, 2019 by Sebastian Biewer
- Merged
- 0
updated May 23, 2019
fix selection regex

concurrent-programming-web!11 · created Jun 13, 2019 by Fabian Kosmale
- Merged
- 1
- 0
updated Jun 13, 2019
initial node also needs to get updated label

concurrent-programming-web!12 · created Jun 19, 2019 by Fabian Kosmale
- Merged
- 1
updated Jun 19, 2019
further fix for identifier

m3!1 · created Jun 19, 2019 by Fabian Kosmale
- Merged
- 0
updated Jun 19, 2019
fix id access

concurrent-programming-web!13 · created Jun 19, 2019 by Fabian Kosmale
- Merged
- 0
updated Jun 19, 2019
create better error message if agent is declared after mainAgent

m3!2 · created Jun 21, 2019 by Fabian Kosmale
- Merged
- 0
updated Jun 21, 2019
replace unnecessary strings with ints

pseuco-tests!1 · created May 16, 2020 by Lena Becker
- Merged
- 2
updated May 16, 2020
Run with ---unsafe-perm to allow building on server with Git-based dependencies

pseuco-cpn-compiler!1 · created May 25, 2020 by Felix Freiberger nucppn
- Merged
- 0
updated May 25, 2020
add requireTermination to correctness properties

pseuco-tests!2 · created Jun 03, 2020 by Lena Becker
- Merged
- 1
updated Jun 03, 2020
Migrate landing page to React

concurrent-programming-web!15 · created Jan 20, 2021 by Dominic Zimmer react
- Merged
- Approved
- 1
- 19
updated Jan 22, 2021

Prev
1
2
3
Next