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

Note hit policy

#16 · opened Oct 17, 2019 by Jonas Blatt KW 45 (Nov 4, 2019–Nov 10, 2019) Backend Feature Verifier
- 0
updated Oct 24, 2019
Different verification classifications for different outputs

#18 · opened Oct 17, 2019 by Jonas Blatt KW 45 (Nov 4, 2019–Nov 10, 2019) Backend Feature Verifier
- 0
updated Oct 24, 2019
Boundary Implementation for Disjunction and Negation

#29 · opened Oct 29, 2019 by Jonas Blatt Nice to have Backend Feature
- 0
updated Nov 01, 2019
Verifier: DRD Cycle check

#36 · opened Nov 11, 2019 by Jonas Blatt Nice to have Backend Verifier
- 0
updated Nov 11, 2019
Verifer: Check for "Multitables"

#38 · opened Nov 11, 2019 by Jonas Blatt Backend Feature Verifier
- 0
updated Nov 11, 2019
Verifier: Unreachable rules

#41 · opened Nov 16, 2019 by Jonas Blatt Backend Feature Verifier
- 0
updated Nov 17, 2019
Input Data can be complex Datatype

#48 · opened Dec 16, 2019 by Jonas Blatt
- 0
updated Dec 18, 2019