Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2018

• Add regression test for lambda functions

  Show description for 603aced
  

  Matthias Güdemann

  committed
  603aced

  Copy full SHA for 603aced

Commits on Feb 26, 2018

• Adding handmade class file exhibiting the same problem

  

  thk123

  committed
  60af165

  Copy full SHA for 60af165

• Adding test demonstrating the too many variables problem

  

  thk123

  committed
  5bdaa64

  Copy full SHA for 5bdaa64

Commits on Feb 23, 2018

• Merge pull request #1797 from thk123/bugfix/TG-1358/long-jumps

  Show description for 3819295
  

  Matthias Güdemann

  authored
  3819295

  Copy full SHA for 3819295

• Merge pull request #1864 from owen-jones-diffblue/owen-jones-diffblue/consistent-casts-in-remove-virtual-function

  Show description for 0003d8a
  tautschnig

  authored
  0003d8a

  Copy full SHA for 0003d8a

• Test casts in remove_virtual_function()

  Show description for c9f3ea4
  

  Owen Jones

  committed
  c9f3ea4

  Copy full SHA for c9f3ea4

Commits on Feb 20, 2018

• Adapt coverage test for new instrumentation

  Show description for 105c7e3
  romainbrenguier

  committed
  105c7e3

  Copy full SHA for 105c7e3

Commits on Feb 15, 2018

• Cleanup tests with anomalous main functions

  Show description for a6fd729
  smowton

  committed
  a6fd729

  Copy full SHA for a6fd729

Commits on Feb 14, 2018

• Merge pull request #1813 from smowton/smowton/fix/cleanup-unused-clinits

  Show description for 38e6e4a
  smowton

  authored
  38e6e4a

  Copy full SHA for 38e6e4a

• Add tests for inherited static fields

  Show description for 1da5be1
  smowton

  committed
  1da5be1

  Copy full SHA for 1da5be1

• Add tests to verify that synthetic method removal is performed

  Show description for 19d622b
  smowton

  committed
  19d622b

  Copy full SHA for 19d622b

Commits on Feb 8, 2018

• Adding test includes a jump to address 2^16

  

  thk123

  committed
  dda54c7

  Copy full SHA for dda54c7

• Merge pull request #1781 from smowton/smowton/feature/java-create-stub-globals-earlier

  Show description for 0df054c
  smowton

  authored
  0df054c

  Copy full SHA for 0df054c

Commits on Feb 7, 2018

• Java frontend: create synthetic static initialisers for stub globals

  Show description for e163ab6
  smowton

  committed
  e163ab6

  Copy full SHA for e163ab6

Commits on Feb 5, 2018

• Add regression test

  Show description for e67a96e
  

  Matthias Güdemann

  committed
  e67a96e

  Copy full SHA for e67a96e

• Adapt regression tests for virtual functions.

  Show description for 3df5348
  

  Matthias Güdemann

  committed
  3df5348

  Copy full SHA for 3df5348

Commits on Feb 2, 2018

• Fix Java ternary-compare against NaN

  Show description for 6ad8ffd
  smowton

  committed
  6ad8ffd

  Copy full SHA for 6ad8ffd

Commits on Jan 29, 2018

• Merge pull request #1735 from cesaro/core-models

  Show description for 1e17db6
  forejtv

  authored
  1e17db6

  Copy full SHA for 1e17db6

• Merge pull request #1769 from smowton/smowton/fix/nondet-initialize-after-initialize

  Show description for 6844760
  smowton

  authored
  6844760

  Copy full SHA for 6844760

• Internalize core models of the Java Class Library

  Show description for f66288b
  

  dcattaruzza

  authored and

  Degiorgio

  committed
  f66288b

  Copy full SHA for f66288b

• Add test for multiple array types in single method

  

  antlechner

  authored and

  smowton

  committed
  1e11f6d

  Copy full SHA for 1e11f6d

Commits on Jan 26, 2018

• Java: run nondet-initialize method *after* initialization

  Show description for 5669d9b
  smowton

  committed
  5669d9b

  Copy full SHA for 5669d9b

• Rename test case

  Show description for 0b5a5c3
  smowton

  committed
  0b5a5c3

  Copy full SHA for 0b5a5c3

Commits on Jan 23, 2018

• Remove returns: support running per-function

  Show description for a7595c1
  smowton

  committed
  a7595c1

  Copy full SHA for a7595c1

Commits on Jan 22, 2018

• Fixes wrong invocation order for static initializers

  Show description for 22afc5c
  

  cesaro

  authored and

  Degiorgio

  committed
  22afc5c

  Copy full SHA for 22afc5c

Commits on Jan 19, 2018

• Fixes to exception handling behaviour

  Show description for 6c9f05e
  dcattaruzza

  committed
  6c9f05e

  Copy full SHA for 6c9f05e

Commits on Jan 10, 2018

• Add regression test for null instanceof.

  

  Matthias Güdemann

  committed
  9c457b7

  Copy full SHA for 9c457b7

Commits on Jan 9, 2018

• Merge pull request #1694 from NathanJPhillips/feature/add-raw-lhs-to-trace

  Show description for 85193a0
  smowton

  authored
  85193a0

  Copy full SHA for 85193a0

Commits on Jan 8, 2018

• Added regression tests

  NathanJPhillips

  committed
  a9c4e4f

  Copy full SHA for a9c4e4f

• Lazy loading: assume concrete generic parameter types are needed

  Show description for ae89c94
  smowton

  committed
  ae89c94

  Copy full SHA for ae89c94

• TG-1877: Include array pointer types in needed classes

  Show description for 80eb6a6
  smowton

  committed
  80eb6a6

  Copy full SHA for 80eb6a6

Commits on Jan 4, 2018

• Add regression test

  

  Matthias Güdemann

  committed
  3365054

  Copy full SHA for 3365054

Commits on Dec 5, 2017

• Add test for NegativeArraySizeException

  Show description for 94a6ad4
  antlechner

  committed
  94a6ad4

  Copy full SHA for 94a6ad4

• Rename test to NegativeArraySizeException1

  antlechner

  committed
  9cc3192

  Copy full SHA for 9cc3192

• Add test for ClassCastException

  Show description for 51b1d38
  antlechner

  committed
  51b1d38

  Copy full SHA for 51b1d38

Pagination

Previous

Next