Age | Commit message (Expand) | Author |
---|---|---|
2019-02-24 | Move everything one level up | Timotej Lazar |
2018-10-07 | Rename kpov_random_helpers to kpov_util | Timotej Lazar |
2014-11-24 | Fixed README | gasperfele@fri1.uni-lj.si |
2014-11-21 | Updated the instructions on how to use the system | gasperfele@fri1.uni-lj.si |