1. Michael Eichberg Avatar Michael Eichberg
  2. Untitled project
  3. OPAL

Issues

Filter by:

Advanced search

Issues (51–75 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#130: Update to sbt 1.1.0
<OPAL Build Process>
enhancement minor resolved
#115: Build: Scalariform plugin repeatedly formatting sources
<OPAL Build Process>
bug major resolved
#126: Compiling the fixtures plugin raises 13 feature warnings
<OPAL Build Process>
enhancement major resolved
#131: Create a new sbt plugin in the opal-project ecosystem: sbt-releasehelper
<OPAL Build Process>
enhancement minor closed
#118: Externalize ALL dependencies into project/Dependencies.scala
<OPAL Build Process>
enhancement major resolved
#120: Investigate scalariform update
<OPAL Build Process>
enhancement minor resolved
#122: sbt console doesn't work reliable anymore for most snippets
<OPAL Build Process>
bug blocker on hold
#117: ensure that local.sbt settings are applied AFTER build.sbt settings
<OPAL Build Process>
bug major resolved
#116: calling sbt in OPAL/bp and also OPAL/TOOLS/bp results in a deprecation warning
<OPAL Build Process>
enhancement major resolved
#102: Build process dies dramatically in case of issues when compiling the test-fixtures
<OPAL Build Process>
enhancement minor resolved
#181: ...support.info.Purity
Tools
bug blocker closed
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#178: Assertion in DeclaredMethodsKey
bug major new
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#158: OPAL-Validate Integration Tests (OPAL-Validate/it:test) fails due to a LambdaExpressionWriting Bug
Bytecode Representation
bug blocker resolved
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#168: Internal Properties for FPCF
Static Analysis Framework
proposal minor resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#162: Assertion error in TAC generation w.r.t. exception handlers
Abstract Interpretation Framework
bug major resolved
#161: TACAIAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8