Code

Goto analyzer 5 part2#961

Code

Merged

kroening merged 6 commits intodiffblue:masterdiffblue/cbmc:masterfrom

martin-cs:goto-analyzer-5-part2martin-cs/cbmc:goto-analyzer-5-part2Copy head branch name to clipboard

May 24, 2017

Commits

Commits on May 24, 2017

• Add a utility function to replace_symbol.

  

  martin

  committed
  8486086

  Copy full SHA for 8486086

• Add function header that was omitted in the previous merge.

  

  martin

  committed
  7468205

  Copy full SHA for 7468205

• Move the default implementations of output_json and output_xml into ai.cpp.

  Show description for ef406a0
  

  martin

  committed
  ef406a0

  Copy full SHA for ef406a0

• Make evaluation and/or simplification of conditions/expressions an ai domain operation.

  

  Martin Brain

  authored and

  martin

  committed
  050cc59

  Copy full SHA for 050cc59

• Implement ai_simplify for intervals.

  

  martin

  committed
  409d6ef

  Copy full SHA for 409d6ef

• Implement ai_simplify for the constant domain.

  

  Martin Brain

  authored and

  martin

  committed
  c64448b

  Copy full SHA for c64448b