Skip to content

Pull requests: goblint/analyzer

New pull request New
31 Open 1,061 Closed
31 Open 1,061 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix Vojdani privatization protected variables in witnesses bug pr-dependency Depends or builds on another PR, which should be merged before sv-comp SV-COMP (analyses, results), witnesses
#1789 opened Jul 23, 2025 by sim642 Loading… SV-COMP 2026
TD Parallel Base
#1783 opened Jul 16, 2025 by arkocal • Draft
sparseOctagons: a new sparse implementation of Miné's Octagons in progress performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1776 opened Jul 3, 2025 by DrMichaelPetter • Draft
@DrMichaelPetter
5
Chages in the error notation usability
#1769 opened Jun 26, 2025 by Robotechnic Loading…
3
New Analysis combining Linear Two-Variable Equalities with other domains relational Relational analyses (Apron, affeq, lin2var) student-job
#1765 opened Jun 23, 2025 by leunam99 Loading…
22
Output g2html directly cleanup Refactoring, clean-up performance Analysis time, memory usage setup Dependencies, CI, releasing
#1752 opened May 23, 2025 by sim642 Loading…
2 of 3 tasks
13
Lab Course SoSe2025 - Pentagon Domain feature in progress relational Relational analyses (Apron, affeq, lin2var) student-job
#1740 opened May 7, 2025 by feniup Loading…
39
Improve int domain bitwise operators, support struct bitfields feature precision student-job sv-comp SV-COMP (analyses, results), witnesses
#1739 opened May 5, 2025 by H-Innos Loading… SV-COMP 2026
@sim642
16
Experiment with unassume for mutex analysis feature performance Analysis time, memory usage proof-of-concept sv-comp SV-COMP (analyses, results), witnesses
#1715 opened Mar 20, 2025 by sim642 • Draft
3 tasks
Add explicit W set to base protection privatization precision
#1693 opened Feb 20, 2025 by sim642 Loading…
5
Cleanup some option related code cleanup Refactoring, clean-up
#1689 opened Feb 18, 2025 by michael-schwarz Loading…
8
Replace int -> _Bool in goblint stubs arguments bug precision
#1684 opened Feb 17, 2025 by sim642 • Draft
4 tasks done
@sim642
2
Add abstract interface to Invariant cleanup Refactoring, clean-up sv-comp SV-COMP (analyses, results), witnesses type-safety Type-safety improvements
#1668 opened Jan 31, 2025 by sim642 • Draft
2 tasks
4
Staging for Race Digests benchmarking feature in progress
#1666 opened Jan 29, 2025 by michael-schwarz • Draft
2
Minimize unnecessary casts and check for overflows in witness invariants explainability pr-dependency Depends or builds on another PR, which should be merged before relational Relational analyses (Apron, affeq, lin2var) sv-comp SV-COMP (analyses, results), witnesses
#1665 opened Jan 27, 2025 by karoliineh Loading…
1 of 4 tasks
SV-COMP 2026
@karoliineh
6
Avoid spurious writes for invariants in base mutex-meet-tid precision
#1653 opened Jan 9, 2025 by sim642 • Draft
1 of 3 tasks
4
Linear Two Variable Equality Domain Refining Value Domain in progress precision relational Relational analyses (Apron, affeq, lin2var)
#1635 opened Nov 29, 2024 by DrMichaelPetter • Draft
@DrMichaelPetter
4
mine-W privatization undermines Miné, lock is less precise than mine/protection bug precision
#1613 opened Nov 1, 2024 by sim642 • Draft
2 tasks done
2
Exclude multithreaded main-main races by threadflag precision
#1589 opened Oct 2, 2024 by sim642 • Draft
3
Try to fix sv-benchmarks termination-restricted-15/IntPath Apron normalization precision relational Relational analyses (Apron, affeq, lin2var)
#1585 opened Sep 30, 2024 by sim642 • Draft
Refactor writing to pointers bug cleanup Refactoring, clean-up
#1531 opened Jul 1, 2024 by karoliineh • Draft
1 task
2
5
Remove restriction that no loop unrolling is done when breaks are in the loop precision sv-comp SV-COMP (analyses, results), witnesses
#1518 opened Jun 19, 2024 by karoliineh • Draft SV-COMP 2026
@karoliineh
2
Implement lookahead widening feature precision student-job
#1484 opened May 24, 2024 by RonaldJudin • Draft
4 of 7 tasks
@sim642
2
Handle operations on the addresses of non-array types bug
#1480 opened May 23, 2024 by karoliineh Loading…
1
4
Type-safe global query system cleanup Refactoring, clean-up type-safety Type-safety improvements
#1423 opened Apr 22, 2024 by sim642 • Draft
1 of 3 tasks
@sim642
8
ProTip! Updated in the last three days: updated:>2025-07-22.