Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Feb 28, 2018

• goto-diff is missing dependencies on goto-instrument and goto-symex

  kroening

  committed
  80060ea

  Copy full SHA for 80060ea

Commits on Oct 27, 2017

• build: add ipasir solver support

  Show description for 12a6917
  

  Norbert Manthey

  committed
  12a6917

  Copy full SHA for 12a6917

Commits on Oct 24, 2017

• Update documentation for building cbmc on windows.

  Show description for bcf8ff3
  andreast271

  committed
  bcf8ff3

  Copy full SHA for bcf8ff3

Commits on Oct 18, 2017

• cbmc: clean out java

  kroening

  committed
  d542f7e

  Copy full SHA for d542f7e

• added jbmc executable

  kroening

  committed
  4286b86

  Copy full SHA for 4286b86

Commits on Sep 14, 2017

• remove path-symex and the symex tool

  

  kroening

  authored and

  peterschrammel

  committed
  1c1d3c2

  Copy full SHA for 1c1d3c2

Commits on Sep 13, 2017

• remove musketeer

  kroening

  committed
  a31f1d9

  Copy full SHA for a31f1d9

Commits on May 22, 2017

• Merge commit 'c4412e9' into merge-master-20170522

  smowton

  committed
  f9748b1

  Copy full SHA for f9748b1

Commits on May 4, 2017

• cegis now lives in a separate repo

  kroening

  committed
  024214b

  Copy full SHA for 024214b

Commits on Mar 15, 2017

• update Makefiles / remove all references to libzip/zlib

  

  Matthias Güdemann

  authored and

  thk123

  committed
  1dd43f6

  Copy full SHA for 1dd43f6

Commits on Mar 2, 2017

• Support for Java assume

  

  cristina-david

  authored and

  peterschrammel

  committed
  0cf34af

  Copy full SHA for 0cf34af

• Remove aa-symex from DIRS variable in Makefile

  Show description for 8809a4c
  

  Norbert Manthey

  authored and

  peterschrammel

  committed
  8809a4c

  Copy full SHA for 8809a4c

• Fix failing travis tests after removal of aa-symex.

  

  Vlastimil Zeman

  authored and

  peterschrammel

  committed
  fdd8121

  Copy full SHA for fdd8121

Commits on Mar 1, 2017

• update Makefiles / remove all references to libzip/zlib

  

  Matthias Güdemann

  committed
  122db27

  Copy full SHA for 122db27

Commits on Feb 28, 2017

• Remove aa-symex from DIRS variable in Makefile

  Show description for e33caad
  

  Norbert Manthey

  committed
  e33caad

  Copy full SHA for e33caad

Commits on Feb 27, 2017

• Fix failing travis tests after removal of aa-symex.

  

  Vlastimil Zeman

  committed
  f08ecb7

  Copy full SHA for f08ecb7

Commits on Jan 25, 2017

• Support building aa-symex, clobber, memory-model

  tautschnig

  committed
  cdc456f

  Copy full SHA for cdc456f

Commits on Jan 16, 2017

• ZLib has been bumped to version 1.2.11.

  Show description for f7d8aa3
  

  Joel Allred

  committed
  f7d8aa3

  Copy full SHA for f7d8aa3

Commits on Jan 3, 2017

• Update zlib to latest - 1.2.10

  Show description for 02278eb
  rjmunro

  committed
  02278eb

  Copy full SHA for 02278eb

Commits on Nov 29, 2016

• Remove trailing space from Makefiles

  rjmunro

  committed
  b2972b1

  Copy full SHA for b2972b1

Commits on Nov 26, 2016

• Fix libzip-download make rule broken in https://github.com/diffblue/cbmc/commit/6b21f364f215a4bf9b5884b727943486d50f7827

  forejtv

  committed
  be24c64

  Copy full SHA for be24c64

Commits on Nov 16, 2016

• avoid SSL for libzip

  kroening

  committed
  6b21f36

  Copy full SHA for 6b21f36

Commits on Jul 11, 2016

• get working on test-suite generation with symex

  kroening

  committed
  262e2bc

  Copy full SHA for 262e2bc

Commits on Jul 1, 2016

• merged the Makefile

  kroening

  committed
  3a511d0

  Copy full SHA for 3a511d0

Commits on Jun 21, 2016

• Build symex

  tautschnig

  committed
  f121f49

  Copy full SHA for f121f49

Commits on Jun 18, 2016

• goto-diff initial

  

  Peter Schrammel

  committed
  059da82

  Copy full SHA for 059da82

Commits on Apr 3, 2016

• Basic language front end for Javascript intermediate language

  tautschnig

  committed
  2803ab8

  Copy full SHA for 2803ab8

Commits on Mar 30, 2016

• added .PHONY

  Show description for 88ad13a
  

  kroening

  committed
  88ad13a

  Copy full SHA for 88ad13a

• be more helpful for building and linking libzip

  Show description for 4bb1a10
  

  kroening

  committed
  4bb1a10

  Copy full SHA for 4bb1a10

Commits on Mar 18, 2016

• typo in libzip file name

  Show description for bb88fb2
  

  kroening

  committed
  bb88fb2

  Copy full SHA for bb88fb2

Commits on Mar 17, 2016

• convenience for the dependency war

  Show description for b1600fb
  

  kroening

  committed
  b1600fb

  Copy full SHA for b1600fb

Commits on Mar 15, 2016

• analyser -> analyzer

  Show description for 50b29b1
  

  kroening

  committed
  50b29b1

  Copy full SHA for 50b29b1

Commits on Mar 8, 2016

• Move to latest git version of MiniSat as Debian no longer

  Show description for 9ea446d
  

  kroening

  committed
  9ea446d

  Copy full SHA for 9ea446d

Commits on Mar 7, 2016

• added goto-analyser

  Show description for d241d04
  

  kroening

  committed
  d241d04

  Copy full SHA for d241d04

Commits on Feb 23, 2016

• removed cegis dependency

  Show description for 5d5ffba
  

  kroening

  committed
  5d5ffba

  Copy full SHA for 5d5ffba