• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
master
tchecker
Repository badge with A rating
View on GitHub

  • 138 issues
  • 0 pull requests
  • 234 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
src\refzg\semantics.cc
45 2 -
A
include\tchecker\syncprod\syncprod.hh
2 5 -
A
src\refzg\transition.cc
3 1 -
A
.github\workflows\build-and-test.yml
1 -
A
src\statement\statement.cc
52 8 -
A
include\tchecker\syncprod\transition.hh
4 1 -
A
src\statement\type_inference.cc
25 6 -
A
include\tchecker\basictypes.hh
0 5 -
A
src\statement\typed_statement.cc
44 7 -
A
include\tchecker\syncprod\vloc.hh
5 1 -
A
src\syncprod\label.cc
3 1 -
A
src\tck-reach\zg-reach.hh
4 3 -
A
src\tck-simulate\simulate.cc
31 1 -
A
src\tck-simulate\graph.hh
4 1 -
A
src\tck-reach\zg-covreach.hh
4 2 -
A
src\ta\system.cc
44 2 -
A
src\system\loc.cc
30 1 -
A
ci-scripts\install-macOS.sh
2 -
A
include\tchecker\refzg\transition.hh
1 2 -
A
include\tchecker\zg\zg.hh
4 5 -
  • 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.