Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Sep 12, 2017

• Merge pull request #20 from DiffBlue-benchmarks/exceptions

  Show description for 1563e52
  peterjwest

  authored
  1563e52

  Copy full SHA for 1563e52

Commits on Sep 1, 2017

• Added example of a cyclical structure

  

  Pete West

  committed
  9cd3034

  Copy full SHA for 9cd3034

Commits on Aug 17, 2017

• Added exception test cases from test-gen regression tests

  

  Pete West

  committed
  4d47197

  Copy full SHA for 4d47197

Commits on Jun 28, 2017

• Fix bug in method, rename for clarity

  

  Pete West

  committed
  7664fc5

  Copy full SHA for 7664fc5

Commits on Jun 20, 2017

• Lint and improve readability of tests, remove duplicate tests

  

  Pete West

  committed
  d8f6483

  Copy full SHA for d8f6483

Commits on Jun 19, 2017

• Add loads more example string functions

  

  rjmunro

  authored and

  Pete West

  committed
  48e671a

  Copy full SHA for 48e671a

• Add some more example functions

  

  rjmunro

  authored and

  Pete West

  committed
  a38d13c

  Copy full SHA for a38d13c

• Add StringStuff class to test string test generation

  

  rjmunro

  authored and

  Pete West

  committed
  81e04b4

  Copy full SHA for 81e04b4

Commits on May 3, 2017

• ticTacToe with char array for each row

  rjmunro

  committed
  07566c1

  Copy full SHA for 07566c1

• Function to turn char to int representation

  rjmunro

  committed
  16836d5

  Copy full SHA for 16836d5

Commits on Apr 28, 2017

• Specify source encoding explicitly

  Show description for 328565c
  rjmunro

  committed
  328565c

  Copy full SHA for 328565c

• Merge pull request #12 from DiffBlue-benchmarks/naming-and-linting-improvements

  Show description for 4ac7ab2
  peterjwest

  authored
  4ac7ab2

  Copy full SHA for 4ac7ab2

Commits on Apr 26, 2017

• Add support for suppressing lint warnings

  

  Pete West

  committed
  cfb3918

  Copy full SHA for cfb3918

• Add missing docblocks

  

  Pete West

  committed
  c139618

  Copy full SHA for c139618

• Split out and rename classes to make sense

  

  Pete West

  committed
  38631bb

  Copy full SHA for 38631bb

• Specify version of maven-compiler-plugin

  Show description for 7983d6b
  rjmunro

  committed
  7983d6b

  Copy full SHA for 7983d6b

• Use appropriate import statements

  

  Pete West

  committed
  c6ab555

  Copy full SHA for c6ab555

• Rename packages to match Google conventions

  

  Pete West

  committed
  66a3c3d

  Copy full SHA for 66a3c3d

• Simple linting fixes

  

  Pete West

  committed
  eee5b2b

  Copy full SHA for eee5b2b

Commits on Apr 12, 2017

• Make maven use java 1.8

  

  jgwilson42

  committed
  fc331ee

  Copy full SHA for fc331ee

• Revert "Check tic tac toe with strings"

  forejtv

  authored
  ae3b919

  Copy full SHA for ae3b919

Commits on Apr 7, 2017

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

  Show description for 23f42e1
  rjmunro

  authored
  23f42e1

  Copy full SHA for 23f42e1

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

  Show description for 4e3e1f9
  rjmunro

  authored
  4e3e1f9

  Copy full SHA for 4e3e1f9

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 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

Loading