master
verifaps-lib
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
lang\src\test\kotlin\edu\kit\iti\formal\automation\PrettyPrinterTest.kt
2 4 1
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\scope\Scope.kt
51 4 1
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\values\MultiDimArrayValue.kt
0 4 1
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\TranslateFbdToSt.kt
2 3 1
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\model\VerificationTechnique.kt
 3 1
A
ide\src\main\old\ide\utils.kt
46 1 1
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\IEC61131Facade.kt
25 6 1
A
ide\src\main\old\ide\services.kt
41 1 1
A
ide\src\main\old\ide\JavaJMLTokenFactory.kt
15 1 1
A
ide\src\main\kotlin\edu\kit\iti\formal\automation\fx\tool.kt
 3 1
A
ide\src\main\old\ide\editor.kt
42 1 1
A
.trash\stoo\trans\ReferenceToArrayAccess.java
 1 1
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\stmonitor.kt
15 3 1
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\print\DSLTablePrinter.kt
30 4 1
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\PouExtractor.kt
4 3 1
A
util\src\test\kotlin\edu\kit\iti\formal\util\PrintutilKtTest.kt
0 3 1
A
lang\src\test\kotlin\edu\kit\iti\formal\automation\datatypes\promotion\TypePromotionTest.kt
0 3 1
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\CounterExamplePrinterWithProgramHtml.kt
16 4 1
A
exec\src\main\kotlin\edu\kit\iti\formal\automation\Kastel.kt
18 4 1
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\CounterExampleTablePrinter.kt
10 3 1