Branches · Jonas Blatt / Verification for Decision Model and Notation · GitLab

Stale branches

develop default protected

3c0826b4 · Merge branch 'feature/verifier' into 'develop' · Jun 04, 2020

Download source code

zip tar.gz tar.bz2 tar
master protected

aff29f28 · Merge branch 'develop' into 'master' · Oct 21, 2020
Compare
Download source code

zip tar.gz tar.bz2 tar
Download artifacts
Failed
Previous Artifacts

deploy