Issues (1–3 of 3)

Title	T	P	Status	Assignee	Version	Created	Updated
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet Static Analysis Framework	enhancement	major	new		Future	2019-02-14	2019-02-14
#168: Internal Properties for FPCF Static Analysis Framework	proposal	minor	resolved	Michael Eichberg	Future	2018-11-01	2018-12-20
#160: PKESequentialStore needs updated handling for Cycles Static Analysis Framework	bug	major	resolved	Michael Eichberg		2018-07-31	2018-10-29