Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 27, 2017

• Merge pull request #11 from DiffBlue-benchmarks/feature/improve-diffblue-yml-config

  Show description for 6f52938
  rjmunro

  authored
  6f52938

  Copy full SHA for 6f52938

Commits on Apr 26, 2017

• Specify version of maven-compiler-plugin

  Show description for 7983d6b
  rjmunro

  committed
  7983d6b

  Copy full SHA for 7983d6b

• Put defaults needed for tic-tac-toe in diffblue.yml

  Show description for dd2eabd
  rjmunro

  committed
  dd2eabd

  Copy full SHA for dd2eabd

Commits on Apr 12, 2017

• Merge pull request #10 from DiffBlue-benchmarks/restore_1.8

  Show description for 1e91dc8
  jgwilson42

  authored
  1e91dc8

  Copy full SHA for 1e91dc8

• Make maven use java 1.8

  

  jgwilson42

  committed
  fc331ee

  Copy full SHA for fc331ee

• Merge pull request #9 from DiffBlue-benchmarks/revert-7-tic-tac-toe-string

  Show description for 4d6c118
  

  Darren

  authored
  4d6c118

  Copy full SHA for 4d6c118

• Revert "Check tic tac toe with strings"

  forejtv

  authored
  ae3b919

  Copy full SHA for ae3b919

Commits on Apr 7, 2017

• Merge pull request #6 from DiffBlue-benchmarks/yaml-cbmc-params

  Show description for 54c6a4a
  peterjwest

  authored
  54c6a4a

  Copy full SHA for 54c6a4a

• Merge pull request #7 from DiffBlue-benchmarks/tic-tac-toe-string

  Show description for 23f42e1
  rjmunro

  authored
  23f42e1

  Copy full SHA for 23f42e1

• Remove unused parameters

  

  Pete West

  committed
  6627faa

  Copy full SHA for 6627faa

• Change CBMC params to YAML

  

  Pete West

  committed
  ed6dd74

  Copy full SHA for ed6dd74

• Merge pull request #3 from DiffBlue-benchmarks/task/remove-cobertura

  Show description for 4e3e1f9
  rjmunro

  authored
  4e3e1f9

  Copy full SHA for 4e3e1f9

• Merge pull request #5 from martin-cs/master

  Show description for b7db4ef
  rjmunro

  authored
  b7db4ef

  Copy full SHA for b7db4ef

Commits on Apr 5, 2017

• An example I use for explaining CBMC.

  

  martin

  committed
  e1c428c

  Copy full SHA for e1c428c

Commits on Mar 2, 2017

• Check tic tac toe with strings

  rjmunro

  committed
  3fb0bbe

  Copy full SHA for 3fb0bbe

Commits on Feb 21, 2017

• Removed all traces of cobertura

  

  Darren Royle

  committed
  84b5525

  Copy full SHA for 84b5525

Commits on Feb 16, 2017

• Merge pull request #2 from royletron/master

  Show description for fe9a429
  rjmunro

  authored
  fe9a429

  Copy full SHA for fe9a429

Commits on Feb 6, 2017

• Removing units

  

  Darren

  authored
  3b43dc7

  Copy full SHA for 3b43dc7

• Update diffblue.yml

  

  Darren

  authored
  98932de

  Copy full SHA for 98932de

Commits on Dec 15, 2016

• Adding CBMC arguments to diffblue.yml

  

  Darren

  authored
  cb27cd7

  Copy full SHA for cb27cd7

Commits on Dec 13, 2016

• Adding testCmd and reportFile attributes

  Show description for 0f48fe7
  

  Darren Royle

  committed
  0f48fe7

  Copy full SHA for 0f48fe7

Commits on Dec 12, 2016

• Add initial diffblue.yml config file

  rjmunro

  committed
  d6d3bd4

  Copy full SHA for d6d3bd4

Commits on Nov 30, 2016

• Some more examples

  forejtv

  committed
  b773894

  Copy full SHA for b773894

Commits on Sep 13, 2016

• add some more stuff

  

  Peter Schrammel

  committed
  dc3df41

  Copy full SHA for dc3df41

Commits on Aug 29, 2016

• check for div by 0

  

  Peter Schrammel

  committed
  1ec36fa

  Copy full SHA for 1ec36fa

• div with test

  

  Peter Schrammel

  committed
  801ce70

  Copy full SHA for 801ce70

Commits on Aug 28, 2016

• added Main

  

  Peter Schrammel

  committed
  7ff0bed

  Copy full SHA for 7ff0bed

• readme

  

  Peter Schrammel

  committed
  0be1470

  Copy full SHA for 0be1470