Search results

RFC: Clang support and (relatedly) simplifying Machdep

Status: Open.

#228 In goblint/cil;

· stephenrkell opened on Apr 29, 2026

Add attribute goblint_cil_pulledup to static variables that are not globals

Status: Open.

Task

#225 In goblint/cil;

· michael-schwarz opened on Apr 12, 2026

Handling of compatible structure declarations

c23

Status: Open.

#220 In goblint/cil;

· jprotopopov-ut opened on Mar 12, 2026

Locations are offset due to macro expansion

Status: Open.

Bug

#214 In goblint/cil;

· sim642 opened on Jan 23, 2026

Locations are offset due to lexer misuse in parser actions

Status: Open.

Bug

#213 In goblint/cil;

· sim642 opened on Jan 23, 2026

Incorrect integer promotion for bit-fields

c23

Status: Open.

Bug

#212 In goblint/cil;

· jprotopopov-ut opened on Jan 21, 2026

__Float32x4_t and __Float64x2_t support

Status: Open.

Feature

#196 In goblint/cil;

· sim642 opened on Sep 23, 2025

Don't silently truncate integer constants

Status: Open.

Bug

#194 In goblint/cil;

· sim642 opened on Sep 3, 2025

GCC 15.1.1 support: nullptr

c23

Status: Open.

Feature

#182 In goblint/cil;

· Robotechnic opened on Jun 17, 2025

·  

2.1.1

Fail to build on Ubuntu 18.04 64bits

bug

question

setup

Status: Open.

#174 In goblint/cil;

· mingodad opened on Nov 1, 2024

Avoid unnecessary temporary variable for initializers

enhancement

Status: Open.

#163 In goblint/cil;

· sim642 opened on Jan 24, 2024

Remove annoying integer casts from pointer equality checks

cleanup

Status: Open.

#162 In goblint/cil;

· sim642 opened on Jan 24, 2024