Code

Document symex instructions#7497

Code

Merged

peterschrammel merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:document_symex_instructionsNlightNFotis/cbmc:document_symex_instructionsCopy head branch name to clipboard

Feb 28, 2023

Commits

Commits on Feb 9, 2023

• Add some high-level documentation on `symex` and GOTO-program instructions.

  NlightNFotis

  committed
  1eb26aa

  Copy full SHA for 1eb26aa

Commits on Feb 16, 2023

• Removed trailing # from markdown

  

  Enrico Steffinlongo

  committed
  2c5fa86

  Copy full SHA for 2c5fa86

Commits on Feb 17, 2023

• Addressed some PR reviews comment

  

  Enrico Steffinlongo

  committed
  a4464fb

  Copy full SHA for a4464fb