VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
A	ide\src\main\old\ide\tools\overview.kt	21	1	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\il\print.kt	20	4	-
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\logic\specification\smtlib\Z3Solver.kt	20	5	-
B	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\SpecificationTable.kt	20	6	7
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\builder\miter.kt	20	4	3
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\print\latex.kt	19	3	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\util\WriteBeforeReadIdentifier.kt	19	3	-
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\st0\trans\StructEmbedding.kt	18	3	1
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\st0\trans\CallEmbedding.kt	18	3	-
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\smt\DefaultS2STranslator.kt	18	4	-
A	.trash\stoo\STOOSimplifier.java	18	1	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\io\TblLanguageToSmv.kt	18	4	2
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\algorithms\StateReachability.kt	18	3	-
A	exec\src\main\kotlin\edu\kit\iti\formal\automation\Kastel.kt	18	4	1
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\il\transform.kt	17	3	-
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\logic\specification\smtlib\SmtEncoder.kt	17	4	-
A	geteta\src\main\resources\monitor\monitor.h	17	1	3
A	.trash\sfc\TransitionBuilder.java	17	1	-
A	aps-rvt\src\main\kotlin\edu\kit\iti\formal\automation\rvt\rvt.kt	17	3	-
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\table\AdvancedTextFieldTableCell.kt	16	3	1