Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–3 of 3)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal
minor
resolved
errt
2.0.0
2017-06-19
2019-04-27
#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