Code

Support for _Atomic#61

Code

Merged

michael-schwarz merged 6 commits intoextended_float_typesgoblint/cil:extended_float_typesfrom atomic_supportgoblint/cil:atomic_supportCopy head branch name to clipboardJan 10, 2022

+28-5

Commits

Commits on Jan 9, 2022

• Rudimentary support for _Atomic

  michael-schwarz

  committed
  b27cb66

  Copy full SHA for b27cb66

Commits on Jan 10, 2022

• Also support syntax _Atomic(...)

  michael-schwarz

  committed
  7504809

  Copy full SHA for 7504809

• Simplify printAtomic

  michael-schwarz

  committed
  5fa74ae

  Copy full SHA for 5fa74ae

• Be less restrictive for _Atomic types

  michael-schwarz

  committed
  73c9f24

  Copy full SHA for 73c9f24

• Rm spurious printAtomic

  michael-schwarz

  committed
  013d424

  Copy full SHA for 013d424

• Rm old comment

  michael-schwarz

  committed
  395a517

  Copy full SHA for 395a517