Commits · bb09aa65248ef7f94afcf6bc96d2b040eff382c8 · Jonas Blatt / Verification for Decision Model and Notation

Oct 15, 2019
- Update readmes · 6f1de610
  Jonas Blatt authored 5 years ago
  
  6f1de610
Oct 13, 2019
- Feat/verifier · dcf9dba4
  Jonas Blatt authored 5 years ago
  
  dcf9dba4
Oct 12, 2019
- Add documentation for the rest api · 5dc921a0
  Jonas Blatt authored 5 years ago
  
  5dc921a0
Oct 10, 2019
- Add documentation markdown for verifier · cc0d4107
  Jonas Blatt authored 5 years ago
  
  cc0d4107
Oct 08, 2019
- Update README.md · 705294fc
  Jonas Blatt authored 5 years ago
  
  705294fc
Sep 26, 2019
- Remove wrong link · 263a3ef7
  Jonas Blatt authored 5 years ago
  
  263a3ef7
- Add Readmes for subprojects · d58a231f
  Jonas Blatt authored 5 years ago
  
  d58a231f