Issues (1–2 of 2)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#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
#166: Implement equals on TACode Abstract Interpretation Framework	bug	minor	new		Michael Eichberg	3.0.0	2018-10-29	2018-10-29