Commits · 4d13572ad546dad468c09cd625a3401901765b7e · Jonas Blatt / Verification for Decision Model and Notation

Oct 29, 2019
- Fix output data fix · 4a6dbb4f
  Jonas Blatt authored 5 years ago
  
  4a6dbb4f
Oct 25, 2019
- Fix Check In Contact · 6f9abe7b
  Jonas Blatt authored 5 years ago
  
  6f9abe7b
Oct 24, 2019
- #26 Fix missing rules for boolean values · 9551d7fd
  Jonas Blatt authored 5 years ago
  
  9551d7fd
- #25 LONG INFINITY + 1 = -INFINITY -> this · 92880396
  Jonas Blatt authored 5 years ago
  
  92880396
- #24 Equivalent strings, init wordnet at startup and move dictionary outside jar · 76d675f1
  Jonas Blatt authored 5 years ago
  
  76d675f1
Oct 19, 2019
- Fix Missing rule verifier for string values · 97377ac4
  Jonas Blatt authored 5 years ago
  
  97377ac4
- BugFix Compare to of String boundary · 598e8615
  Jonas Blatt authored 5 years ago
  
  598e8615
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