Skip to content

Pull requests: goblint/cil

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

Remove hardcoded constant folding for unary minus in cabs2cil cleanup
#216 opened Jan 30, 2026 by karoliineh Loading…
Fold constant conditional expressions, even without lowerConstants bug
#215 opened Jan 28, 2026 by sim642 • Draft
1 task
Check _Static_assert c11 enhancement
#209 opened Jan 15, 2026 by sim642 Loading… 2.1.0
1
Add a stub of __context__ builtin from kernel's sparse enhancement
#208 opened Jan 14, 2026 by jprotopopov-ut • Draft 2.1.0
3
Implement goto labels from GCC extended inline assembly syntax. enhancement
#203 opened Jan 14, 2026 by jprotopopov-ut Loading… 2.1.0
1
7
Support pure __builtin_bswap16 in switch cases bug enhancement
#202 opened Jan 9, 2026 by sim642 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! Type g p on any issue or pull request to go back to the pull request listing page.