Code

Improved quantifier implementation#245

Code

Closed

theyoucheng wants to merge 8 commits intodiffblue:masterdiffblue/cbmc:masterfrom

theyoucheng:quantifiertheyoucheng/cbmc:quantifierCopy head branch name to clipboard

Commits

Commits on Oct 3, 2016

• Imporved the support for quantifiers.

  theyoucheng

  committed
  942982b

  Copy full SHA for 942982b

Commits on Oct 4, 2016

• Added the support for quantifier variable with typecast.

  theyoucheng

  committed
  13145ba

  Copy full SHA for 13145ba

• Resolved the Travis checkproblem "?"

  theyoucheng

  committed
  36ac532

  Copy full SHA for 36ac532

• Adjusted the naming.

  theyoucheng

  committed
  855c00c

  Copy full SHA for 855c00c

Commits on Oct 5, 2016

• Removed the get_quantifier_body method.

  theyoucheng

  committed
  be47919

  Copy full SHA for be47919

• Added more regression tests on quantifiers

  theyoucheng

  committed
  cdbc942

  Copy full SHA for cdbc942

• Merge branch 'quantifier' of https://github.com/theyoucheng/cbmc into quantifier

  theyoucheng

  committed
  7bd5089

  Copy full SHA for 7bd5089

Commits on Oct 10, 2016

• Added the check for a valid range of quantifier variables.

  theyoucheng

  committed
  fe151a5

  Copy full SHA for fe151a5