Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–4 of 4)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#181: ...support.info.Purity
Tools
bug
blocker
closed
errt
3.0.0
2019-05-12
2019-05-14
#178: Assertion in DeclaredMethodsKey
bug
major
new
errt
2019-02-22
2019-02-22
#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