Code

Remove deprecated base_type_eq#5167

Code

Closed

LAJW wants to merge 4 commits intodevelopdiffblue/cbmc:developfrom

lajw/base_type_eqdiffblue/cbmc:lajw/base_type_eqCopy head branch name to clipboard

Commits

Commits on Oct 22, 2019

• Stop using base_type_eq

  Show description for 62d0b78
  

  Lukasz A.J. Wrona

  committed
  62d0b78

  Copy full SHA for 62d0b78

• Remove deprecated base_type

  Show description for 05edfa0
  

  Lukasz A.J. Wrona

  committed
  05edfa0

  Copy full SHA for 05edfa0

• Remove base_type.cpp from the Makefile

  Show description for 569606b
  

  Lukasz A.J. Wrona

  committed
  569606b

  Copy full SHA for 569606b

• Remove unused header

  

  Lukasz A.J. Wrona

  committed
  d8244f4

  Copy full SHA for d8244f4