Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 28, 2018

• Merge pull request #2529 from tautschnig/debian1

  Show description for f33459f
  kroening

  authored
  f33459f

  Copy full SHA for f33459f

Commits on Jul 27, 2018

• Merge pull request #2591 from allredj/log-suffix-in-testpl

  Show description for 709b45f
  

  Joel Allred

  authored
  709b45f

  Copy full SHA for 709b45f

• Merge pull request #2612 from svorenova/multidim_arrays_tg3821_util

  Show description for f3630f0
  

  svorenova

  authored
  f3630f0

  Copy full SHA for f3630f0

• Merge pull request #2623 from diffblue/cbmc-empty-message

  Show description for c010edb
  kroening

  authored
  c010edb

  Copy full SHA for c010edb

• Merge pull request #2624 from diffblue/va_arg_mode

  Show description for d5adef5
  kroening

  authored
  d5adef5

  Copy full SHA for d5adef5

Commits on Jul 26, 2018

• symbols for va_args need a mode

  kroening

  committed
  3e3303d

  Copy full SHA for 3e3303d

• cbmc: avoid an empty message during result reporting

  kroening

  committed
  398dd39

  Copy full SHA for 398dd39

• Merge pull request #2585 from smowton/smowton/admin/java-clean-deref-tests

  Show description for 8bca5cd
  smowton

  authored
  8bca5cd

  Copy full SHA for 8bca5cd

• Disable broken string test

  Show description for a0e339d
  smowton

  committed
  a0e339d

  Copy full SHA for a0e339d

• Strengthen local_safe_pointers to handle common Java operations

  Show description for d0cf433
  smowton

  committed
  d0cf433

  Copy full SHA for d0cf433

• Merge pull request #2616 from smowton/smowton/admin/ai-unit-test

  Show description for e7b1a8a
  smowton

  authored
  e7b1a8a

  Copy full SHA for e7b1a8a

• Merge pull request #2621 from diffblue/amazon-linux-instructions

  Show description for 738ecad
  kroening

  authored
  738ecad

  Copy full SHA for 738ecad

• Add test for ait framework

  smowton

  committed
  4156283

  Copy full SHA for 4156283

• Merge pull request #2596 from martin-cs/feature/context-sensitive-ait-merge-1

  Show description for 08bd1a8
  martin-cs

  authored
  08bd1a8

  Copy full SHA for 08bd1a8

• Use can_cast_type instead of raw type id check

  

  svorenova

  committed
  c572866

  Copy full SHA for c572866

• Improve documentation for java array types

  

  svorenova

  committed
  a1ab7a6

  Copy full SHA for a1ab7a6

• instructions for Amazon Linux

  kroening

  committed
  745670b

  Copy full SHA for 745670b

• Merge pull request #2614 from chrisr-diffblue/is_zero_bitfield_support

  Show description for 299417b
  kroening

  authored
  299417b

  Copy full SHA for 299417b

Commits on Jul 25, 2018

• Merge pull request #2598 from mmuesly/feature_posix_memalign

  Show description for 0c8eff6
  kroening

  authored
  0c8eff6

  Copy full SHA for 0c8eff6

• Merge pull request #2613 from NathanJPhillips/cleanup/irep_ids-def-not-h

  Show description for fad7735
  kroening

  authored
  fad7735

  Copy full SHA for fad7735

• Merge pull request #2600 from peterschrammel/doxygen-graphviz

  Show description for e34fc57
  peterschrammel

  authored
  e34fc57

  Copy full SHA for e34fc57

• clang-format fixups

  chrisr-diffblue

  committed
  54cc818

  Copy full SHA for 54cc818

• Make exprt::is_zero() support bitfields

  chrisr-diffblue

  committed
  9986ea1

  Copy full SHA for 9986ea1

• Merge pull request #2605 from NathanJPhillips/feature/cast-for-code_typet

  Show description for dbf4384
  NathanJPhillips

  authored
  dbf4384

  Copy full SHA for dbf4384

• Updated comment for the fact that IDs are defined in def files now

  NathanJPhillips

  committed
  7798aaa

  Copy full SHA for 7798aaa

• Remove unused function

  

  svorenova

  committed
  b72b968

  Copy full SHA for b72b968

• Add a check functions for (multi-dimensional) array types

  

  svorenova

  committed
  e66f76f

  Copy full SHA for e66f76f

• Added can_cast_type implementation for code_typet

  NathanJPhillips

  committed
  f4f4190

  Copy full SHA for f4f4190

Commits on Jul 24, 2018

• Merge pull request #2603 from smowton/smowton/fix/stub-string-lengths

  Show description for f6c34f2
  smowton

  authored
  f6c34f2

  Copy full SHA for f6c34f2

• Merge pull request #2595 from thk123/doc/use-can-cast

  Show description for 05bebb7
  smowton

  authored
  05bebb7

  Copy full SHA for 05bebb7

• Merge pull request #2597 from allredj/update-jbmc-gitignore

  Show description for 9a75c65
  smowton

  authored
  9a75c65

  Copy full SHA for 9a75c65

• Fix stub string lengths

  Show description for c98688b
  smowton

  committed
  c98688b

  Copy full SHA for c98688b

• Merge pull request #2601 from owen-jones-diffblue/owen-jones-diffblue/update-codeowners-3

  Show description for 819560f
  smowton

  authored
  819560f

  Copy full SHA for 819560f

• Remove code owners from low-risk files

  Show description for 39323e0
  

  Owen Jones

  committed
  39323e0

  Copy full SHA for 39323e0

• Make directories match from root

  

  Owen Jones

  committed
  8f8052a

  Copy full SHA for 8f8052a

Pagination

Previous

Next