Commits · f1f0b7ea697031d83c883637f0184b0cf09cc002 · Jonas Blatt / Verification for Decision Model and Notation

You need to sign in or sign up before continuing.

Oct 16, 2019
- Create api for selecting multiple verifier types for the verifications · f1f0b7ea
  Jonas Blatt authored 5 years ago
  
  f1f0b7ea
- Merge branch 'feat/verifier' into feat/multiverifierselect · 7a8f6466
  Jonas Blatt authored 5 years ago
  
  7a8f6466
- Fix download of dmn · a943b6de
  Jonas Blatt authored 5 years ago
  
  a943b6de
- Prettify verifier messages · e5055742
  Jonas Blatt authored 5 years ago
  
  e5055742
- Fix VDmnFunctions, no public constructor · 6065b7df
  Jonas Blatt authored 5 years ago
  
  6065b7df
- Add column name printing method · 7d734227
  Jonas Blatt authored 5 years ago
  
  7d734227
- Add quarkus livecycle bean for frontend · a33d8fb7
  Jonas Blatt authored 5 years ago
  
  a33d8fb7
- Add java http filter (currently not working) · 898d51dd
  Jonas Blatt authored 5 years ago
  
  898d51dd
Oct 15, 2019
- Add dynamic host for backend · 90c5fea7
  Jonas Blatt authored 5 years ago
  
  90c5fea7
- Merge branch 'feat/gitlabci' into 'develop' · ca34e6ae
  Jonas Blatt authored 5 years ago
  
  Feat/gitlabci See merge request jonasblatt/ma-jonasblatt-dmn-verifier!11
  ca34e6ae
- Feat/gitlabci · ef890f20
  Jonas Blatt authored 5 years ago
  
  ef890f20
- Merge branch 'feat/version' into 'develop' · 89c3a371
  Jonas Blatt authored 5 years ago
  
  Feat/version See merge request jonasblatt/ma-jonasblatt-dmn-verifier!10
  89c3a371
- Set version to 0.9.1 · 6bcbad76
  Jonas Blatt authored 5 years ago
  
  6bcbad76
- Merge branch 'feat/verifier' into feat/dmnapp/purehtmljs · 75a25c9a
  Jonas Blatt authored 5 years ago
  
  75a25c9a
- Merge remote-tracking branch 'origin/feat/verifier' into feat/verifier · bca96ae0
  Jonas Blatt authored 5 years ago
  
  bca96ae0
- Merge branch 'feat/dmnapp/purehtmljs' into 'develop' · da0927ab
  Jonas Blatt authored 5 years ago
  
  Feat/dmnapp/purehtmljs See merge request jonasblatt/ma-jonasblatt-dmn-verifier!9
  da0927ab
- Feat/dmnapp/purehtmljs · ed57c077
  Jonas Blatt authored 5 years ago
  
  ed57c077
- Merge branch 'feat/quarkus/cors' into feat/dmnapp/purehtmljs · f1f26c50
  Jonas Blatt authored 5 years ago
  
  f1f26c50
- Set cors filter config for local dev and production · 7dd80d69
  Jonas Blatt authored 5 years ago
  
  7dd80d69
Oct 14, 2019
- Set cors for dev to "all", so that in production mode all origins are allowed · b0e37b5a
  Jonas Blatt authored 5 years ago
  
  b0e37b5a
- Add empty dmn table as template · 941142a6
  Jonas Blatt authored 5 years ago
  
  941142a6
- Add option select for predefined verification type · d3da28a2
  Jonas Blatt authored 5 years ago
  
  d3da28a2
- Calc dmn Modeler height · ce42fde4
  Jonas Blatt authored 5 years ago
  
  ce42fde4
- Fix, show al classification groups · 277919dd
  Jonas Blatt authored 5 years ago
  
  277919dd
- Add nice name for Verifier Types and verifier classification in frontend · fb2fd07b
  Jonas Blatt authored 5 years ago
  
  fb2fd07b
- Merge branch 'feat/verifier' into feat/dmnapp/purehtmljs · 580f227d
  Jonas Blatt authored 5 years ago
  
  580f227d
- Add nice name for Verifier Types and verifier classification · fe86d5a1
  Jonas Blatt authored 5 years ago
  
  fe86d5a1
- Add some css for frontend · 6fa0bbda
  Jonas Blatt authored 5 years ago
  
  6fa0bbda
- Add download support for active dmn table · 56184f2c
  Jonas Blatt authored 5 years ago
  
  56184f2c
- Fix action style for info icon · 81423402
  Jonas Blatt authored 5 years ago
  
  81423402
- Fix PartialReductionVerifier · 19a8184a
  Jonas Blatt authored 5 years ago
  
  19a8184a
Oct 13, 2019
- Merge branch 'feat/dmnapp/purehtmljs' into 'develop' · d5299874
  Jonas Blatt authored 5 years ago
  
  Feat/dmnapp/purehtmljs See merge request jonasblatt/ma-jonasblatt-dmn-verifier!8
  d5299874
- Merge branch 'feat/verifier' into 'develop' · 6a0f2930
  Jonas Blatt authored 5 years ago
  
  Feat/verifier See merge request jonasblatt/ma-jonasblatt-dmn-verifier!7
  6a0f2930
- Add type of verification to metric · 877e89f8
  Jonas Blatt authored 5 years ago
  
  877e89f8
- Add icons for verification classifications · eebb49cf
  Jonas Blatt authored 5 years ago
  
  eebb49cf
- Add messages of verifications · eadf542e
  Jonas Blatt authored 5 years ago
  
  eadf542e
- Create verifier button dynamically · 32580424
  Jonas Blatt authored 5 years ago
  
  32580424
- Clear verifier root element · eede80f1
  Jonas Blatt authored 5 years ago
  
  eede80f1
- Add option select for rendering verifier · c305e7c2
  Jonas Blatt authored 5 years ago
  
  c305e7c2
- Add dmn type for js frontend · 2ba9ab26
  Jonas Blatt authored 5 years ago
  
  2ba9ab26