- Sep 29, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
- Sep 28, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
Upper Bound Creater for Strings is always false!
-
Jonas Blatt authored
-
- Sep 26, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
- Sep 25, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
- Sep 24, 2019
-
-
Jonas Blatt authored
-
- Sep 23, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
-
- Sep 22, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
- Sep 21, 2019
-
-
Jonas Blatt authored
/dmn/verification -> for all verifications /dmn/verification/type -> list types /dmn/verification/type/{typeName} -> only verification for typeName /dmn/verification/classification -> list all classifications /dmn/verification/classification/{classificationName} - > all verifications for named classification
-
Jonas Blatt authored
for singleton for verification type and classification type
-
Jonas Blatt authored
-
- Sep 20, 2019
-
-
Jonas Blatt authored
-
Jonas Blatt authored
-
Jonas Blatt authored
-
- Sep 19, 2019
-
-
Jonas Blatt authored
-
- Sep 18, 2019
-
-
Jonas Blatt authored
-