Skip to content

Pull requests: cil-project/cil

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

heapify: Include <stdlib.h> in generated C code
#53 opened Apr 24, 2023 by fweimer-rh Loading…
Bytes
#42 opened May 24, 2018 by zkincaid Loading…
Address various deprecation warnings.
#40 opened Feb 1, 2018 by clegoues Loading…
fix for OCaml 4.06.0 (-safe-string is the default)
#38 opened Nov 28, 2017 by vogler Loading…
keep some string for truncated integer constants
#37 opened Nov 28, 2017 by vogler Loading…
Ciltrace
#35 opened Sep 1, 2017 by jrrk Loading…
Load binary files without global state conflicts
#26 opened Apr 18, 2016 by scolin Loading…
Ptanal polishing
#13 opened Jul 5, 2014 by cspiel Loading…
ProTip! Exclude everything labeled bug with -label:bug.