Code

Support for C11#24

Code

Open

michael-schwarz wants to merge 17 commits intodevelopgoblint/cil:developfrom c11goblint/cil:c11Copy head branch name to clipboard

+1,557-205

Commits

Commits on Jun 30, 2020

• c99 and noreturn

  

  Baris Coslu

  committed
  0b9f195

  Copy full SHA for 0b9f195

Commits on Jul 29, 2020

• char16_t and char32_t character constants

  coslu

  committed
  6089339

  Copy full SHA for 6089339

• u8 string literal prefix

  coslu

  committed
  2621ed1

  Copy full SHA for 2621ed1

Commits on Aug 16, 2020

• _Thread_local and wide strings

  coslu

  committed
  3919a32

  Copy full SHA for 3919a32

Commits on Aug 20, 2020

• _Alignof, _Alignas and wide string fix

  coslu

  committed
  1df5df0

  Copy full SHA for 1df5df0

Commits on Sep 7, 2020

• generic

  coslu

  committed
  ad69b97

  Copy full SHA for ad69b97

Commits on Nov 10, 2020

• Final changes and fix warnings for C11

  coslu

  committed
  898fdf1

  Copy full SHA for 898fdf1

Commits on Nov 14, 2020

• threadlocal bug fix

  coslu

  committed
  2f5569c

  Copy full SHA for 2f5569c

Commits on Nov 16, 2020

• Add -fcommon flag to gcc invocations in tests.

  Show description for 5545056
  jerhard

  committed
  5545056

  Copy full SHA for 5545056

Commits on Dec 4, 2020

• Merge branch 'develop' into c11

  michael-schwarz

  committed
  c6ba7d4

  Copy full SHA for c6ba7d4

• Remove comment from testrunc99/c99-universal-character-names

  michael-schwarz

  committed
  2043440

  Copy full SHA for 2043440

Commits on Dec 8, 2020

• Run autoconf

  michael-schwarz

  committed
  499cffd

  Copy full SHA for 499cffd

• Typo

  michael-schwarz

  committed
  2340a04

  Copy full SHA for 2340a04

• Don't include uchar.h for OS X

  michael-schwarz

  committed
  0498ecc

  Copy full SHA for 0498ecc

• OS X: Manually define char16_t and char32_t

  michael-schwarz

  committed
  9d75c00

  Copy full SHA for 9d75c00

• Include stdint.h

  michael-schwarz

  committed
  f2d55a8

  Copy full SHA for f2d55a8

• Ad comment about missing uchar header on Mac

  michael-schwarz

  committed
  f116315

  Copy full SHA for f116315