master
verifaps-lib
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\logic\verification\GeTeTaVerificationEngine.kt
13 3 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\monitor.kt
13 6 -
B
lang\src\main\kotlin\edu\kit\iti\formal\automation\experimental\java.kt
13 4 4
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\AutomatonDrawer.kt
13 3 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\model\options\TableOptions.kt
13 3 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\CounterExampleAnalyzer.kt
13 4 -
A
xml\src\main\kotlin\fbd.kt
13 4 -
A
symbex\src\main\kotlin\edu\kit\iti\formal\automation\SymbExFacade.kt
13 4 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\logic\io\ImporterFacade.kt
12 6 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\builder\relational.kt
12 3 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\builder\smvpipeline.kt
12 3 -
A
ide\src\main\old\ide\LanguageSupport.kt
12 1 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\print\base.kt
12 3 -
A
.trash\sfc\SFCBuilder.java
11 1 -
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\ConcreteSpecification.kt
11 3 -
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\DataTypeAssignability.kt
11 3 2
A
.trash\stoo\trans\GlobalInstances.java
11 1 -
A
util\src\testFixtures\kotlin\Utils.kt
11 1 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\print\text.kt
11 5 4
A
symbex\src\main\kotlin\edu\kit\iti\formal\automation\st0\trans\Reals.kt
11 3 -