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\model\table\problems\ConstraintSpecificationValidator.kt
16 3 -
A
.trash\sfc\StepBuilder.java
16 1 4
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\CounterExamplePrinterWithProgramHtml.kt
16 4 1
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\sfclang\SFC2ST.kt
16 3 -
A
smt\src\main\kotlin\solver.kt
16 3 1
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\DataTypeVisitor.kt
16 3 -
A
exec\src\main\kotlin\edu\kit\iti\formal\automation\xml.kt
15 4 -
A
ide\src\main\old\ide\JavaJMLTokenFactory.kt
15 1 1
A
smt\src\main\kotlin\smt.kt
15 5 -
A
.trash\Graph2Ast.java
15 1 -
B
symbex\src\main\kotlin\edu\kit\iti\formal\automation\blocks\analyze.kt
15 3 10
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\reteta.kt
15 4 -
A
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\stmonitor.kt
15 3 1
A
stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\config\GlobalConfig.kt
15 3 -
A
ide\src\main\old\ide\tools\navigator.kt
14 1 -
A
lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\ResolveDataTypes.kt
14 6 3
A
smv\src\main\kotlin\edu\kit\iti\formal\smv\ast.kt
14 5 1
A
symbex\src\main\kotlin\edu\kit\iti\formal\automation\st0\trans\FunctionBlockEmbedder.kt
14 3 -
A
symbex\src\main\kotlin\edu\kit\iti\formal\automation\blocks\ssa.kt
14 3 -
D
geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\cmonitor.kt
14 4 11