Commits · master · fg-bks / br-verification-tool

Jun 07, 2019
- Merge branch 'develop' into 'master' · 5a4e5900
  Jonas Blatt authored 5 years ago
  
  Develop See merge request fg-bks/br-verification-tool!33
  5a4e5900
- new version of sampleMultiTable.dmn · 3431e812
  Jonas Blatt authored 5 years ago
  
  3431e812
- label war correct in index file · d7eb15b1
  Jonas Blatt authored 5 years ago
  
  d7eb15b1
- Bug Fix for InputVal label -> expression! · 860538e6
  Jonas Blatt authored 5 years ago
  
  860538e6
- Java doc for Verifier Type · 1d8b6477
  Jonas Blatt authored 5 years ago
  
  1d8b6477
- new ref to dmn js editor css file · bfc83bb5
  Jonas Blatt authored 5 years ago
  
  bfc83bb5
Jun 04, 2019
- Merge branch 'develop' into 'master' · e1cfbebe
  Jonas Blatt authored 5 years ago
  
  Develop See merge request fg-bks/br-verification-tool!32
  e1cfbebe
- Formatting · cd7fbf1b
  Jonas Blatt authored 5 years ago
  
  cd7fbf1b
- Merge branches 'patch-1' and 'patch-2' of... · a913e351
  Jonas Blatt authored 5 years ago
  
  Merge branches 'patch-1' and 'patch-2' of https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool into develop
  a913e351
- Spelling · d0feca8b
  Jonas Blatt authored 5 years ago
  
  d0feca8b
- Update MultiTableSubsumptionVerifier.java · 1c605bed
  Dr. Carl Corea authored 5 years ago
  
  1c605bed
- Update MultiTablePartialReductionVerifier.java · c0f020c5
  Dr. Carl Corea authored 5 years ago
  
  c0f020c5
- Update MultiTableOverlappingVerifier.java · 89866cbd
  Dr. Carl Corea authored 5 years ago
  
  89866cbd
- Update MultiTableIdenticalVerifier.java · e0e85368
  Dr. Carl Corea authored 5 years ago
  
  e0e85368
- Update EquivalentVerifier.java · 91cc4ca8
  Dr. Carl Corea authored 5 years ago
  
  91cc4ca8
- Update MultiTableEquivalentVerifier.java · e4c4a7b3
  Dr. Carl Corea authored 5 years ago
  
  e4c4a7b3
- Update SubsumptionVerifier.java · c3963566
  Dr. Carl Corea authored 5 years ago
  
  c3963566
- Update PartialReductionVerifier.java · 7c684e29
  Dr. Carl Corea authored 5 years ago
  
  7c684e29
- Update OverlappingVerifier.java · 4fa5956e
  Dr. Carl Corea authored 5 years ago
  
  4fa5956e
- Update MissingVerifier.java · 35040ca4
  Dr. Carl Corea authored 5 years ago
  
  35040ca4
- Update IdenticalVerifier.java · 8d7c97c6
  Dr. Carl Corea authored 5 years ago
  
  8d7c97c6
- Update EquivalentVerifier.java · ed1db899
  Dr. Carl Corea authored 5 years ago
  
  ed1db899
- Update VerifierType.java · 37e72335
  Dr. Carl Corea authored 5 years ago
  
  37e72335
Jun 03, 2019
- Merge branch 'develop' into 'master' · cb169578
  Jonas Blatt authored 5 years ago
  
  Develop See merge request fg-bks/br-verification-tool!29
  View commits for tag v190603 v190603
  
  cb169578
- Merge remote-tracking branch 'origin/develop' into develop · 82529a36
  Jonas Blatt authored 5 years ago
  
  82529a36
- Add tabs to ui for single tables and multi tables · 0195ddcf
  Jonas Blatt authored 5 years ago
  
  0195ddcf
- Update README.md · 1bafcc41
  Jonas Blatt authored 5 years ago
  
  1bafcc41
- Merge branch 'develop' into 'master' · 3ed6af15
  Jonas Blatt authored 5 years ago
  
  Develop See merge request fg-bks/br-verification-tool!28
  3ed6af15
- Merge branch 'master' into 'develop' · 5a853fa5
  Jonas Blatt authored 5 years ago
  
  Master See merge request fg-bks/br-verification-tool!27
  5a853fa5
- UI fixes · 7c2ceabb
  Jonas Blatt authored 5 years ago
  
  7c2ceabb
- Split Single and Multi Tables · ab5f1222
  Jonas Blatt authored 5 years ago
  
  ab5f1222
- Revert "Increase init capacity" · e038407e
  Jonas Blatt authored 5 years ago
  
  This reverts commit 9a24b119.
  e038407e
- Increase init capacity · 9a24b119
  Jonas Blatt authored 5 years ago
  
  9a24b119
- Merge branch 'patch-1' into 'master' · a5521b96
  Jonas Blatt authored 5 years ago
  
  Update README.md See merge request fg-bks/br-verification-tool!26
  a5521b96
- Update README.md · 029d7081
  Jonas Blatt authored 5 years ago
  
  029d7081
- Update README.md · fa5b3f44
  Jonas Blatt authored 5 years ago
  
  fa5b3f44
- Update README.md · 1a8072a5
  Jonas Blatt authored 5 years ago
  
  1a8072a5
- Update README.md · d75534c0
  Dr. Carl Corea authored 5 years ago
  
  d75534c0
Jun 02, 2019
- Merge branch 'develop' into 'master' · ec0b80d8
  Jonas Blatt authored 5 years ago
  
  Reset prev version of VerifierType See merge request fg-bks/br-verification-tool!25
  ec0b80d8
- Reset prev version of VerifierType · 683f044d
  Jonas Blatt authored 5 years ago
  
  683f044d