Code

Unicode for format_expr#2751

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

unicode-formatdiffblue/cbmc:unicode-formatCopy head branch name to clipboard

Aug 28, 2018

Commits

Commits on Aug 16, 2018

• format_expr now produces unicode

  

  Daniel Kroening

  committed
  963b866

  Copy full SHA for 963b866

Commits on Aug 28, 2018

• draw Gentzen turnstile using Unicode

  

  Daniel Kroening

  committed
  f2fa169

  Copy full SHA for f2fa169

• use status() to output VCCs

  

  Daniel Kroening

  committed
  86aea9b

  Copy full SHA for 86aea9b