2019-07-13 | Fabian Stemmler | Merge branch 'development' of | tree | commitdiff |
2019-07-11 | Christian Femers | Fixed package naming | tree | commitdiff |
2019-07-11 | Christian Femers | Refactored BitVector methods to resolve ambiguity | tree | commitdiff |
2019-07-10 | Daniel Kirschten | Renamed logic.ui to logic.model | tree | commitdiff |