Merge requests · pseuco

Port debug page to react

concurrent-programming-web!21 · created Feb 25, 2021 by Dominic Zimmer react
- Merged
- 4
updated Feb 26, 2021
React files

concurrent-programming-web!20 · created Feb 10, 2021 by Dominic Zimmer react
- Merged
- 23
updated Feb 25, 2021
React about

concurrent-programming-web!19 · created Feb 03, 2021 by Felix Freiberger react
- Merged
- 12
updated Feb 05, 2021
React files

concurrent-programming-web!17 · created Feb 03, 2021 by Dominic Zimmer react
- Merged
- 16
- Approved
updated Feb 03, 2021
Port the files page to react

concurrent-programming-web!16 · created Jan 27, 2021 by Dominic Zimmer react
- Merged
- 20
updated Jan 28, 2021
Migrate landing page to React

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

pseuco-tests!2 · created Jun 03, 2020 by Lena Becker
- Merged
- 1
updated Jun 03, 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
updated May 25, 2020
replace unnecessary strings with ints

pseuco-tests!1 · created May 16, 2020 by Lena Becker
- Merged
- 2
updated May 16, 2020
create better error message if agent is declared after mainAgent

m3!2 · created Jun 21, 2019 by Fabian Kosmale
- Merged
updated Jun 21, 2019
fix id access

concurrent-programming-web!13 · created Jun 19, 2019 by Fabian Kosmale
updated Jun 19, 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
updated Jun 19, 2019
fix selection regex

concurrent-programming-web!11 · created Jun 13, 2019 by Fabian Kosmale
- Merged
- 1
updated Jun 13, 2019
Fixed IP check in server script

concurrent-programming-web!10 · created May 23, 2019 by Sebastian Biewer
updated May 23, 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
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
Signed CLA

concurrent-programming-web!7 · created Dec 20, 2018 by Konstantin Kopper
- Merged
- 1
updated Dec 20, 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
Added information on pseuCo IDE

concurrent-programming-web!4 · created Aug 22, 2018 by Konstantin Kopper
- Merged
- 6
updated Aug 28, 2018