Code

remove uses of base_type_eq#6989

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

remove_base_typediffblue/cbmc:remove_base_typeCopy head branch name to clipboard

Jul 5, 2022

Commits

Commits on Jul 5, 2022

• remove uses of base_type_eq

  Show description for 4bc3981
  kroening

  committed
  4bc3981

  Copy full SHA for 4bc3981

• remove namespacet from does_remove_constt

  kroening

  committed
  b70d8db

  Copy full SHA for b70d8db

• remove base_type_eq

  Show description for e42aaf7
  kroening

  committed
  e42aaf7

  Copy full SHA for e42aaf7