DIVINE issues
https://gitlab.fi.muni.cz/paradise/DIVINE/-/issues
2017-04-25T14:11:30+02:00
https://gitlab.fi.muni.cz/paradise/DIVINE/-/issues/46
Manual updates
2017-04-25T14:11:30+02:00
Vladimír Štill
Manual updates
- simulace paralelních programů
- aktualizace příkladů v sim
- simulace paralelních programů
- aktualizace příkladů v sim