Skip to content

Pull requests: goblint/analyzer

New pull request New
43 Open 1,166 Closed
43 Open 1,166 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

Bachelor's Thesis – tnilboG: Extending Goblint Analyzer with Weakest Preconditions feature student-job
#1946 opened Feb 28, 2026 by emwint • Draft
10 tasks
19
Bump actions/upload-artifact from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1945 opened Feb 26, 2026 by dependabot bot Loading…
Master's Thesis "Garbage-Collector-Aware Static Analysis of OCaml C-stubs" feature in progress student-job
#1944 opened Feb 10, 2026 by RonaldJudin • Draft
@sim642
9
Bachelor's Thesis "Synthesizing Ranking Functions for LASW programs with Goblint" feature student-job
#1941 opened Feb 5, 2026 by alexandermazur1 • Draft
1
@alexandermazur1
31
Add MCP server for LLM interaction with Goblint
#1938 opened Feb 3, 2026 by Copilot AI • Draft
11 tasks done
1
@michael-schwarz
9
Disable constant folding to not miss checks in constant expressions bug explainability pr-dependency Depends or builds on another PR, which should be merged before
#1933 opened Jan 28, 2026 by sim642 • Draft
1 of 3 tasks
2
Warn when ana.opt.hashcons is disabled but implicitly overridden
#1921 opened Jan 20, 2026 by Copilot AI Loading…
6 tasks done
1
@michael-schwarz
7
HB-relationship involving thread creations while mutexes are held feature precision student-job
#1913 opened Jan 17, 2026 by dabund24 Loading…
1
43
Add warnings about missing function declarations bug testing
#1911 opened Jan 16, 2026 by sim642 • Draft v2.8.0 Clumsy Clurichaun
Remove division by zero error message during base invariant cleanup Refactoring, clean-up
#1892 opened Dec 3, 2025 by sim642 • Draft
1 task
2
Violation witness feasibility analysis using Witch feature sv-comp SV-COMP (analyses, results), witnesses
#1882 opened Nov 27, 2025 by karoliineh • Draft v2.8.0 Clumsy Clurichaun
3
Narrowing gas feature precision relational Relational analyses (Apron, affeq, lin2var)
#1879 opened Nov 21, 2025 by DrMichaelPetter Loading…
1
@DrMichaelPetter
15
Remove __annonCompField offsets from witness invariants bug sv-comp SV-COMP (analyses, results), witnesses
#1874 opened Nov 12, 2025 by sim642 • Draft
Fix C2PO witness invariant generation bug sv-comp SV-COMP (analyses, results), witnesses
#1868 opened Nov 7, 2025 by sim642 • Draft
Add hacks to support StrPtr indexing feature precision proof-of-concept
#1863 opened Nov 5, 2025 by sim642 • Draft
Prototype loop transition invariant generation feature proof-of-concept sv-comp SV-COMP (analyses, results), witnesses
#1849 opened Oct 23, 2025 by sim642 • Draft
2 tasks
SV-COMP 2027
Change jobs option default to 0 parallel Parallel Goblint performance Analysis time, memory usage usability
#1810 opened Aug 15, 2025 by sim642 Loading… v2.8.0 Clumsy Clurichaun
2
Forward Constraint System feature
#1800 opened Aug 1, 2025 by michael-schwarz • Draft
19
Replace eager show with lazy pretty during analysis bug cleanup Refactoring, clean-up performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
#1797 opened Jul 30, 2025 by sim642 Loading… v2.8.0 Clumsy Clurichaun
1
11
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
Make lines in warning output clickable in VS Code 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…
23
Lab Course SoSe2025 - Pentagon Domain feature in progress relational Relational analyses (Apron, affeq, lin2var) student-job
#1740 opened May 7, 2025 by feniup • Draft
71
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
ProTip! Add no:assignee to see everything that’s not assigned.