Search results

Incompatible values on apply

bug

Status: Open.

#41 In stg-tud/opal-backup;

· errt opened on May 8, 2020

Switch upper/lower bounds

improvement

Status: Open.

#28 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 24, 2020

Upgrade to Scala 2.13

improvement

Status: Open.

#27 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 8, 2020

May-alias analysis/domain for Fields and Arrays to improve the escape analysis

improvement

Status: Open.

#25 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

FPCFAnalysesIntegrationTest.config is not maintainable

Status: Open.

#24 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

FPCFAnalysesRegistry has no support for triggered schedulers yet

Status: Open.

#23 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

Readme.md for the design decisions for the call graph analyses

improvement

Status: Open.

#18 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

Implement equals on TACode

feature request

Status: Open.

#17 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

Field mutability should identify external initialization

Status: Open.

#16 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

Improving the purity analysis

feature request

Status: Open.

#14 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020

Adding type parameters to PropertyComputationResult

improvement

Status: Open.

#13 In stg-tud/opal-backup;

· florian-kuebler opened on Jan 7, 2020