Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1.
Please note that the CI branch will be overwritten periodically and should not be pulled from.
Implementation of simulation of RoFIBots, including a simple visualizer and motion planning algorithms.
Example tests written using KTDK
A programming language compiler for the PA037 Compiler Project course.
Kontr Test Development Kit - python library to write tests
The Texture Module (TM) only for the ISBI2016 paper.