VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
A	.trash\ValueFactory.java	67	1	2
A	stvs\src\test\kotlin\edu\kit\iti\formal\stvs\logic\specification\smtlib\SmtModelTest.kt	0	4	2
A	ide\src\main\old\ide\tools.kt	56	1	2
A	ide\src\main\old\ide\editors\st.kt	55	1	2
A	stvs\src\test\kotlin\edu\kit\iti\formal\stvs\model\common\SelectionTest.kt	0	2	2
A	stvs\src\main\resources\edu\kit\iti\formal\stvs\view\spec\variables\style.css		1	2
A	geteta\src\main\resources\synthesis\formula_to_ite.py	25	1	2
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\HybridRow.kt	21	3	2
A	ide\src\main\kotlin\edu\kit\iti\formal\automation\fx\editor.kt	6	3	2
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\code\SyntaxError.kt	1	2	2
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\io\TblLanguageToSmv.kt	18	4	2
A	.trash\stoo\trans\MethodToFunction.java	31	1	2
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\synthesis.kt	52	7	2
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\table\AdvancedCellUtils.kt	32	3	2
A	smv\src\main\kotlin\edu\kit\iti\formal\smv\SMVPrinter.kt	31	5	2
A	run\src\main\kotlin\edu\kit\iti\formal\automation\run\OperationEvaluator.kt	49	3	2
A	exec\src\main\kotlin\edu\kit\iti\formal\automation\Flycheck.kt	25	4	2
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\values\MultiDimArrayValue.kt	0	4	1
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\TranslateFbdToSt.kt	2	3	1
A	aps-rvt\examples\ppumod\classic.sh		1	1