Feature/#459 default primitives
Compare changes
@@ -40,6 +40,7 @@
@@ -55,6 +56,7 @@ int main(int, char**) {
@@ -85,8 +87,8 @@ int main(int, char**) {
@@ -125,36 +127,34 @@ int main(int, char**) {
Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.