Commits

Branch selector

 bdbfde3

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 20, 2017

• Remove duplication

  reuk

  committed
  bdbfde3

  Copy full SHA for bdbfde3

• Remove function call operator

  reuk

  committed
  733a40e

  Copy full SHA for 733a40e

• Rename data members

  reuk

  committed
  4561581

  Copy full SHA for 4561581

• Switch typedef to using

  reuk

  committed
  0ec7f3a

  Copy full SHA for 0ec7f3a

• Don't mutate parameters in numbering class

  reuk

  committed
  da6fa5d

  Copy full SHA for da6fa5d

Commits on Nov 14, 2017

• Merge pull request #1575 from svorenova/nested_generics_tg1301

  Show description for af31813
  chrisr-diffblue

  authored
  af31813

  Copy full SHA for af31813

Commits on Nov 13, 2017

• Extend unit tests to test for nested generics

  

  svorenova

  committed
  21b4e7e

  Copy full SHA for 21b4e7e

• Extending parsing of generics to parse nested generic types

  Show description for cf47dcb
  

  svorenova

  committed
  cf47dcb

  Copy full SHA for cf47dcb

• Merge pull request #1547 from smowton/smowton/feature/remove_virtual_functions_single_call

  Show description for 1aefb09
  smowton

  authored
  1aefb09

  Copy full SHA for 1aefb09

Commits on Nov 12, 2017

• Merge pull request #1579 from smowton/smowton/fix/cmdline_destructor

  Show description for 2b4ed77
  

  Daniel Kroening

  authored
  2b4ed77

  Copy full SHA for 2b4ed77

• Merge pull request #1580 from smowton/smowton/fix/cast_materialised_temporary

  Show description for 7305506
  

  Daniel Kroening

  authored
  7305506

  Copy full SHA for 7305506

• Remove pointless typecasts

  Show description for 87b9de1
  smowton

  committed
  87b9de1

  Copy full SHA for 87b9de1

Commits on Nov 11, 2017

• Remove virtual functions: expose single-call entry-point

  Show description for 80e66ba
  smowton

  committed
  80e66ba

  Copy full SHA for 80e66ba

• Remove useless cmdlinet::clear() call

  Show description for ffe02e4
  smowton

  committed
  ffe02e4

  Copy full SHA for ffe02e4

Commits on Nov 10, 2017

• Merge pull request #1578 from thk123/bugfix/specalised-classes

  Show description for ae34e9b
  

  Daniel Kroening

  authored
  ae34e9b

  Copy full SHA for ae34e9b

• Merge pull request #1574 from diffblue/taint-memcpy-develop

  Show description for 779d0aa
  

  Daniel Kroening

  authored
  779d0aa

  Copy full SHA for 779d0aa

• Merge pull request #1568 from smowton/smowton/fix/java_div_by_zero

  Show description for 28a4846
  smowton

  authored
  28a4846

  Copy full SHA for 28a4846

• Constructed class to mimic the original class in all but name of symbol

  Show description for ffd089f
  

  thk123

  committed
  ffd089f

  Copy full SHA for ffd089f

• Merge pull request #1569 from thk123/bugfix/TG-1403/generic-field-arrays

  Show description for 7f53f02
  

  Thomas Kiley

  authored
  7f53f02

  Copy full SHA for 7f53f02

• Makefile for goto-analyzer-taint-ansi-c

  

  Daniel Kroening

  committed
  fa7d62a

  Copy full SHA for fa7d62a

• transfer taint on memcpy and memmove

  

  Daniel Kroening

  committed
  758ebb3

  Copy full SHA for 758ebb3

• Assert denominator non-zero when Java runtime exceptions are disabled

  Show description for d0a844b
  smowton

  committed
  d0a844b

  Copy full SHA for d0a844b

Commits on Nov 9, 2017

• Removed redundant if statement

  

  thk123

  committed
  0f98cb4

  Copy full SHA for 0f98cb4

• Enforce condition that generic references must refer to generic classes

  Show description for ffa104c
  

  thk123

  committed
  ffa104c

  Copy full SHA for ffa104c

• Extending tests to deal with specialising with arrays when array fields

  

  thk123

  committed
  6e06fbd

  Copy full SHA for 6e06fbd

• Extend the specialisation code to handle generic fields

  Show description for a01a0f2
  

  thk123

  committed
  a01a0f2

  Copy full SHA for a01a0f2

• Correctly handle generic classes that have a array field

  Show description for 1ccbf83
  

  thk123

  committed
  1ccbf83

  Copy full SHA for 1ccbf83

• Unit utility for symbol types

  

  thk123

  committed
  f60d8c8

  Copy full SHA for f60d8c8

• Renaming to_java_generic_class_type to remove spurious s

  

  thk123

  committed
  21a33fa

  Copy full SHA for 21a33fa

Commits on Nov 8, 2017

• Merge pull request #1567 from mgudemann/mgudemann/feature/support_arrays_in_generic_parameters

  Show description for 94ffce3
  

  Matthias Güdemann

  authored
  94ffce3

  Copy full SHA for 94ffce3

• Create new and adapt existing unit tests for generic array param

  

  Matthias Güdemann

  committed
  5be97db

  Copy full SHA for 5be97db

• Post-fix arrays as generic types with their element type

  

  Matthias Güdemann

  committed
  ef6b4af

  Copy full SHA for ef6b4af

• Merge pull request #1553 from mgudemann/bugfix/initialize_pointer_width_in_unit_test

  Show description for 4db6fc6
  

  Matthias Güdemann

  authored
  4db6fc6

  Copy full SHA for 4db6fc6

• Merge pull request #1555 from thk123/feature/remove-redundant-specalisation-code

  Show description for b17ed58
  

  Thomas Kiley

  authored
  b17ed58

  Copy full SHA for b17ed58

Commits on Nov 7, 2017

• Merge pull request #1564 from owen-jones-diffblue/bugfix/object-numbering-references

  Show description for 9b34cdb
  peterschrammel

  authored
  9b34cdb

  Copy full SHA for 9b34cdb

Pagination

Previous

Next