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

  • 45 issues
  • 12 pull requests
  • 278 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
core\src\main\java\net\maswag\falcaun\ArgParser.java
32 4 1
A
core\src\main\java\net\maswag\falcaun\annotation\Sorted.java
2 -
A
core\src\main\java\net\maswag\falcaun\IOSignalPiece.java
2 -
A
core\src\main\java\net\maswag\falcaun\annotation\package-info.java
1 -
A
ansible\setup.yaml
2 -
A
core\src\main\java\net\maswag\falcaun\parser\AbstractTemporalLogic.java
12 2 -
A
core\src\main\java\net\maswag\falcaun\InputMapperReader.java
0 4 -
A
core\src\main\java\net\maswag\falcaun\parser\LTLAtomic.java
20 2 -
A
core\src\main\java\net\maswag\falcaun\BlackBoxVerifier.java
10 5 -
A
core\src\main\java\net\maswag\falcaun\parser\LTLFormulaHelper.java
24 2 -
A
core\src\main\java\net\maswag\falcaun\IntegerUniformCrossover.java
9 1 -
A
core\src\main\java\net\maswag\falcaun\parser\RoSI.java
3 1 -
A
.github\workflows\junit.yml
18 -
A
core\src\main\java\net\maswag\falcaun\LTLFormulaBase.java
1 1 -
A
.circleci\config.yml
6 -
A
.github\workflows\deploy-docs.yml
7 -
A
.github\workflows\reviewdoc.yml
3 -
A
core\src\main\java\net\maswag\falcaun\AdaptiveSTLUpdater.java
4 4 -
A
core\src\main\java\net\maswag\falcaun\IOContinuousSignal.java
14 6 -
A
core\src\main\java\net\maswag\falcaun\StopDisprovedEQOracle.java
6 4 -
  • 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.