Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Jonas Blatt
Verification for Decision Model and Notation
Repository
Branches
Overview
Active
Stale
All
Stale branches
develop
default
protected
3c0826b4
·
Merge branch 'feature/verifier' into 'develop'
·
Jun 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
protected
aff29f28
·
Merge branch 'develop' into 'master'
·
Oct 21, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Failed
Previous Artifacts
deploy