Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Verification for Decision Model and Notation
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
7
Issues
7
List
Boards
Labels
Service Desk
Milestones
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Jonas Blatt
Verification for Decision Model and Notation
Tags
Tags give the ability to mark specific points in history as being important
Last updated
Sort by
Name
Oldest updated
Last updated
v0.9.21
Final Build for KAIS
a93ac43a
·
Merge branch 'develop' into 'master'
·
Dec 18, 2019
Release
v0.9.21
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.18
95561ebb
·
Merge branch 'develop' into 'master'
·
Nov 21, 2019
Release
v0.9.18
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.17
191a00a4
·
Merge Test Config
·
Nov 18, 2019
Release
v0.9.17
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.16
bcea429b
·
Merge branch 'cherry-pick-
e4826335
' into 'master'
·
Nov 15, 2019
Release
v0.9.16
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.15
233c7241
·
Merge branch 'develop' into 'master'
·
Nov 12, 2019
Release
v0.9.15
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.14
61125f37
·
Merge branch 'develop' into 'master'
·
Nov 11, 2019
Release
v0.9.14
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.13
43f9636d
·
Merge branch 'fix/identicalRulesSameOutput' into 'master'
·
Nov 08, 2019
Release
v0.9.13
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.12
e406e153
·
Merge branch 'develop' into 'master'
·
Nov 06, 2019
Release
v0.9.12
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.11
736f0840
·
Merge branch 'patch-1' into 'master'
·
Nov 06, 2019
Release
v0.9.11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.10
e3eb061a
·
Merge branch 'develop' into 'master'
·
Nov 04, 2019
Release
v0.9.10
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.9
1cc9755f
·
Merge branch 'develop' into 'master'
·
Nov 01, 2019
Release
v0.9.9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.8
3efdacc8
·
Merge branch 'develop' into 'master'
·
Nov 01, 2019
Release
v0.9.8
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.6
ce93ef34
·
Merge branch 'hotfix/apirequestfail' into 'master'
·
Oct 27, 2019
Release
v0.9.6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.5
509c93d4
·
Merge branch 'develop' into 'master'
·
Oct 23, 2019
Release
v0.9.5
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.4
37652dcb
·
Merge branch 'develop' into 'master'
·
Oct 20, 2019
Release
v0.9.4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.3
fd973af3
·
Merge branch 'develop' into 'master'
·
Oct 17, 2019
Release
v0.9.3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.2
e6724c36
·
Merge branch 'fix/gitlabci' into 'master'
·
Oct 16, 2019
Release
v0.9.2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.9.1
First version on server
2a466a4d
·
Merge branch 'develop' into 'master'
·
Oct 15, 2019
Release
v0.9.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar