Skip to content

Pull requests: secure-software-engineering/phasar

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
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Remove boost from BitVectorSet technical debt
#788 opened Aug 9, 2025 by fabianbs96 Loading…
GCC Compatibility bug Something isn't working technical debt
#787 opened Aug 3, 2025 by fabianbs96 Loading…
Update dependencies dependencies Pull requests that update a dependency file
#784 opened Jun 28, 2025 by fabianbs96 Loading…
Alias Iterator enhancement New feature or request usability
#783 opened Jun 28, 2025 by fabianbs96 Loading…
IDE Solver Strategy enhancement New feature or request
#669 opened Sep 21, 2023 by fabianbs96 Loading…
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 PhASAR 2603
ProTip! Follow long discussions with comments:>50.