VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\StvsToolbarController.kt	27	6	1
A	aps-rvt\src\main\kotlin\edu\kit\iti\formal\automation\rvt\modularization\modularization.kt	27	3	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\geteta.kt	27	6	1
A	absintsfc\src\main\kotlin\AbstractInterpretationSfc.kt	25	3	1
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\IEC61131Facade.kt	25	6	1
A	geteta\src\main\resources\synthesis\formula_to_ite.py	25	1	2
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\cppmonitor.kt	25	5	-
A	exec\src\main\kotlin\edu\kit\iti\formal\automation\Flycheck.kt	25	4	2
A	ide\src\main\old\ide\services\recentfiles.kt	24	1	-
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\HybridSpecification.kt	24	3	3
A	.trash\SFCGraph.java	24	1	-
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\table\SpecificationTableController.kt	23	3	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\builder\automatonpipeline.kt	22	3	3
A	smv\src\main\kotlin\edu\kit\iti\formal\smv\types.kt	22	5	-
A	geteta\src\main\resources\synthesis\formula_to_program.py	22	1	6
A	.trash\stoo\trans\Inheritance.java	22	1	-
A	util\src\main\kotlin\edu\kit\iti\formal\util\fuzzystring.kt	22	3	2
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\promotion.kt	22	3	2
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\HybridRow.kt	21	3	2
A	ide\src\main\old\ide\tools\overview.kt	21	1	-