Code

RFC: Ranged for#333

Code

Merged

kroening merged 8 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:ranged-fortautschnig/cbmc:ranged-forCopy head branch name to clipboard

Jan 6, 2017

Commits

Commits on Jan 5, 2017

• Use string constructor instead of for loop

  tautschnig

  committed
  53b665b

  Copy full SHA for 53b665b

• Fail on duplicate struct members

  Show description for 60ad95c
  tautschnig

  committed
  60ad95c

  Copy full SHA for 60ad95c

• Code simplification

  tautschnig

  committed
  1814ffb

  Copy full SHA for 1814ffb

• Use ranged-for

  Show description for 11e960c
  tautschnig

  committed
  11e960c

  Copy full SHA for 11e960c

• Use const references where possible

  Show description for 1f4be1e
  tautschnig

  committed
  1f4be1e

  Copy full SHA for 1f4be1e

• Use forall_goto_functions, forall_goto_program_instructions

  tautschnig

  committed
  91430c6

  Copy full SHA for 91430c6

• Adjust spacing, line breaks to coding guidelines

  Show description for 806d4ab
  tautschnig

  committed
  806d4ab

  Copy full SHA for 806d4ab

• Header cleanup

  tautschnig

  committed
  e85e808

  Copy full SHA for e85e808