Code

Add nonstd/optional.hpp library#1291

Code

Merged

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

LAJW:optionalCopy head branch name to clipboard

Sep 11, 2017

Commits

Commits on Sep 4, 2017

• Add nonstd/optional.hpp library

  

  Lukasz A.J. Wrona

  committed
  8584bb0

  Copy full SHA for 8584bb0

• Add unit tests for nonstd::optional

  

  Lukasz A.J. Wrona

  committed
  43d0602

  Copy full SHA for 43d0602

• Manually fix optional

  

  Lukasz A.J. Wrona

  committed
  4dbf939

  Copy full SHA for 4dbf939

• Move optional unit tests into util directory

  

  Lukasz A.J. Wrona

  committed
  ae584df

  Copy full SHA for ae584df