Code

SMT2: Efficient Letification#2271

Code

Merged

tautschnig merged 5 commits intodevelopdiffblue/cbmc:developfrom

letificationdiffblue/cbmc:letificationCopy head branch name to clipboard

Jun 4, 2018

Commits

Commits on Jun 1, 2018

• let_count_idt is now a struct

  

  Daniel Kroening

  committed
  0c26a53

  Copy full SHA for 0c26a53

• use std::size_t for container sizes

  

  Daniel Kroening

  committed
  45436ce

  Copy full SHA for 45436ce

• bugfix: irep_hash_containert now keeps a copy of the contained ireps

  

  Daniel Kroening

  committed
  da0adfe

  Copy full SHA for da0adfe

• added irep_hash_mapt

  

  Daniel Kroening

  committed
  9a0ffae

  Copy full SHA for 9a0ffae

Commits on Jun 2, 2018

• letify: use irep_hash_mapt when hashing is expensive

  Show description for 022846a
  

  Daniel Kroening

  committed
  022846a

  Copy full SHA for 022846a