Code

SMT2 support for unbounded integers#1779

Code

Merged

kroening merged 7 commits intodevelopdiffblue/cbmc:developfrom

smt2-integersdiffblue/cbmc:smt2-integersCopy head branch name to clipboard

Feb 20, 2018

Commits

Commits on Feb 12, 2018

• use a ranged for

  

  Daniel Kroening

  committed
  698ccdd

  Copy full SHA for 698ccdd

• fixes for integers in SMT2

  Show description for 12ae728
  

  Daniel Kroening

  committed
  12ae728

  Copy full SHA for 12ae728

• + is multi-ary in SMT-LIB2

  

  Daniel Kroening

  committed
  57ecf15

  Copy full SHA for 57ecf15

• treat real and integer as 'numeric' in C front-end

  

  Daniel Kroening

  committed
  dea2592

  Copy full SHA for dea2592

Commits on Feb 19, 2018

• fix: add missing integer casts and operations

  Show description for a827c77
  

  polgreen

  authored and

  Daniel Kroening

  committed
  a827c77

  Copy full SHA for a827c77

• get values for nondet symbols

  

  polgreen

  authored and

  Daniel Kroening

  committed
  1ebec11

  Copy full SHA for 1ebec11

• Fix CMakeLists to correctly pass test exclusion flags

  chrisr-diffblue

  committed
  897e29e

  Copy full SHA for 897e29e