Issues (1–8 of 8)

Title	T	P	Status	Assignee	Version	Created	Updated
#165: Suggestion: Move parts using JavaFX into separate deployment units Hermes	enhancement	major	closed	Michael Eichberg	3.0.0	2018-10-19	2020-01-07
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final Bytecode Representation	bug	minor	resolved		3.0.0	2019-07-22	2019-07-24
#181: ...support.info.Purity Tools	bug	blocker	closed	errt	3.0.0	2019-05-12	2019-05-14
#174: FPCFAnalysesIntegrationTest.config is not maintainable Abstract Interpretation Framework	enhancement	major	new	errt	3.0.0	2018-12-28	2019-02-14
#175: Readme.md for the design decisions for the call graph analyses. Abstract Interpretation Framework	task	major	new	florian_kuebler	3.0.0	2019-01-04	2019-01-04
#173: FieldAndArrayUsageAnalysis does not seem to use the PropertyStore properly Demos	bug	major	resolved	florian_kuebler	3.0.0	2018-12-20	2018-12-27
#172: UnnecessarySynchronizationAnalysis does not use the PropertyStore appropriately Demos	bug	major	resolved	florian_kuebler	3.0.0	2018-12-20	2018-12-27
#166: Implement equals on TACode Abstract Interpretation Framework	bug	minor	new	Michael Eichberg	3.0.0	2018-10-29	2018-10-29