Code

Update test-gen-support#705

Code

Merged

forejtv merged 31 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

peterschrammel:pull-from-masterpeterschrammel/cbmc:pull-from-masterCopy head branch name to clipboard

Mar 28, 2017

Commits

Commits on Mar 20, 2017

• Fix several test problems on Windows

  Show description for 0662dd0
  forejtv

  committed
  0662dd0

  Copy full SHA for 0662dd0

Commits on Mar 22, 2017

• Auxiliary function to check whether source location is in built-in

  peterschrammel

  committed
  72052c7

  Copy full SHA for 72052c7

• Replace built-in checks by is_built_in

  peterschrammel

  committed
  32fcbbc

  Copy full SHA for 32fcbbc

Commits on Mar 23, 2017

• Merge pull request #622 from forejtv/master

  Show description for ff9d833
  

  Daniel Kroening

  authored
  ff9d833

  Copy full SHA for ff9d833

• update instructions for g++ 6

  

  Daniel Kroening

  committed
  c21d3ed

  Copy full SHA for c21d3ed

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

  

  Daniel Kroening

  committed
  2a95e59

  Copy full SHA for 2a95e59

• Updates for GCC 6

  

  jgwilson42

  committed
  903d243

  Copy full SHA for 903d243

• Correct pretty-printing of code_returnt

  smowton

  committed
  e843b72

  Copy full SHA for e843b72

• Fix Java multinewarray

  Show description for 4473f06
  smowton

  committed
  4473f06

  Copy full SHA for 4473f06

• Amend test-case to complete in acceptable time

  smowton

  committed
  0a53fbb

  Copy full SHA for 0a53fbb

• Merge pull request #658 from smowton/pretty_print_return

  Show description for 6550e2c
  

  Daniel Kroening

  authored
  6550e2c

  Copy full SHA for 6550e2c

• Add --drop-unused-functions option

  Show description for e8ec160
  peterschrammel

  committed
  e8ec160

  Copy full SHA for e8ec160

• Remove -show-reachable-properties

  Show description for a35731b
  peterschrammel

  committed
  a35731b

  Copy full SHA for a35731b

• Correctly align description of option

  peterschrammel

  committed
  5e5bbca

  Copy full SHA for 5e5bbca

• Merge pull request #671 from peterschrammel/cover-for-reachable-fun-only

  Show description for 5ecb15e
  

  Daniel Kroening

  authored
  5ecb15e

  Copy full SHA for 5ecb15e

• Option --no-built-in-assertions

  Show description for 85a7566
  peterschrammel

  committed
  85a7566

  Copy full SHA for 85a7566

Commits on Mar 24, 2017

• Remove unused variable and braces

  

  Owen Jones

  committed
  2b09c0b

  Copy full SHA for 2b09c0b

• Move function comments to the right place

  

  Owen Jones

  committed
  a3f49a3

  Copy full SHA for a3f49a3

• Remove variable that is always false

  Show description for 4c4ccc0
  

  Owen Jones

  committed
  4c4ccc0

  Copy full SHA for 4c4ccc0

• Remove function that's only used once

  Show description for 9a1dae0
  

  Owen Jones

  committed
  9a1dae0

  Copy full SHA for 9a1dae0

• added support for array_copy in the full-slice option

  Show description for 27227cc
  lucasccordeiro

  committed
  27227cc

  Copy full SHA for 27227cc

• added two test cases into goto-instrument regression for checking array_copy

  Show description for e70aa7d
  lucasccordeiro

  committed
  e70aa7d

  Copy full SHA for e70aa7d

• Merge pull request #694 from lucasccordeiro/fix-full-slice-03

  Show description for 727aea1
  

  Daniel Kroening

  authored
  727aea1

  Copy full SHA for 727aea1

• Merge pull request #686 from smowton/fix_multinewarray

  Show description for 96c9e65
  

  Daniel Kroening

  authored
  96c9e65

  Copy full SHA for 96c9e65

• Merge pull request #682 from jgwilson42/compiling_update

  Show description for 7e406cd
  

  Daniel Kroening

  authored
  7e406cd

  Copy full SHA for 7e406cd

• Release notes up to 5.6 from CProver Google group messages

  tautschnig

  committed
  83874c3

  Copy full SHA for 83874c3

• Initial version of release notes for 5.7

  tautschnig

  committed
  81470f4

  Copy full SHA for 81470f4

Commits on Mar 25, 2017

• Merge pull request #696 from tautschnig/user-visible-changes

  Show description for 4ea27a3
  

  Daniel Kroening

  authored
  4ea27a3

  Copy full SHA for 4ea27a3

• Merge pull request #693 from owen-jones-diffblue/cleanup/java-object-factory

  Show description for cf17239
  

  Daniel Kroening

  authored
  cf17239

  Copy full SHA for cf17239

• Merge pull request #681 from peterschrammel/no-assertions-for-user-only

  Show description for 29af567
  

  Daniel Kroening

  authored
  29af567

  Copy full SHA for 29af567

Commits on Mar 27, 2017

• Merge branch 'master' of github.com:diffblue/cbmc into pull-from-master

  peterschrammel

  committed
  58d6843

  Copy full SHA for 58d6843