2019-07-13 | Fabian Stemmler | Merge branch 'development' of | blob | commitdiff | raw |
2019-07-11 | Christian Femers | Refactored BitVector methods to resolve ambiguity | blob | commitdiff | raw |
2019-07-10 | Daniel Kirschten | Renamed logic.ui to logic.model | blob | commitdiff | raw | diff to current |