-
Notifications
You must be signed in to change notification settings - Fork 138
Pull requests: secure-software-engineering/phasar
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Split LLVMBasedICFG
enhancement
New feature or request
performance
This ticket improves the performance of an existing feature instead of adding a new one
refactoring
technical debt
#726
opened May 26, 2024 by
fabianbs96
Loading…
EF SemiRing in Problem
enhancement
New feature or request
#722
opened May 5, 2024 by
fabianbs96
Loading…
IDE Solver Strategy
enhancement
New feature or request
#669
opened Sep 21, 2023 by
fabianbs96
Loading…
Modernize UninitializedVariables Analysis
refactoring
technical debt
#616
opened May 3, 2023 by
fabianbs96
•
Draft
Update LLVMBasedAliasAnalysis
blocked
A prerequisite for this ticket prevents it from being worked on
cleanup
external bug
A bug in depending code
#610
opened Apr 14, 2023 by
fabianbs96
•
Draft
Swift Taint Tests
enhancement
New feature or request
extensive
Bigger piece of work
#592
opened Feb 24, 2023 by
janniclas
Loading…
Conan migration
dependencies
Pull requests that update a dependency file
enhancement
New feature or request
extensive
Bigger piece of work
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.