master
verifaps-lib
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
xml\src\test\java\edu\kit\iti\formal\jpox\RunPPUTest.java
3 1 -
A
xml\src\test\java\edu\kit\iti\formal\automation\xml\FBDTest.kt
0 3 -
A
xml\src\main\kotlin\ld.kt
 3 -
A
xml\src\main\kotlin\fbd.kt
13 4 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\translators.kt
3 3 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\fbdtranslator.kt
5 5 4
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\datatypes.kt
2 3 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\SfcElementAccess.kt
3 5 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\SFCFactory.kt
3 3 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\PouExtractor.kt
4 3 1
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\PCLOpenXMLBuilder.kt
0 3 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\InterfaceBuilder.kt
6 3 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\IECXMLFacade.kt
8 4 -
A
xml\src\main\kotlin\edu\kit\iti\formal\automation\plcopenxml\ExportAsPlain.kt
1 3 -
A
web-backend\src\main\kotlin\webrvt.kt
2 1 -
A
web-backend\src\main\kotlin\webgeteta.kt
8 1 -
A
web-backend\src\main\kotlin\basics.kt
3 1 -
A
web-backend\src\main\kotlin\backend.kt
3 1 -
A
web-backend\Dockerfile
 1 -
A
utils-test\src\main\kotlin\Utils.kt
11 2 -