List view

Remove unused <code>Libmaincil</code> module

bug

cleanup

Status: Merged (completed).

goblint/cilnumber 165

#165 In goblint/cil;

· by sim642 was closed on Feb 10, 2024

Fix first in location synthesizing

bug

Status: Merged (completed).

goblint/cilnumber 166

#166 In goblint/cil;

· by sim642 was closed on Feb 10, 2024

Location fixes for Goblint YAML witness generation/validation

bug

Status: Merged (completed).

goblint/cilnumber 167

#167 In goblint/cil;

· by sim642 was closed on Mar 12, 2024

Add assignment and floating-point constant attributes

bug

Status: Merged (completed).

goblint/cilnumber 171

#171 In goblint/cil;

· by sim642 was closed on Jul 30, 2024

Remove package guard against ARM64

setup

Status: Closed (completed).

#164 In goblint/cil;

· by michael-schwarz was closed on Jul 30, 2024

Everything fails on MacOS 14 because of attributes with assignment in time.h

bug

Status: Closed (completed).

#168 In goblint/cil;

· by vesalvojdani was closed on Jul 30, 2024