Code

Update and fix gcc builtins#337

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:get-gcc-builtinstautschnig/cbmc:get-gcc-builtinsCopy head branch name to clipboard

Jan 5, 2017

Commits

Commits on Jan 3, 2017

• Improvements and fixes of builtin-functions converter

  tautschnig

  committed
  2ab8a8e

  Copy full SHA for 2ab8a8e

• Updated/fixed IA32 GCC built-ins

  Show description for 1cb63cc
  tautschnig

  committed
  1cb63cc

  Copy full SHA for 1cb63cc