Code

Merge master into test-gen-support#1267

Code

Merged

peterschrammel merged 82 commits intodiffblue:developdiffblue/cbmc:developfrom reuk:reuk/master-into-tgsreuk/cbmc:reuk/master-into-tgsCopy head branch name to clipboardAug 23, 2017

+1,865-2,587

Commits

Commits on Jul 19, 2017

• Handle array initialization with a non-array gracefully

  Show description for 9740142
  tautschnig

  committed
  9740142

  Copy full SHA for 9740142

Commits on Jul 20, 2017

• Documentation for goto_program_templatet and cfg_baset

  cesaro

  committed
  26e8fec

  Copy full SHA for 26e8fec

• added a non-recursive variant of APPLY

  

  Daniel Kroening

  committed
  564f64c

  Copy full SHA for 564f64c

• disable linter for assertions

  

  Daniel Kroening

  committed
  a71ca41

  Copy full SHA for a71ca41

Commits on Jul 24, 2017

• Support out-of-bounds checks on arrays of dynamic size

  Show description for d078dd8
  tautschnig

  committed
  d078dd8

  Copy full SHA for d078dd8

Commits on Aug 1, 2017

• test.pl - go through all child directories

  Show description for 4448258
  

  Lukasz A.J. Wrona

  committed
  4448258

  Copy full SHA for 4448258

• More complete modelling of fgets

  Show description for 6eef691
  tautschnig

  committed
  6eef691

  Copy full SHA for 6eef691

• Import getopt{,_long} and vasprintf models from SV-COMP/busybox

  Show description for f691135
  tautschnig

  committed
  f691135

  Copy full SHA for f691135

Commits on Aug 3, 2017

• Merge pull request diffblue#131 from tautschnig/struct-init-error

  Show description for 151efbc
  

  Daniel Kroening

  authored
  151efbc

  Copy full SHA for 151efbc

• increased version number in preparation for release 5.8

  

  Daniel Kroening

  committed
  eb96b70

  Copy full SHA for eb96b70

• Merge pull request diffblue#1144 from diffblue/miniBDD-non-recursive-apply

  Show description for 8e70eaa
  

  Daniel Kroening

  authored
  8e70eaa

  Copy full SHA for 8e70eaa

• fix for operator< on reverse_keyt in miniBDD, fixing segfault in ebmc

  

  Daniel Kroening

  committed
  439ef97

  Copy full SHA for 439ef97

• invariant_violated does not return

  

  Daniel Kroening

  committed
  393256f

  Copy full SHA for 393256f

• test for miniBDD

  

  Daniel Kroening

  committed
  ff945b3

  Copy full SHA for ff945b3

• Symex support for lhs-typecasts and side effects

  tautschnig

  committed
  879a47b

  Copy full SHA for 879a47b

• Extract elements of array, struct directly instead of simplifying

  Show description for 08f1a9e
  tautschnig

  committed
  08f1a9e

  Copy full SHA for 08f1a9e

• Removed redundant get_pc() (there is pc())

  tautschnig

  committed
  f281f88

  Copy full SHA for f281f88

• Fix symex thread statistics

  tautschnig

  committed
  52db9e4

  Copy full SHA for 52db9e4

• Extended symex progres statistics

  tautschnig

  committed
  c69a21b

  Copy full SHA for c69a21b

• Symex: output instruction processing and loop unwinding like CBMC

  Show description for acdc797
  tautschnig

  committed
  acdc797

  Copy full SHA for acdc797

• symex --max-search-time limit and cleanup

  Show description for 260e03d
  tautschnig

  committed
  260e03d

  Copy full SHA for 260e03d

• Perform function-pointer removal in symex

  tautschnig

  committed
  73adfb0

  Copy full SHA for 73adfb0

Commits on Aug 4, 2017

• Avoid using integer_typet where unsuitable

  Show description for e2ed0df
  tautschnig

  committed
  e2ed0df

  Copy full SHA for e2ed0df

• Merge pull request diffblue#1062 from diffblue/fix_for_miniBDD

  Show description for 0cad6f4
  

  Daniel Kroening

  authored
  0cad6f4

  Copy full SHA for 0cad6f4

• Merge pull request diffblue#151 from tautschnig/symex-improvements

  Show description for ea476f7
  

  Daniel Kroening

  authored
  ea476f7

  Copy full SHA for ea476f7

• Merge pull request diffblue#1167 from tautschnig/c-library-ext

  Show description for df81a9c
  

  Daniel Kroening

  authored
  df81a9c

  Copy full SHA for df81a9c

• Merge pull request diffblue#1035 from tautschnig/no_integer_typet

  Show description for bb9cef3
  

  Daniel Kroening

  authored
  bb9cef3

  Copy full SHA for bb9cef3

• Avoid spurious signed/unsigned comparison warnings

  Show description for a3578c0
  tautschnig

  committed
  a3578c0

  Copy full SHA for a3578c0

• Merge pull request diffblue#1205 from tautschnig/sign-compare-fix

  Show description for 652ea09
  

  Daniel Kroening

  authored
  652ea09

  Copy full SHA for 652ea09

• Merge pull request diffblue#1158 from tautschnig/array-bounds

  Show description for 76ae912
  

  Daniel Kroening

  authored
  76ae912

  Copy full SHA for 76ae912

• fix vacuous conjuncts

  

  Daniel Kroening

  committed
  de40333

  Copy full SHA for de40333

• Stop using C headers

  reuk

  committed
  548aeba

  Copy full SHA for 548aeba

• Update coding standard

  reuk

  committed
  33811ce

  Copy full SHA for 33811ce

• Enable extractbits over arbitrary types, fix byte extract omission

  Show description for 2f55076
  tautschnig

  committed
  2f55076

  Copy full SHA for 2f55076

• Merge pull request diffblue#1211 from tautschnig/fix-1209

  Show description for 9d3a99e
  

  Daniel Kroening

  authored
  9d3a99e

  Copy full SHA for 9d3a99e

Commits on Aug 5, 2017

• Merge pull request diffblue#1210 from reuk/stop-using-c-headers

  Show description for 4dd5405
  

  Daniel Kroening

  authored
  4dd5405

  Copy full SHA for 4dd5405

Commits on Aug 7, 2017

• Merge pull request diffblue#1188 from LAJW/any-desc

  Show description for b59d0c7
  tautschnig

  authored
  b59d0c7

  Copy full SHA for b59d0c7

Commits on Aug 8, 2017

• Merge pull request diffblue#1132 from cesaro/feature/documentation

  Show description for f97c169
  tautschnig

  authored
  f97c169

  Copy full SHA for f97c169

Commits on Aug 9, 2017

• remove dead comparison in simplifier

  

  Daniel Kroening

  committed
  2db41da

  Copy full SHA for 2db41da

• Merge branch 'master' of github.com:diffblue/cbmc

  

  Daniel Kroening

  committed
  00ead5b

  Copy full SHA for 00ead5b

• support clang's __builtin_flt_rounds

  

  Daniel Kroening

  committed
  d1a7403

  Copy full SHA for d1a7403

Commits on Aug 10, 2017

• simplifier: erase 'all ones' out of bitand

  

  Daniel Kroening

  committed
  60906b1

  Copy full SHA for 60906b1

• silence linter on builtin headers

  

  Daniel Kroening

  committed
  517e69f

  Copy full SHA for 517e69f

• Merge pull request diffblue#1225 from diffblue/builtin_flt_rounds

  Show description for 51cc77b
  tautschnig

  authored
  51cc77b

  Copy full SHA for 51cc77b

• Merge pull request diffblue#1226 from diffblue/simplify_bitand_all_ones

  Show description for e0a6bbd
  tautschnig

  authored
  e0a6bbd

  Copy full SHA for e0a6bbd

• tests from Dan

  

  Daniel Kroening

  committed
  240ae60

  Copy full SHA for 240ae60

Commits on Aug 11, 2017

• Add merge driver

  reuk

  committed
  4d1c26e

  Copy full SHA for 4d1c26e

• Merge pull request diffblue#1232 from reuk/reuk/add-merge-driver

  Show description for 0346dcd
  

  Daniel Kroening

  authored
  0346dcd

  Copy full SHA for 0346dcd

• make test less specific

  

  Daniel Kroening

  committed
  875377a

  Copy full SHA for 875377a

• source location of the generated 'default' label is now the end of the switch body instead of the swtich statement

  

  Daniel Kroening

  committed
  f2eff9d

  Copy full SHA for f2eff9d

Commits on Aug 14, 2017

• remove an old file

  

  Daniel Kroening

  committed
  a17dc61

  Copy full SHA for a17dc61

• add a location node for switch statements

  

  Daniel Kroening

  committed
  6870bb6

  Copy full SHA for 6870bb6

• Merge pull request diffblue#1234 from diffblue/switch_end_location

  Show description for 04804df
  

  Daniel Kroening

  authored
  04804df

  Copy full SHA for 04804df

Commits on Aug 15, 2017

• stronger typing of parameters

  

  Daniel Kroening

  committed
  ac97e13

  Copy full SHA for ac97e13

• a missing 'const'

  

  Daniel Kroening

  committed
  c531a0c

  Copy full SHA for c531a0c

• move include

  

  Daniel Kroening

  committed
  c16e8c2

  Copy full SHA for c16e8c2

• Deactivate unreachable code

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  9ea407b

  Copy full SHA for 9ea407b

• Remove unreachable code

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  5f1eda8

  Copy full SHA for 5f1eda8

• Fix class member initialization...

  Show description for e545f98
  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  e545f98

  Copy full SHA for e545f98

• Comment on uninitialized class members

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  4fc0edd

  Copy full SHA for 4fc0edd

• Removed unused class member

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  f0b1e36

  Copy full SHA for f0b1e36

• Comment regarding illegal iterator increment

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  8a0391d

  Copy full SHA for 8a0391d

• Ignore return value

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  e74c000

  Copy full SHA for e74c000

• Make truncation explicit

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  a8c640a

  Copy full SHA for a8c640a

• Use ID_C

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  403f1e4

  Copy full SHA for 403f1e4

Commits on Aug 16, 2017

• ensure initialization of PODs

  

  Daniel Kroening

  committed
  a057ef5

  Copy full SHA for a057ef5

Commits on Aug 17, 2017

• Fix accesses to erased elements

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  5919c5f

  Copy full SHA for 5919c5f

• Deactivate unused declaration

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  d580773

  Copy full SHA for d580773

• Remove comparison without effect

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  fdb5734

  Copy full SHA for fdb5734

• Whitespace cleanup

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  22b919f

  Copy full SHA for 22b919f

• Fix uninitialized class members

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  5ab5f3c

  Copy full SHA for 5ab5f3c

• Clean up initialization and unused constructors

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  ec6a400

  Copy full SHA for ec6a400

• Check return values of remove, rename and stat

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  2655d98

  Copy full SHA for 2655d98

• Replace asserts

  

  peterschrammel

  authored and

  Daniel Kroening

  committed
  6440fc2

  Copy full SHA for 6440fc2

Commits on Aug 20, 2017

• Test passes

  Show description for de3ad89
  tautschnig

  committed
  de3ad89

  Copy full SHA for de3ad89

• Merge the correct attribute node

  Show description for 1ab944e
  tautschnig

  committed
  1ab944e

  Copy full SHA for 1ab944e

• Merge pull request diffblue#1256 from tautschnig/c-attributes-fix

  Show description for b90c4a3
  

  Daniel Kroening

  authored
  b90c4a3

  Copy full SHA for b90c4a3

• new goto_convert API

  

  Daniel Kroening

  committed
  9623503

  Copy full SHA for 9623503

Commits on Aug 21, 2017

• clean out langapi/languages.h

  

  Daniel Kroening

  committed
  48c5b10

  Copy full SHA for 48c5b10

Commits on Aug 22, 2017

• Merge master into tgs

  reuk

  committed
  f17b637

  Copy full SHA for f17b637

• Add author string to version.h

  reuk

  committed
  bb88fd2

  Copy full SHA for bb88fd2

• Remove trailing white space

  reuk

  committed
  1b20f98

  Copy full SHA for 1b20f98