Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 3, 2017

• Merge pull request #1481 from andreast271/do-c++-regression

  Show description for 5e067bf
  tautschnig

  authored
  5e067bf

  Copy full SHA for 5e067bf

Commits on Oct 18, 2017

• use jbmc in regression tests

  

  Daniel Kroening

  committed
  320eeaf

  Copy full SHA for 320eeaf

Commits on Oct 13, 2017

• Run cbmc c++ regression as part of default regression test

  Show description for 3a4e48c
  andreast271

  committed
  3a4e48c

  Copy full SHA for 3a4e48c

Commits on Oct 6, 2017

• moved taint-related tests for goto-analyzer into separate subdirectory

  

  Daniel Kroening

  committed
  086d6da

  Copy full SHA for 086d6da

Commits on Sep 14, 2017

• remove path-symex and the symex tool

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  1c1d3c2

  Copy full SHA for 1c1d3c2

• Corrected regression makefile

  Show description for 4bdd9c4
  

  thk123

  committed
  4bdd9c4

  Copy full SHA for 4bdd9c4

Commits on Sep 13, 2017

• Add support for using the --function flag to goto-analyze and symex

  Show description for 1ccd1a2
  

  thk123

  committed
  1ccd1a2

  Copy full SHA for 1ccd1a2

• Added regression test for using --function on a GOTO program

  Show description for 71e6800
  

  thk123

  committed
  71e6800

  Copy full SHA for 71e6800

• Reverting manually commited fixes

  

  thk123

  committed
  af8d46f

  Copy full SHA for af8d46f

• revert symex regression until Appvoyer works

  

  Daniel Kroening

  committed
  2816b80

  Copy full SHA for 2816b80

Commits on Sep 12, 2017

• enable symex regression testing

  

  Daniel Kroening

  committed
  5d2d07b

  Copy full SHA for 5d2d07b

Commits on Sep 6, 2017

• fixup! Fix and run cbmc-cover tests

  tautschnig

  committed
  fd56921

  Copy full SHA for fd56921

Commits on Sep 4, 2017

• goto-gcc removes CPROVER macros for native gcc

  Show description for ede380f
  karkhaz

  committed
  ede380f

  Copy full SHA for ede380f

Commits on Sep 1, 2017

• Fix and run cbmc-cover tests

  peterschrammel

  committed
  b6ef688

  Copy full SHA for b6ef688

Commits on Aug 3, 2017

• Merge remote-tracking branch 'upstream/master' into merge-master-2017-08-03

  smowton

  committed
  c4a072b

  Copy full SHA for c4a072b

Commits on Jul 23, 2017

• Allow invariants with structured exceptions

  smowton

  committed
  493e9be

  Copy full SHA for 493e9be

Commits on Jul 11, 2017

• Enable strings test suite

  Show description for 1563e30
  

  Lukasz A.J. Wrona

  committed
  1563e30

  Copy full SHA for 1563e30

Commits on Jul 3, 2017

• Fixing inheritance issue for java programs.

  Show description for af4edae
  Degiorgio

  committed
  af4edae

  Copy full SHA for af4edae

• Introduce regression test suite for goto-diff

  Show description for 14e23a1
  tautschnig

  committed
  14e23a1

  Copy full SHA for 14e23a1

Commits on Jun 14, 2017

• Merge commit 'aed3c25' into smowton/merge/master_20170614

  smowton

  committed
  a320377

  Copy full SHA for a320377

Commits on Jun 5, 2017

• Add strings-smoke-tests to regression Makefile

  

  Joel Allred

  committed
  56800d5

  Copy full SHA for 56800d5

Commits on May 23, 2017

• Add make clean to clear the regression test results.

  

  martin

  committed
  784f2ed

  Copy full SHA for 784f2ed

Commits on Mar 28, 2017

• Added regressions for typedefs on the source file

  Show description for fc8d7c6
  

  thk123

  committed
  fc8d7c6

  Copy full SHA for fc8d7c6

Commits on Feb 13, 2017

• Made the Perl script not using grep

  Show description for eba97a0
  

  thk123

  authored and

  thk123

  committed
  eba97a0

  Copy full SHA for eba97a0

Commits on Jan 23, 2017

• Enable Java regression tests

  Show description for ab066ea
  smowton

  committed
  ab066ea

  Copy full SHA for ab066ea

Commits on Jan 18, 2017

• Single chain.sh and directory for goto-instrument tests

  Show description for 6f73ade
  tautschnig

  committed
  6f73ade

  Copy full SHA for 6f73ade

Commits on Jan 17, 2017

• goto function inlining at function call granularity

  danpoe

  committed
  05f19bf

  Copy full SHA for 05f19bf

Commits on Jan 13, 2017

• Mark the two failing bugs as KNOWNBUG

  Show description for 37071e3
  

  thk123

  committed
  37071e3

  Copy full SHA for 37071e3

Commits on Dec 2, 2016

• goto instrument loop unwinding with strategies

  danpoe

  committed
  1157ad3

  Copy full SHA for 1157ad3

Commits on Nov 5, 2016

• restore returns regression tests

  danpoe

  committed
  0c6ad51

  Copy full SHA for 0c6ad51

Commits on Apr 17, 2016

• Regression loop: Properly return with an error code if a sub-make fails

  tautschnig

  committed
  0e96b53

  Copy full SHA for 0e96b53

Commits on Dec 31, 2014

• avoid hardcoded make

  Show description for 8ba9d4e
  

  kroening

  committed
  8ba9d4e

  Copy full SHA for 8ba9d4e

Commits on May 25, 2013

• Makefile for running all regressions

  Show description for 13193e9
  

  kroening

  committed
  13193e9

  Copy full SHA for 13193e9

Loading