Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2016

• Newer version of automake build .hh files

  tautschnig

  committed
  fe27b71
  More actions

Commits on Jun 3, 2013

• Use target_os/target_cpu for output file names

  tautschnig

  committed
  951bb63
  More actions

Commits on May 15, 2013

• Fixed $ escape that shouldn't be used here as top_srcdir is a Make variable

  tautschnig

  committed
  0e48ea0
  More actions

Commits on Nov 5, 2012

• Fixed syntax error

  

  tautschn

  committed
  20a0247
  More actions

• Avoid unintended unpacking of cbmc-src.tar.gz

  

  tautschn

  committed
  dac3c3a
  More actions

Commits on Nov 4, 2012

• Proper quoting of CC variable

  

  tautschn

  committed
  15efb11
  More actions

• Don't do minisat-2.2.0 dir by default

  

  tautschn

  committed
  5e12fc2
  More actions

• Added support for out-of-tree builds of CBMC, MiniSat

  

  tautschn

  committed
  8494f7c
  More actions

Commits on Mar 18, 2012

• Release 1.4

  

  tautschn

  committed
  dbeb719
  More actions

• Basic build fixes for new CBMC release

  

  tautschn

  committed
  01f6f82
  More actions

• Moving towards CBMC SVN trunk (added as SVN external); code compiles, but

  

  tautschn

  committed
  5904437
  More actions

Commits on Oct 24, 2011

• Updated CBMC to latest CVS and restricted to minimal code base

  

  tautschn

  committed
  4667415
  More actions

Commits on Nov 15, 2010

• Warnings remain disabled (partly reverts r395)

  

  tautschnig

  committed
  bc82c00
  More actions

• Updated to current CVS HEAD + bugfixes

  

  tautschnig

  committed
  f9c7c96
  More actions

Commits on Oct 12, 2010

• Make linenoise compile with -pedantic, -Werror

  

  tautschnig

  committed
  da4905f
  More actions

• Use linenoise instead of readline if the latter is not available

  

  tautschnig

  committed
  27ee8a3
  More actions

• Fix paths in examples description

  

  tautschnig

  committed
  2638033
  More actions

Commits on Sep 29, 2010

• Started adding contents to ChangeLog, ship ChangeLog

  

  tautschnig

  committed
  4bdcdb8
  More actions

• Only run clean in cbmc and astl if these have been unpacked already

  

  tautschnig

  committed
  c14998a
  More actions

Commits on Sep 14, 2010

• Make make check work on Windows and with newer GCC versions

  

  tautschnig

  committed
  3f74be7
  More actions

Commits on Sep 2, 2010

• Make release builds compatible with WIN32

  

  tautschnig

  committed
  1bb2163
  More actions

• A proper THANKS file is in order

  

  tautschnig

  committed
  bcb0ef3
  More actions

• Added release, release-local and examples targets

  

  tautschnig

  committed
  6fdd413
  More actions

Commits on Aug 31, 2010

• Document pedantic build options and necessary -Wno-X flags

  

  tautschnig

  committed
  9ac6fc3
  More actions

Commits on Aug 29, 2010

• Build environment bugfixes

  

  tautschnig

  committed
  240adbd
  More actions

Commits on Aug 28, 2010

• Build CBMC before FShell

  

  tautschnig

  committed
  f29ab29
  More actions

Commits on Aug 26, 2010

• Moving to minisat 2.2.0

  

  tautschnig

  committed
  ad93969
  More actions

Commits on Aug 17, 2010

• Completely new benchmarking setup

  

  tautschnig

  committed
  42009f3
  More actions

Commits on Jun 12, 2010

• Additional safety net: force build of irep_ids.h

  

  tautschnig

  committed
  3e66a7c
  More actions

Commits on Feb 15, 2010

• MinGW compatibility

  

  tautschnig

  committed
  494ef6d
  More actions

Commits on Feb 13, 2010

• Merged build-env improvements

  

  tautschnig

  committed
  67ee33d
  More actions

Commits on Aug 10, 2009

• Added ASTL for automata representation

  

  tautschnig

  committed
  a28667e
  More actions

Commits on Aug 4, 2009

• - updated ignores

  

  tautschnig

  committed
  b0b7c17
  More actions

Commits on May 1, 2009

• Bugfixes

  

  tautschnig

  committed
  f8b5689
  More actions

Commits on Apr 20, 2009

• Portability and documentation fixes

  

  tautschnig

  committed
  0ec9019
  More actions

Pagination

PreviousNext