Skip to content

Pull requests: goblint/cil

New pull request New
8 Open 41 Closed
8 Open 41 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

Add goblint_cil_pulledup attribute to static local variables pulled up to global scope
#226 opened Apr 12, 2026 by Copilot AI Loading…
1
@michael-schwarz
Fix typedef/variable name conflict parsing error bug
#219 opened Mar 12, 2026 by Copilot AI Loading…
8 tasks done
1
@michael-schwarz
30
Fix incorrect integer promotion for bit-fields
#218 opened Mar 12, 2026 by Copilot AI Loading…
1
@michael-schwarz
17
Fold constant conditional expressions, even without lowerConstants bug
#215 opened Jan 28, 2026 by sim642 Member • Draft
1 task
Add a stub of __context__ builtin from kernel's sparse enhancement
#208 opened Jan 14, 2026 by jprotopopov-ut Collaborator • Draft 2.1.0
3
Implement goto labels from GCC extended inline assembly syntax. enhancement
#203 opened Jan 14, 2026 by jprotopopov-ut Collaborator Loading… 2.1.0
1
7
Support pure __builtin_bswap16 in switch cases bug enhancement
#202 opened Jan 9, 2026 by sim642 Member Loading…
first step towards nixos support setup
#198 opened Dec 3, 2025 by redianthus Loading…
ProTip! Adding no:label will show everything without a label.