Issues (1–7 of 7)

Title	T	P	Status	Assignee	Version	Created	Updated
#181: ...support.info.Purity Tools	bug	blocker	closed	errt	3.0.0	2019-05-12	2019-05-14
#87: Superclass for simple dataflow analyses Abstract Interpretation Framework	proposal	minor	resolved	errt	2.0.0	2017-06-19	2019-04-27
#178: Assertion in DeclaredMethodsKey	bug	major	new	errt		2019-02-22	2019-02-22
#174: FPCFAnalysesIntegrationTest.config is not maintainable Abstract Interpretation Framework	enhancement	major	new	errt	3.0.0	2018-12-28	2019-02-14
#158: OPAL-Validate Integration Tests (OPAL-Validate/it:test) fails due to a LambdaExpressionWriting Bug Bytecode Representation	bug	blocker	resolved	errt		2018-07-16	2018-10-29
#164: FPCFAnalysisIntegrationTest fails Abstract Interpretation Framework	bug	major	resolved	errt		2018-09-04	2018-10-29
#157: Improving the purity analysis Abstract Interpretation Framework	enhancement	minor	new	errt		2018-07-10	2018-07-10