Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2019

• Add shaded jar omitting keys & de-scope provided dependencies

  JohnLBergqvist

  committed
  61492bb

  Copy full SHA for 61492bb

Commits on Sep 11, 2019

• Remove throw-runtime-exceptions on all phases

  

  Joel Allred

  committed
  6e1f3a4

  Copy full SHA for 6e1f3a4

Commits on Sep 9, 2019

• Use string-input-value on early phases

  

  Joel Allred

  committed
  a94cc7e

  Copy full SHA for a94cc7e

Commits on Sep 5, 2019

• Add more phases for smart-harness input-factory

  

  Joel Allred

  committed
  0ce7f6c

  Copy full SHA for 0ce7f6c

Commits on Sep 4, 2019

• Add phases with higher unwind

  

  Joel Allred

  committed
  e8d6c67

  Copy full SHA for e8d6c67

Commits on Sep 2, 2019

• Remove all fallback phases

  

  Joel Allred

  committed
  7765548

  Copy full SHA for 7765548

Commits on Aug 30, 2019

• use java-assume-inputs-integral with string-printable

  

  Joel Allred

  committed
  0a383fb

  Copy full SHA for 0a383fb

Commits on Aug 29, 2019

• smart-harness input-factory on 2nd phase

  

  Joel Allred

  committed
  488cae7

  Copy full SHA for 488cae7

Commits on Aug 28, 2019

• smart-harness input-factory on all but the first phase

  

  Joel Allred

  committed
  9b1ad1f

  Copy full SHA for 9b1ad1f

Commits on Aug 22, 2019

• Enable --no-reflective-asserts on all phases

  

  Joel Allred

  committed
  7a2bc1f

  Copy full SHA for 7a2bc1f

Commits on Aug 21, 2019

• Inline functions and assertions

  

  Joel Allred

  committed
  8428625

  Copy full SHA for 8428625

Commits on Aug 16, 2019

• Add ignoreExistingCoverage and testCmd

  

  Joel Allred

  committed
  2a9177a

  Copy full SHA for 2a9177a

• Remove a comment about testCmd

  Show description for 0d67f08
  

  svorenova

  authored
  0d67f08

  Copy full SHA for 0d67f08

Commits on Aug 14, 2019

• Only use non-private entry points

  

  Joel Allred

  committed
  3f7d647

  Copy full SHA for 3f7d647

Commits on Aug 8, 2019

• Remove classpathCmd from DragonFly and fix buildCmd on Librec

  

  Joel Allred

  committed
  f26ba02

  Copy full SHA for f26ba02

Commits on Jul 30, 2019

• Update diffblue.yml: Remove input-factory everywhere (without adding commas)

  

  Joel Allred

  committed
  45c16b9

  Copy full SHA for 45c16b9

• Update diffblue.yml: Remove input-factory everywhere

  

  Joel Allred

  committed
  3dcdc89

  Copy full SHA for 3dcdc89

Commits on Jul 25, 2019

• Update diffblue.yml: Add static-value-retriever everywhere

  

  Joel Allred

  committed
  b3303e6

  Copy full SHA for b3303e6

Commits on Jul 23, 2019

• Update diffblue.yml: Remove depth in all phases

  

  Joel Allred

  committed
  c15ea73

  Copy full SHA for c15ea73

Commits on Jun 7, 2019

• Add a phase with big unwind into the default diffblue.yml

  

  svorenova

  committed
  d280955

  Copy full SHA for d280955

Commits on May 20, 2019

• Add first phase with smart harness

  

  svorenova

  committed
  a98f1ad

  Copy full SHA for a98f1ad

Commits on May 9, 2019

• Reduce phase timeouts from 300 to 150 except for paths

  

  svorenova

  committed
  25f30dd

  Copy full SHA for 25f30dd

Commits on May 8, 2019

• Add back the fallback phase with --paths

  

  svorenova

  committed
  83d88ac

  Copy full SHA for 83d88ac

Commits on May 7, 2019

• Temporarily remove the fallback phase with --paths

  

  svorenova

  committed
  5358a6d

  Copy full SHA for 5358a6d

• First run of the diffblue.yml script

  

  svorenova

  committed
  2b2478b

  Copy full SHA for 2b2478b

• Create diffblue-base.yml file

  Show description for 31015f0
  

  svorenova

  authored
  31015f0

  Copy full SHA for 31015f0

Commits on Apr 12, 2019

• Update diffblue.yml to vla=100000 and add paths phase

  

  svorenova

  committed
  7ff4cc7

  Copy full SHA for 7ff4cc7

Commits on Mar 22, 2019

• Skip verification in all phases

  Show description for 792eba2
  

  Maria Svorenova

  committed
  792eba2

  Copy full SHA for 792eba2

Commits on Feb 28, 2019

• Update diffblue.yml (CYOA fallback)

  Show description for 10eca9a
  

  svorenova

  authored
  10eca9a

  Copy full SHA for 10eca9a

Commits on Jan 25, 2019

• Merge pull request #7 from Diffblue-benchmarks/allredj/symphony-4th-phase

  Show description for 1327a99
  

  Joel Allred

  authored
  1327a99

  Copy full SHA for 1327a99

• Introduce 4th phase on symphony

  Show description for e132304
  

  Joel Allred

  committed
  e132304

  Copy full SHA for e132304

Commits on Dec 4, 2018

• Add JaCoCo reporting & remove unnecessary call to symphony-parent

  JohnLBergqvist

  committed
  6a9b9ef

  Copy full SHA for 6a9b9ef

Commits on Nov 29, 2018

• Remove 'slice-function-calls:' cbmcArgument

  JohnLBergqvist

  committed
  8e888b5

  Copy full SHA for 8e888b5

• Update models usage & java-external-code-action

  JohnLBergqvist

  committed
  345ddc5

  Copy full SHA for 345ddc5

• Update Deeptest config

  JohnLBergqvist

  committed
  4ab8db4

  Copy full SHA for 4ab8db4

Pagination

Previous

Next