Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
B
br-verification-tool
Manage
Activity
Members
Plan
Wiki
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Model registry
Analyze
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
fg-bks
br-verification-tool
Repository
ab5f1222c539a507d8b69a32f5076e76591f6b61
Select Git revision
Branches
6
patch-3
dev-executable-jar
develop
master
default
protected
patch-1
feature-missingRuleWithStrings
Tags
9
v190603
v190529
v190522
v190519
v190514
v190513
v199511
v190510
v190506
15 results
br-verification-tool
dmn-verifier-app
Compare
Find file
Code
Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)
Visual Studio Code (HTTPS)
IntelliJ IDEA (SSH)
IntelliJ IDEA (HTTPS)
Download source code
zip
tar.gz
tar.bz2
tar
Download this directory
zip
tar.gz
tar.bz2
tar
Download
Download source code
zip
tar.gz
tar.bz2
tar
Copy HTTPS clone URL
Copy SSH clone URL
git@gitlab.uni-koblenz.de:fg-bks/br-verification-tool.git
Copy HTTPS clone URL
https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool.git
Name
Last commit
Last update
..
.vs/SARSCollosseum/v16
Assets
Library
Logs
Packages
ProjectSettings
UserSettings
obj/Debug
.vsconfig
Assembly-CSharp-Editor.csproj
Assembly-CSharp.Player.csproj
Assembly-CSharp.csproj
NavMeshComponents.Player.csproj
NavMeshComponents.csproj
NavMeshComponentsEditor.csproj
NavMeshComponentsExamples.Player.csproj
NavMeshComponentsExamples.csproj
NavMeshComponentsExamplesEditor.csproj
NavMeshComponentsTestsEditmode.csproj
NavMeshComponentsTestsPlaymode.Player.csproj
NavMeshComponentsTestsPlaymode.csproj
Opsive.Shared.Editor.csproj
Opsive.Shared.Player.csproj
Opsive.Shared.csproj
Opsive.UltimateCharacterController.Demo.Editor.csproj
Opsive.UltimateCharacterController.Demo.Player.csproj
Opsive.UltimateCharacterController.Demo.csproj
Opsive.UltimateCharacterController.Editor.csproj
Opsive.UltimateCharacterController.Player.csproj
Opsive.UltimateCharacterController.csproj
README.md
SARSCollosseum.sln
Unity.CollabProxy.Editor.csproj
Unity.PlasticSCM.Editor.csproj
Unity.ProBuilder.AddOns.Editor.csproj
Unity.ProBuilder.AssetIdRemapUtility.csproj
Unity.ProBuilder.Csg.Player.csproj
Unity.ProBuilder.Csg.csproj
Unity.ProBuilder.Editor.csproj
Unity.ProBuilder.KdTree.Player.csproj
Unity.ProBuilder.KdTree.csproj
Unity.ProBuilder.Player.csproj
Unity.ProBuilder.Poly2Tri.Player.csproj
Unity.ProBuilder.Poly2Tri.csproj
Unity.ProBuilder.Stl.Player.csproj
Unity.ProBuilder.Stl.csproj
Unity.ProBuilder.csproj
Unity.Rider.Editor.csproj
Unity.Services.Core.Editor.csproj
Unity.Settings.Editor.csproj
Unity.TextMeshPro.Editor.csproj
Unity.TextMeshPro.Player.csproj
Unity.TextMeshPro.csproj
Unity.Timeline.Editor.csproj
Unity.Timeline.Player.csproj
Unity.Timeline.csproj
Unity.VSCode.Editor.csproj
Unity.VisualStudio.Editor.csproj
UnityEditor.TestRunner.csproj
UnityEditor.UI.csproj
UnityEngine.TestRunner.Player.csproj
UnityEngine.TestRunner.csproj
UnityEngine.UI.Player.csproj
UnityEngine.UI.csproj
UpgradeLog.htm
UpgradeLog2.htm
README.md
SARSCollosseum