Skip to content

Pull requests: goblint/cil

New pull request New
8 Open 130 Closed
8 Open 130 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 Pure instr bug
#232 opened Jul 20, 2026 by sim642 Member • Draft 2.2.0
1
2
Label asconst and machdep arguments to avoid mixups cleanup
#230 opened May 22, 2026 by sim642 Member • Draft 2.2.0
Fix renaming bug triggered by static locals hiding other locals/formals. bug
#229 opened May 13, 2026 by difcsi Loading…
1
Fix incorrect integer promotion for bit-fields
#218 opened Mar 12, 2026 by Copilot AI Loading… 2.2.0
1
@michael-schwarz
22
Fold constant conditional expressions, even without lowerConstants bug
#215 opened Jan 28, 2026 by sim642 Member • Draft
1 task
2.2.0
Add a stub of __context__ builtin from kernel's sparse enhancement
#208 opened Jan 14, 2026 by jprotopopov-ut Collaborator • Draft 2.2.0
3
Implement goto labels from GCC extended inline assembly syntax. enhancement
#203 opened Jan 14, 2026 by jprotopopov-ut Collaborator Loading… 2.2.0
1
@sim642
26
first step towards nixos support setup
#198 opened Dec 3, 2025 by redianthus Loading…
ProTip! What’s not been updated in a month: updated:<2026-06-25.