Code

smt2: bswap and popcount#2246

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

z3-fpadiffblue/cbmc:z3-fpaCopy head branch name to clipboard

May 30, 2018

Commits

Commits on May 29, 2018

• smt2 implementation for bswap_exprt

  

  Daniel Kroening

  committed
  b75fcbc

  Copy full SHA for b75fcbc

Commits on May 30, 2018

• bswap_exprt now knows how many bits a byte has

  

  Daniel Kroening

  committed
  e8fa1c9

  Copy full SHA for e8fa1c9

• smt2 implementation for popcount_exprt

  

  Daniel Kroening

  committed
  d4abbea

  Copy full SHA for d4abbea