Skip to content

Issues: stg-tud/opal-backup

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

11 Open 10 Closed
11 Open 10 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Incompatible values on apply bug
#41 opened May 8, 2020 by errt
@Delors @errt
@mreif @florian-kuebler
Switch upper/lower bounds improvement
#28 opened Jan 24, 2020 by florian-kuebler
@errt @florian-kuebler
Upgrade to Scala 2.13 improvement
#27 opened Jan 8, 2020 by florian-kuebler
May-alias analysis/domain for Fields and Arrays to improve the escape analysis improvement
#25 opened Jan 7, 2020 by florian-kuebler
@florian-kuebler
FPCFAnalysesIntegrationTest.config is not maintainable
#24 opened Jan 7, 2020 by florian-kuebler
FPCFAnalysesRegistry has no support for triggered schedulers yet
#23 opened Jan 7, 2020 by florian-kuebler
Readme.md for the design decisions for the call graph analyses improvement
#18 opened Jan 7, 2020 by florian-kuebler
@florian-kuebler
Implement equals on TACode feature request
#17 opened Jan 7, 2020 by florian-kuebler
@errt
Field mutability should identify external initialization
#16 opened Jan 7, 2020 by florian-kuebler
Improving the purity analysis feature request
#14 opened Jan 7, 2020 by florian-kuebler
@errt
Adding type parameters to PropertyComputationResult improvement
#13 opened Jan 7, 2020 by florian-kuebler
@errt @florian-kuebler
ProTip! Updated in the last three days: updated:>2024-11-25.