Skip to content

Pull requests: goblint/cil

New pull request New
12 Open 125 Closed
12 Open 125 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

Label asconst and machdep arguments to avoid mixups cleanup
#230 opened May 22, 2026 by sim642 Member • Draft
Fix renaming bug triggered by static locals hiding other locals/formals.
#229 opened May 13, 2026 by difcsi Loading…
Accept repeated prototypes for extern inline functions, without dropping the prototyped function
#227 opened Apr 29, 2026 by stephenrkell Loading…
1
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…
Support for parsing extended assembly code including asm goto c11 enhancement
#161 opened Jan 11, 2024 by WernerDrasche Loading…
1
@jerhard
54
ProTip! Adding no:label will show everything without a label.