Code

Fix up the Windows CMake build#1639

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/windows-fixesreuk/cbmc:reuk/windows-fixesCopy head branch name to clipboard

Dec 6, 2017

Commits

Commits on Dec 6, 2017

• Fix 'missing return statement' errors in miniBDD_new

  reuk

  committed
  6388940

  Copy full SHA for 6388940

• Add Windows dependency information to the COMPILING file

  

  reuk

  authored and

  reuk

  committed
  adb7f55

  Copy full SHA for adb7f55

• Disable use of unistd in flex outputs

  Show description for 33d71aa
  reuk

  committed
  33d71aa

  Copy full SHA for 33d71aa

• Update appveyor config

  reuk

  committed
  6c3fb17

  Copy full SHA for 6c3fb17