Code

Refactor/virtual register languages#6220

Code

Merged

martin-cs merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

martin-cs:refactor/virtual_register_languagesmartin-cs/cbmc:refactor/virtual_register_languagesCopy head branch name to clipboard

Aug 3, 2021

Commits

Commits on Aug 3, 2021

• Correctly guard the use of the JSIL language

  

  martin

  committed
  4042fbb

  Copy full SHA for 4042fbb

• Separate out goto_analyzer's register_languages as with other tools

  

  martin

  committed
  ff4797e

  Copy full SHA for ff4797e

• register_languages is now an interface not just a convention

  

  martin

  committed
  d8c78b0

  Copy full SHA for d8c78b0

• Make sure that member functions are correctly marked as override

  Show description for b16a5fc
  

  martin

  committed
  b16a5fc

  Copy full SHA for b16a5fc

• Add override to register_languages in the Java tools

  

  martin

  committed
  021116b

  Copy full SHA for 021116b