Commits · 5da1e188fc0e2da9f23318041a3fb2ab181f82fb · Jonas Blatt / Verification for Decision Model and Notation

Oct 16, 2019
- Prettify verifier messages · e5055742
  Jonas Blatt authored 5 years ago
  
  e5055742
Oct 13, 2019
- Feat/verifier · dcf9dba4
  Jonas Blatt authored 5 years ago
  
  dcf9dba4
Oct 12, 2019
- Fix actions json properties · a378d8db
  Jonas Blatt authored 5 years ago
  
  a378d8db
Oct 06, 2019
- Fix java doc errors · 025933ca
  Jonas Blatt authored 5 years ago
  
  025933ca
Oct 05, 2019
- Add documentation for boundary creater, checker · 9b94d9eb
  Jonas Blatt authored 5 years ago
  
  9b94d9eb
- Add documentation for boundary classes · 55ebe9d9
  Jonas Blatt authored 5 years ago
  
  55ebe9d9
- Add documentation for simple pojo classes · 00fe7413
  Jonas Blatt authored 5 years ago
  
  00fe7413
Oct 04, 2019
- New: String objects in vdmn are now value objects · f4440493
  Jonas Blatt authored 5 years ago
  
  f4440493
Oct 02, 2019
- Fix String checker, creater and missing Rule Verifier for Strings · d5299908
  Jonas Blatt authored 5 years ago
  
  d5299908
- BiCreater for Strings lower bound and upper bound should always return an emtpy optional. · da866007
  Jonas Blatt authored 5 years ago
  
  da866007
Oct 01, 2019
- Add string boundary bicreater: between · 7b370d7d
  Jonas Blatt authored 5 years ago
  
  7b370d7d
- Refactor StringBoundary -> isMatchesAny -> matchesAny · fd29a011
  Jonas Blatt authored 5 years ago
  
  fd29a011
- New string boundary bicreater: append · d302bfe9
  Jonas Blatt authored 5 years ago
  
  d302bfe9
Sep 30, 2019
- Add implementation of BiCreater for String Intersection · f669f5a2
  Jonas Blatt authored 5 years ago
  
  f669f5a2
- Remove unused Method · 1190c199
  Jonas Blatt authored 5 years ago
  
  1190c199
- Fix Camunda date format, no optional start after minute · 04485730
  Jonas Blatt authored 5 years ago
  
  04485730
Sep 29, 2019
- Add String BiCreater Combine + Tests · 8fa05f62
  Jonas Blatt authored 5 years ago
  
  8fa05f62
- Add String BiCreater Combine · 28799703
  Jonas Blatt authored 5 years ago
  
  28799703
Sep 28, 2019
- Add Lower Bound Creater for String · 4000d96a
  Jonas Blatt authored 5 years ago
  
  Upper Bound Creater for Strings is always false!
  4000d96a
- Add Builder Pattern for String Boundary · 29c2e089
  Jonas Blatt authored 5 years ago
  
  29c2e089
Sep 26, 2019
- Add (empty) classes for String Creater · 4ffa334d
  Jonas Blatt authored 5 years ago
  
  4ffa334d
Sep 25, 2019
- small bug fix · e026d20d
  Jonas Blatt authored 5 years ago
  
  e026d20d
- remove log · 3932ae3c
  Jonas Blatt authored 5 years ago
  
  3932ae3c
- Add date formatted text · a50ec980
  Jonas Blatt authored 5 years ago
  
  a50ec980
- Format · 9317065b
  Jonas Blatt authored 5 years ago
  
  9317065b
- Add numerical parsed Text · ecfb531a
  Jonas Blatt authored 5 years ago
  
  ecfb531a
- Add boolean parsed Text · 44c81269
  Jonas Blatt authored 5 years ago
  
  44c81269
- get parsed text for string boundary · 5bd32aa7
  Jonas Blatt authored 5 years ago
  
  5bd32aa7
- Add missing rule verifier · fbe0ca8c
  Jonas Blatt authored 5 years ago
  
  fbe0ca8c
Sep 24, 2019
- Add more creater for numerical value types · 55afa237
  Jonas Blatt authored 5 years ago
  
  55afa237
Sep 23, 2019
- Add PartialReductionVerification verifier · a297e2e3
  Jonas Blatt authored 5 years ago
  
  a297e2e3
- Add creater for boundaries · d1fd2745
  Jonas Blatt authored 5 years ago
  
  d1fd2745
Sep 22, 2019
- Add construct for Boundary creater and combiner · 5017c0fb
  Jonas Blatt authored 5 years ago
  
  5017c0fb
Sep 19, 2019
- Add equivalent Verifier · 89ece0dd
  Jonas Blatt authored 5 years ago
  
  89ece0dd
Sep 18, 2019
- Add checker for String boundary · 48fed44e
  Jonas Blatt authored 5 years ago
  
  48fed44e
- Create checker in contact and not in contact for string boundaries · c361ab14
  Jonas Blatt authored 5 years ago
  
  c361ab14
- Add checker for subsumption and overlap · 9c5c598d
  Jonas Blatt authored 5 years ago
  
  9c5c598d
- Add checker for in contact and not in contact · 95b7f7cd
  Jonas Blatt authored 5 years ago
  
  95b7f7cd
- Add equal Check for String values · fa3bb584
  Jonas Blatt authored 5 years ago
  
  fa3bb584
- Add syntax check for values (creation of Boundary was a success) · 18a241d5
  Jonas Blatt authored 5 years ago
  
  18a241d5