issues
search
goblint
/
cil
C Intermediate Language
https://goblint.github.io/cil/
Other
40
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add enumerator attributes
#172
sim642
closed
1 month ago
3
Add assignment and floating-point constant attributes
#171
sim642
closed
1 month ago
4
Remove dynlink and findlib dependencies from goblint-cil library
#170
sim642
opened
1 month ago
0
`Pretty.text` very slow and uses a lot of memory
#169
michael-schwarz
opened
2 months ago
0
Everything fails on MacOS 14 because of attributes with assignment in time.h
#168
vesalvojdani
closed
1 month ago
0
Location fixes for Goblint YAML witness generation/validation
#167
sim642
closed
6 months ago
0
Fix first in location synthesizing
#166
sim642
closed
7 months ago
1
Remove unused `Libmaincil` module
#165
sim642
closed
7 months ago
2
Remove package guard against ARM64
#164
michael-schwarz
closed
1 month ago
4
Avoid unnecessary temporary variable for initializers
#163
sim642
opened
7 months ago
0
Remove annoying integer casts from pointer equality checks
#162
sim642
opened
7 months ago
0
Support for parsing extended assembly code including `asm goto`
#161
WernerDrasche
opened
8 months ago
9
Revert "Fix TCompLoop printing being stateful"
#160
michael-schwarz
closed
9 months ago
6
`Frontc.parse_standalone_exp` doesn't handle `typedef`-s
#159
sim642
opened
10 months ago
1
Mismerged functions with GCC transparent unions
#158
sim642
opened
11 months ago
0
Ignore top level qualifiers in `__builtin_types_compatible_p`
#157
karoliineh
closed
11 months ago
0
Add option `silenceLongDoubleWarning`
#156
michael-schwarz
closed
11 months ago
0
Add attribute `goblint_cil_nested` to local `varinfo`s that are not declared at top scope
#155
michael-schwarz
closed
11 months ago
0
Version 2.0.0 test failure on macos-homebrew
#154
sim642
opened
12 months ago
4
Test failures on oraclelinux-9 and freebsd
#153
sim642
opened
12 months ago
0
Add parsing support for 'asm inline', a few gcc builtin's and an error-state reset function
#151
emiljapelt
closed
1 year ago
2
Add parsing support for 'asm goto'
#150
emiljapelt
closed
7 months ago
5
Fix syntactic search
#147
stilscher
closed
1 year ago
7
Syntactic search does not find variable use
#146
stilscher
closed
1 year ago
0
Keep side-effect-less expression statements when wanted
#145
sim642
opened
1 year ago
1
Missing escape in odoc comment
#144
michael-schwarz
closed
1 year ago
0
"Invalid call to builtin_object_size" warning
#143
nathanschmidt
opened
1 year ago
0
Extern inline functions are handled incorrectly when `merge_inlines` is `false`
#142
karoliineh
opened
1 year ago
3
Add "Goblint" to Generated by comments
#141
sim642
closed
1 year ago
2
Keep empty ifs when wanted
#140
sim642
closed
1 year ago
0
Preserve `fundec` location in merger
#139
sim642
closed
1 year ago
0
fix: pass -s flag to emcc
#138
HakonHarnes
closed
1 year ago
2
[Bug] -S flags don't get passed to Emscripten
#137
HakonHarnes
closed
1 year ago
1
Option to silence `treating long double constant [...] as double constant at [...] (only relevant if first argument of CReal is used)`
#136
michael-schwarz
closed
11 months ago
5
Rename `Rmtmps` module to `RmUnused`
#135
just-max
closed
1 year ago
1
Fix `TCompLoop` printing being stateful
#134
sim642
closed
1 year ago
0
Fix `Pretty` not resetting all global state between calls
#133
sim642
closed
1 year ago
0
"Cannot represent the integer" errors in Concrat benchmarks
#132
sim642
opened
1 year ago
2
where are the libraries after opam install goblint-cil?
#131
nguyenthanhvuh
closed
1 year ago
3
Respect C11 `_Alignas(...)` for computing alignments
#130
michael-schwarz
closed
1 year ago
0
Add `return` statements in `noreturn` functions
#129
just-max
closed
1 year ago
2
Fix lib/perl5/patcher
#128
edwintorok
closed
1 year ago
1
Unbound module CIL
#127
nguyenthanhvuh
closed
1 year ago
4
Dynlink.error when compiling cil with dune following goblint
#126
guangshengfan
closed
1 year ago
3
Make more loop statement locations synthetic
#125
sim642
closed
1 year ago
0
Fix merging and renaming of inlines
#124
stilscher
closed
1 year ago
3
Only constant fold for `shitfleft` when defined
#123
michael-schwarz
closed
1 year ago
0
`constFold` unsound on signed int bit shift
#122
sim642
closed
1 year ago
0
Expose `populateLabelAlphaTable`
#121
michael-schwarz
closed
1 year ago
0
Cil keeps inline and non-inline function with same name
#120
jerhard
closed
1 year ago
3
Next