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

Jun 07, 2019
- new ref to dmn js editor css file · bfc83bb5
  Jonas Blatt authored 5 years ago
  
  bfc83bb5
Jun 04, 2019
- Formatting · cd7fbf1b
  Jonas Blatt authored 5 years ago
  
  cd7fbf1b
- Merge branches 'patch-1' and 'patch-2' of... · a913e351
  Jonas Blatt authored 5 years ago
  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
  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
  3ed6af15
- Merge branch 'master' into 'develop' · 5a853fa5
  Jonas Blatt authored 5 years ago
  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
  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
  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
  ec0b80d8
- Reset prev version of VerifierType · 683f044d
  Jonas Blatt authored 5 years ago
  
  683f044d
- Merge branch 'develop' into 'master' · e417394f
  Jonas Blatt authored 5 years ago
  e417394f
- Small performance optimizations -> LinkedList instead of ArrayList on lists... · af346f45
  Jonas Blatt authored 5 years ago
  af346f45
- Small performance optimizations -> LinkedList instead of ArrayList on lists... · f49136f1
  Jonas Blatt authored 5 years ago
  f49136f1
May 30, 2019
- Small optimizations · d7adf02b
  Jonas Blatt authored 5 years ago
  
  d7adf02b
May 29, 2019
- Remove unused imports · 6b961237
  Jonas Blatt authored 5 years ago
  
  6b961237
- Merge branch 'develop' into 'master' · 7aab6c48
  Jonas Blatt authored 5 years ago
  7aab6c48