• 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\parser\AbstractTemporalLogic.java
12 2 -
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\InputMapperReader.java
0 4 -
A
core\src\main\java\net\maswag\falcaun\IntegerRandomMutation.java
7 1 -
A
core\src\main\java\net\maswag\falcaun\parser\LTLFactory.java
0 2 -
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\IntegerUniformCrossover.java
9 1 -
A
core\src\main\java\net\maswag\falcaun\parser\LTLFormulaHelper.java
24 2 -
A
core\src\main\java\net\maswag\falcaun\parser\RoSI.java
3 1 -
A
.github\workflows\junit.yml
18 -
A
core\pom.xml
21 -
A
core\src\main\java\net\maswag\falcaun\ComponentWiseSignalDiscretizer.java
2 2 -
A
core\src\main\java\net\maswag\falcaun\LTLAPs.java
0 1 -
A
core\src\main\java\net\maswag\falcaun\parser\STLAbstractAtomic.java
18 4 -
A
core\src\main\java\net\maswag\falcaun\parser\STLFactory.java
0 2 -
A
core\src\main\java\net\maswag\falcaun\ContinuousNumericSUL.java
2 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.