Commits · 89c3a371733b92a7940b5bd69bbbb04397827dc7 · Jonas Blatt / Verification for Decision Model and Notation

Oct 15, 2019
- Set version to 0.9.1 · 6bcbad76
  Jonas Blatt authored 5 years ago
  
  6bcbad76
Sep 30, 2019
- Create uber jar · 70e1c28d
  Jonas Blatt authored 5 years ago
  
  70e1c28d
Sep 18, 2019
- Add checker for in contact and not in contact · 95b7f7cd
  Jonas Blatt authored 5 years ago
  
  95b7f7cd
Sep 12, 2019
- Add interfaces for dmn representation for verifications · b3296f38
  Jonas Blatt authored 5 years ago
  
  b3296f38
Sep 10, 2019
- New logic for verifier instantiation · a67ddb57
  Jonas Blatt authored 5 years ago
  
  a67ddb57
Sep 07, 2019
- Init rest ws - tests and examples with quarkus and wordnet / react · 8eae1510
  Jonas Blatt authored 5 years ago
  
  8eae1510