Code

Remove dead code in type propagation#414

Code

Merged

ebehner merged 3 commits intomainfkie-cad/dewolf:mainfrom type-propagation-dead-codefkie-cad/dewolf:type-propagation-dead-codeCopy head branch name to clipboardJun 26, 2024

+2-4

Commits

Commits on Jun 6, 2024

• Uncomment unused code which is expensive

  rihi

  committed
  ddac1be

  Copy full SHA for ddac1be

Commits on Jun 26, 2024

• Remove commented code

  rihi

  committed
  b5e0d31

  Copy full SHA for b5e0d31

• Merge branch 'main' into type-propagation-dead-code

  ebehner

  authored
  563b71b

  Copy full SHA for 563b71b