Skip to content

Pull requests: opalj/opal

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
Sort

Pull requests list

#223 add requirements method to EntryPointFinder trait enhancement New feature or request
#244 by JuliusNmn was merged Dec 10, 2024 Loading…
Fix isIdle in PKESequentialPropertyStore
#243 by errt was merged Dec 13, 2024 Loading…
Adapt FPCF IT Tests to new Reachable Methods
#238 by johannesduesing was merged Nov 14, 2024 Loading…
Fix bug in detection of static initializers for classes bug Something isn't working
#237 by johannesduesing was merged Nov 13, 2024 Loading…
Wrap support library paths in quotation marks
#232 by errt was merged Nov 13, 2024 Loading…
TypeIterator for processing Runnable in Thread.start
#229 by errt was merged Nov 13, 2024 Loading…
Add proper equals method to class DVar
#225 by smeyer198 was merged Nov 7, 2024 Loading…
Feature/android call graph
#222 by JuliusNmn was merged Dec 13, 2024 Loading…
Fix output for empty high-soundness-mode string
#219 by errt was merged Sep 24, 2024 Loading…
Make evaluationDepth thread-local and thus thread-safe
#218 by errt was merged Sep 19, 2024 Loading…
Fix immutability runner
#217 by errt was merged Oct 4, 2024 Loading…
Update publication preprints
#216 by errt was merged Sep 10, 2024 Loading…
Fix default interface methods
#215 by errt was merged Nov 12, 2024 Loading…
Fix resolution of Points-To-CG modules
#213 by errt was merged Sep 9, 2024 Loading…
Turn assertion into logged error
#212 by errt was merged Sep 9, 2024 Loading…
Remove absolute path to .scalafmt
#209 by errt was merged Sep 5, 2024 Loading…
Website update
#206 by errt was merged Aug 12, 2024 Loading…
Use FPCFAnalysesRegistry in call-graph runner
#205 by errt was merged Aug 12, 2024 Loading…
Configurable pointsto modules
#204 by errt was merged Sep 3, 2024 Loading…
Minor improvements
#202 by errt was merged Aug 5, 2024 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.