Code

Language mode utils#2115

Code

Merged

peterschrammel merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:language-mode-utilspeterschrammel/cbmc:language-mode-utilsCopy head branch name to clipboard

Apr 26, 2018

Commits

Commits on Apr 25, 2018

• Utility functions to get mode and language

  peterschrammel

  committed
  74c2c3d

  Copy full SHA for 74c2c3d

• Add more doxygen to language.h and mode.h

  peterschrammel

  committed
  2bdaafc

  Copy full SHA for 2bdaafc

• Add Makefile dependency for smt2_solver

  peterschrammel

  committed
  baa15f5

  Copy full SHA for baa15f5