master
verifaps-lib
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\gradle.yml
 23 -
A
buildSrc\src\main\kotlin\kotlin-convention.gradle.kts
1 15 -
A
.github\workflows\nightlydeploy.yml
 10 -
A
build.gradle.kts
 9 -
A
fxutils\build.gradle.kts
 9 -
A
buildSrc\build.gradle.kts
 9 -
A
aps-rvt\src\main\kotlin\edu\kit\iti\formal\automation\rvt\rvtapp.kt
8 8 1
A
stvs\build.gradle.kts
 8 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\synthesis.kt
52 7 2
A
ide\src\main\kotlin\edu\kit\iti\formal\automation\fx\fx.kt
7 7 -
A
aps-rvt\src\main\kotlin\edu\kit\iti\formal\automation\rvt\modularization\app.kt
1 7 -
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\IEC61131Facade.kt
25 6 1
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\print.kt
3 6 -
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\ResolveDataTypes.kt
14 6 3
C
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\ods.kt
45 6 5
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\monitor.kt
13 6 -
A
exec\build.gradle.kts
0 6 -
F
lang\src\main\kotlin\edu\kit\iti\formal\automation\st\ast\ast.kt
48 6 7
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\st\StructuredTextPrinter.kt
76 6 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\model\GeneralizedTestTable.kt
27 6 -