Code

irept-related fixes [blocks: #2035]#3606

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:irep-related-fixestautschnig/cbmc:irep-related-fixesCopy head branch name to clipboard

Dec 20, 2018

Commits

Commits on Dec 20, 2018

• Add missing include

  Show description for 28ea484
  tautschnig

  committed
  28ea484

  Copy full SHA for 28ea484

• Fix reserve counts in irep_hash_container_baset::pack

  Show description for fba48d3
  tautschnig

  committed
  fba48d3

  Copy full SHA for fba48d3

• Fix to_be_merged_irept::operator==

  Show description for 3007332
  tautschnig

  committed
  3007332

  Copy full SHA for 3007332

• merge_(full_)irept: Move the newly created irept

  Show description for d4649bc
  tautschnig

  committed
  d4649bc

  Copy full SHA for d4649bc