Commits · 55afa2372e5dc7d40a685285d3664426328d3fb0 · Jonas Blatt / Verification for Decision Model and Notation

Sep 24, 2019
- Add more creater for numerical value types · 55afa237
  Jonas Blatt authored 5 years ago
  
  55afa237
Sep 23, 2019
- Add PartialReductionVerification verifier · a297e2e3
  Jonas Blatt authored 5 years ago
  
  a297e2e3
- Add creater for boundaries · d1fd2745
  Jonas Blatt authored 5 years ago
  
  d1fd2745
Sep 22, 2019
- Add construct for Boundary creater and combiner · 5017c0fb
  Jonas Blatt authored 5 years ago
  
  5017c0fb
Sep 19, 2019
- Add equivalent Verifier · 89ece0dd
  Jonas Blatt authored 5 years ago
  
  89ece0dd
Sep 18, 2019
- Add checker for String boundary · 48fed44e
  Jonas Blatt authored 5 years ago
  
  48fed44e
- Create checker in contact and not in contact for string boundaries · c361ab14
  Jonas Blatt authored 5 years ago
  
  c361ab14
- Add checker for subsumption and overlap · 9c5c598d
  Jonas Blatt authored 5 years ago
  
  9c5c598d
- Add checker for in contact and not in contact · 95b7f7cd
  Jonas Blatt authored 5 years ago
  
  95b7f7cd
- Add equal Check for String values · fa3bb584
  Jonas Blatt authored 5 years ago
  
  fa3bb584
- Add syntax check for values (creation of Boundary was a success) · 18a241d5
  Jonas Blatt authored 5 years ago
  
  18a241d5
- move package · 7dfbaece
  Jonas Blatt authored 5 years ago
  
  7dfbaece
Sep 15, 2019
- Remove JSON formatting configuration · 5147c297
  Jonas Blatt authored 5 years ago
  
  5147c297
Sep 14, 2019
- First try for DMN Parser · ad1c49a5
  Jonas Blatt authored 5 years ago
  
  ad1c49a5
Sep 12, 2019
- Add interfaces for dmn representation for verifications · b3296f38
  Jonas Blatt authored 5 years ago
  
  b3296f38
Sep 09, 2019
- Add domain for identifier · 08b528ad
  Jonas Blatt authored 5 years ago
  
  08b528ad
- New Json Serializer Strategy · 0fe1aa0e
  Jonas Blatt authored 5 years ago
  
  0fe1aa0e
Sep 08, 2019
- Formatting · 923ae328
  Jonas Blatt authored 5 years ago
  
  923ae328
- Creating domain structure for result objects · 017214e1
  Jonas Blatt authored 5 years ago
  
  017214e1
Sep 07, 2019
- Init rest ws - tests and examples with quarkus and wordnet / react · 2e57fe7e
  Jonas Blatt authored 5 years ago
  
  2e57fe7e
- Init rest ws - tests and examples with quarkus and wordnet / react · 8eae1510
  Jonas Blatt authored 5 years ago
  
  8eae1510