VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
A	.trash\stoo\trans\BranchEffectiveTypes.java	41	1	1
A	ide\src\main\old\ide\tools\navigator.kt	14	1	-
A	geteta\src\main\resources\monitor\monitor.h	17	1	3
A	geteta\src\main\resources\synthesis\formula_to_ite.py	25	1	2
A	.trash\model\SFCAction.java	6	1	-
A	geteta\src\main\resources\synthesis\formula_to_program.py	22	1	6
A	.trash\stoo\trans\Inheritance.java	22	1	-
A	.trash\model\SfcXmlElement.java		1	-
A	.trash\sfc\JumpStepBuilder.java	10	1	-
A	ide\src\main\old\ide\ide.kt	83	1	3
A	buildSrc\src\main\kotlin\ExtractXz.kt	0	1	-
A	.trash\stoo\trans\ReferenceToArrayAccess.java		1	1
A	.trash\sfc\InVariableBuilder.java	6	1	-
A	geteta\src\main\resources\monitor\footer.cpp	0	1	-
B	ide\src\main\old\ide\tools\ttpreview.kt	58	1	9
A	ide\src\main\old\ide\tools\overview.kt	21	1	-
A	ide\src\main\old\ide\problems.kt	49	1	-
A	ide\src\main\old\ide\JavaJMLTokenFactory.kt	15	1	1
A	geteta\src\main\resources\monitor\header.cpp	0	1	-
A	geteta\examples\synthesis_test_cases\src\tests.cpp	9	1	-