Code

Implement bswap in SAT back-end#1637

Code

Merged

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bswaptautschnig/cbmc:bswapCopy head branch name to clipboard

Jan 30, 2018

Commits

Commits on Jan 10, 2018

• Introduce bswap_exprt

  Show description for 4f37035
  tautschnig

  committed
  4f37035

  Copy full SHA for 4f37035

• Implement bswap in SAT back-end

  Show description for 05bc9ed
  tautschnig

  committed
  05bc9ed

  Copy full SHA for 05bc9ed

• C library: network byteorder functions

  Show description for d16a918
  tautschnig

  committed
  d16a918

  Copy full SHA for d16a918