Code

Machine learning support#633

Code

Closed

Degiorgio wants to merge 16 commits intodiffblue:developdiffblue/cbmc:developfrom

Degiorgio:machine-learning-supportDegiorgio/cbmc:machine-learning-supportCopy head branch name to clipboard

Commits

Commits on Mar 7, 2017

• const_hash for irep and dstring

  dcattaruzza

  committed
  f5f7b24

  Copy full SHA for f5f7b24

• goto-template const_hash

  dcattaruzza

  committed
  23287ed

  Copy full SHA for 23287ed

• fixed missing and duplicate errors caused on merge

  dcattaruzza

  committed
  456088a

  Copy full SHA for 456088a

Commits on Mar 8, 2017

• Minor change that exposes some typedefs and internal variables

  Degiorgio

  committed
  ddc580d

  Copy full SHA for ddc580d

Commits on Mar 9, 2017

• Variable instrumentation code.

  Degiorgio

  committed
  928865f

  Copy full SHA for 928865f

• Tracking progression of coverage.

  Degiorgio

  committed
  611c905

  Copy full SHA for 611c905

Commits on Mar 13, 2017

• Simplified and removed C-specific instrumentation code from language_ui.cpp

  Degiorgio

  committed
  def160b

  Copy full SHA for def160b

Commits on Mar 14, 2017

• Printing of coverage goals has been removed from bmc_cover.cpp

  Degiorgio

  committed
  14fde02

  Copy full SHA for 14fde02

• CPPLINT conformance

  Degiorgio

  committed
  09565f7

  Copy full SHA for 09565f7

Commits on Mar 15, 2017

• Removed changes to langapi, minor changes to util/source_location as requested by reviewer

  Degiorgio

  committed
  7d6191b

  Copy full SHA for 7d6191b

• Renamed const_hash to stable_hash for clarity. Stable hash is used when there is a need to identify goto-program hashes across commits (of the target software). This is useful for example in differ…

  Show description for d5691f6
  Degiorgio

  committed
  d5691f6

  Copy full SHA for d5691f6

Commits on May 3, 2017

• Removed 'is_built_in' function.

  Degiorgio

  committed
  3ceed49

  Copy full SHA for 3ceed49

• Removed unnecessary include directive.

  Degiorgio

  committed
  d0a5d31

  Copy full SHA for d0a5d31

Commits on May 4, 2017

• Removed extra blank line.

  Degiorgio

  committed
  3c33f66

  Copy full SHA for 3c33f66

• Fix to comment in stable_hash

  dcattaruzza

  committed
  27da466

  Copy full SHA for 27da466

• Merge branch 'machine-learning-support' of https://github.com/Degiorgio/cbmc into machine-learning-support

  dcattaruzza

  committed
  e47fd39

  Copy full SHA for e47fd39