Code

More efficient breakString#177

Code

Open

michael-schwarz wants to merge 6 commits intodevelopgoblint/cil:developfrom issue_169goblint/cil:issue_169Copy head branch name to clipboard

+29-23

Commits

Commits on Jan 14, 2025

• More efficient breakString (#169)

  michael-schwarz

  committed
  6287828

  Copy full SHA for 6287828

• Pull out variable

  michael-schwarz

  committed
  2faf732

  Copy full SHA for 2faf732

• Fix duplicate lines

  michael-schwarz

  committed
  f99b977

  Copy full SHA for f99b977

• Fix acc position

  michael-schwarz

  committed
  98fb22b

  Copy full SHA for 98fb22b

• Indent

  michael-schwarz

  committed
  bd042da

  Copy full SHA for bd042da

Commits on Jan 17, 2025

• Simplify generated string

  michael-schwarz

  committed
  4d77053

  Copy full SHA for 4d77053