toString now returns '-' for BitVectors consisting only of Z
[Mograsim.git] / logo.png
2019-06-24 Fabian StemmlerMerge branch 'development' of https://gitlab.lrz.de...
2019-06-23 Christian FemersAdded logo