Code

OpenBSD compatibility#4053

Code

Merged

tautschnig merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

nanolith:openbsd_compatibilitynanolith/cbmc:openbsd_compatibilityCopy head branch name to clipboard

Feb 6, 2019

Commits

Commits on Feb 3, 2019

• Make the build compatible with OpenBSD 6.4.

  nanolith

  committed
  d50f3f3

  Copy full SHA for d50f3f3

• Clang on OpenBSD does not use GNU.

  nanolith

  committed
  b811680

  Copy full SHA for b811680

• Cleaned up comment as per review.

  nanolith

  committed
  3911959

  Copy full SHA for 3911959

• Simplified OpenBSD stdio compatibility.

  Show description for 0612be0
  nanolith

  committed
  0612be0

  Copy full SHA for 0612be0

Commits on Feb 6, 2019

• Fixed clang-format issues.

  nanolith

  committed
  75cc910

  Copy full SHA for 75cc910

• Fixed clang format issues.

  nanolith

  committed
  3236da7

  Copy full SHA for 3236da7