Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Verification for Decision Model and Notation
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Container Registry
Model registry
Monitor
Service Desk
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Jonas Blatt
Verification for Decision Model and Notation
Graph
78e39f0d14a33e5c129e668cf91b0fcefce96a93
Select Git revision
Branches
2
develop
default
protected
master
protected
Tags
19
0.10.22
v0.9.21
v0.9.18
v0.9.17
v0.9.16
v0.9.15
v0.9.14
v0.9.13
v0.9.12
v0.9.11
v0.9.10
v0.9.9
v0.9.8
v0.9.6
v0.9.5
v0.9.4
v0.9.3
v0.9.2
v0.9.1
21 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
10
Jul
9
8
28
Jun
21
Oct
4
Jun
4
Mar
27
Feb
24
13
Jan
2
18
Dec
17
16
9
3
2
29
Nov
25
24
23
21
20
18
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
31
Oct
30
29
28
27
26
25
24
23
22
21
20
19
18
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
30
Sep
29
28
27
26
25
24
23
22
21
20
19
18
17
Merge branch 'develop' into 'master'
master
master
Fix cache and download dmn
develop
develop
Optimize imports
Update docs
#36 Add Circular DRD Verifier
Merge branch 'develop' into 'master'
0.10.22
0.10.22
Update DMN-js to support DMN1.3
Update docs
Fix quarkus version
Merge branch 'develop' into 'master'
Update docs
Merge branch 'develop' into 'master'
New ci/cd
Merge branch 'develop' into 'master'
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
New ci/cd
Migrate to Quarkus 3 & Refactor fgbks -> ps
Merge branch 'develop' into 'master'
Merge branch 'feature/verifier' into 'develop'
Update Partial Reduction Verifier for more precise finding of combinations
Update Partial Reduction Verifier for more precise finding of combinations
Update Partial Reduction Verifier for more precise finding of combinations
Update Partial Reduction Verifier for more precise finding of combinations
Refactor name of predefined value verifiers
Missing Column Verifier
Update Verifier name MissingInputVerifier
Only unique hit policy for overlapping and subsumption verifier
Merge branch 'develop' into 'master'
Merge branch 'fix/fixDownload' into 'develop'
Loading