• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
master
verifaps-lib
Repository badge with A rating
View on GitHub

  • 300 issues
  • 0 pull requests
  • 686 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
lang\src\test\kotlin\edu\kit\iti\formal\automation\xppu.kt
0 3 -
A
qodana.yaml
5 -
A
run\build.gradle.kts
2 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\ExpressionVisitor.kt
2 3 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\Functions.kt
3 2 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\IecRunFascade.kt
6 3 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\OperationEvaluator.kt
49 3 2
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\Runtime.kt
10 4 1
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\State.kt
7 3 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\stexceptions\ExecutionException.kt
3 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\stexceptions\StEvaluationException.kt
3 -
A
run\src\main\kotlin\edu\kit\iti\formal\automation\run\stexceptions\TypeMissmatchException.kt
3 -
A
run\src\test\kotlin\edu\kit\iti\formal\automation\run\ExpressionVisitorTest.kt
0 3 -
A
run\src\test\kotlin\edu\kit\iti\formal\automation\run\OperationEvaluatorTest.kt
0 3 -
A
run\src\test\kotlin\edu\kit\iti\formal\automation\run\RuntimeTest.kt
3 3 -
A
settings.gradle.kts
1 -
A
share\gitflow-version.sh
1 1
A
share\oscat\base\oscat_data.py
1 -
A
share\oscat\base\write_iec.py
8 1 -
A
share\version.sh
1 -
  • Previous Page
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.