Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • dev-executable-jar
  • develop
  • feature-missingRuleWithStrings
  • master default protected
  • patch-1
  • patch-3
  • v190603
  • v190529
  • v190522
  • v190519
  • v190514
  • v190513
  • v199511
  • v190510
  • v190506
15 results
Created with Raphaël 2.2.02Dec26Aug7Jun543230May29282726252221191815141312111097642130Apr2927262423Upload New Filepatch-3patch-3Add config for install executable jar (Integrated TomEE Server)dev-executable-…dev-executable-jarsmall changesdevelopdevelopMerge branch 'develop' into 'master'master remote_m…master remote_mirror_f0dea6a65c38760a002394d9ecc930a4/masternew version of sampleMultiTable.dmnlabel war correct in index fileBug Fix for InputVal label -> expression!Java doc for Verifier Typenew ref to dmn js editor css fileMerge branch 'develop' into 'master'FormattingMerge branches 'patch-1' and 'patch-2' of https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool into developSpellingUpdate MultiTableSubsumptionVerifier.javaUpdate MultiTablePartialReductionVerifier.javaUpdate MultiTableOverlappingVerifier.javaUpdate MultiTableIdenticalVerifier.javaUpdate EquivalentVerifier.javaUpdate MultiTableEquivalentVerifier.javaUpdate SubsumptionVerifier.javaUpdate PartialReductionVerifier.javaUpdate OverlappingVerifier.javaUpdate MissingVerifier.javaUpdate IdenticalVerifier.javaUpdate EquivalentVerifier.javaUpdate VerifierType.javapatch-1patch-1Merge branch 'develop' into 'master'v190603v190603Merge remote-tracking branch 'origin/develop' into developAdd tabs to ui for single tables and multi tablesUpdate README.mdMerge branch 'develop' into 'master'Merge branch 'master' into 'develop'UI fixesSplit Single and Multi TablesRevert "Increase init capacity"Increase init capacityMerge branch 'patch-1' into 'master'Update README.mdUpdate README.mdUpdate README.md