master
FalCAuN
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
example\emsoft2025\WhiteBoxMealy\mealy_falsification.kts
 2 -
A
core\src\main\java\net\maswag\falcaun\parser\SignalMapperVisitorImpl.java
28 1 1
A
example\hscc2020\result_name.yaml
 1 -
A
core\src\main\java\net\maswag\falcaun\MealyFixedSetEQOracle.java
5 2 -
A
example\hscc2020\run_breach_all.sh
 1 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalConst.java
8 2 -
A
example\hscc2020\run_falcaun_all.sh
 1 -
A
core\src\main\java\net\maswag\falcaun\AbstractAdaptiveSTLUpdater.java
23 5 -
A
example\hscc2020\run_table4_breach.sh
 1 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalGlobally.java
10 2 -
A
example\hscc2020\utils\diffDate.sh
 1 1
A
core\src\main\java\net\maswag\falcaun\NumericMembershipOracle.java
3 3 1
A
example\hscc2020\utils\extractFalsified.sh
 1 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalLogic.java
6 3 -
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 -
A
core\src\test\java\net\maswag\falcaun\parser\STLCostTest.java
3 1 -