Code

Clean up decision_proceduret#4440

Code

Merged

peterschrammel merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:clean-up-decision-procedurepeterschrammel/cbmc:clean-up-decision-procedureCopy head branch name to clipboard

Mar 27, 2019

Commits

Commits on Mar 27, 2019

• Move decision_proceduret into solvers/prop

  Show description for 66bcf44
  peterschrammel

  committed
  66bcf44

  Copy full SHA for 66bcf44

• Move get_number_of_solver_calls into decision_proceduret

  Show description for 77e1277
  peterschrammel

  committed
  77e1277

  Copy full SHA for 77e1277

• Move literal convert/get to decision_proceduret

  Show description for ab69742
  peterschrammel

  committed
  ab69742

  Copy full SHA for ab69742

• Make dec_solve protected

  Show description for 5fad3f1
  peterschrammel

  committed
  5fad3f1

  Copy full SHA for 5fad3f1

• Clean up and document decision_proceduret

  Show description for 3a68094
  peterschrammel

  committed
  3a68094

  Copy full SHA for 3a68094

• Remove unused operator

  Show description for c56f992
  peterschrammel

  committed
  c56f992

  Copy full SHA for c56f992