Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 3, 2017

• Merge pull request #1337 from tautschnig/member_offset_bits

  Show description for 9ae35de
  

  Daniel Kroening

  authored
  9ae35de

  Copy full SHA for 9ae35de

• Merge pull request #1336 from tautschnig/goto-diff-signed

  Show description for def38e9
  

  Daniel Kroening

  authored
  def38e9

  Copy full SHA for def38e9

• Merge pull request #1338 from tautschnig/replace-assert

  Show description for 10121e3
  

  Daniel Kroening

  authored
  10121e3

  Copy full SHA for 10121e3

• Merge pull request #1335 from tautschnig/cleanup-metachar

  Show description for 9b8013a
  

  Daniel Kroening

  authored
  9b8013a

  Copy full SHA for 9b8013a

• replace assert(false) by UNREACHABLE

  

  Daniel Kroening

  authored and

  tautschnig

  committed
  cdd55fa

  Copy full SHA for cdd55fa

• member_offset_bits: express member offset in bits instead of bytes

  tautschnig

  committed
  a1a6462

  Copy full SHA for a1a6462

• target name wrong for signed variant of goto-diff

  

  Daniel Kroening

  authored and

  tautschnig

  committed
  4c74ea0

  Copy full SHA for 4c74ea0

• MetaChar: use std::stringstream for incremental escaped-string construction

  Show description for 1828809
  tautschnig

  committed
  1828809

  Copy full SHA for 1828809

• Merge pull request #1329 from tautschnig/union-padding-fix

  Show description for ed78c6b
  

  Daniel Kroening

  authored
  ed78c6b

  Copy full SHA for ed78c6b

Commits on Sep 2, 2017

• Test alignment of unions

  

  Daniel Kroening

  authored and

  tautschnig

  committed
  72e0fc7

  Copy full SHA for 72e0fc7

• Do not attempt to compute union sizes when not required

  Show description for 2a9ad6e
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  2a9ad6e

  Copy full SHA for 2a9ad6e

• Merge pull request #1327 from tautschnig/HAVE_JAVA_BYTECODE_cleanup

  Show description for 2f3e63d
  

  Daniel Kroening

  authored
  2f3e63d

  Copy full SHA for 2f3e63d

• Merge pull request #1326 from tautschnig/ansi-c-library-fixes

  Show description for 0bb2320
  

  Daniel Kroening

  authored
  0bb2320

  Copy full SHA for 0bb2320

• Merge pull request #1325 from tautschnig/double-output

  Show description for b8fce65
  

  Daniel Kroening

  authored
  b8fce65

  Copy full SHA for b8fce65

Commits on Sep 1, 2017

• HAVE_BV_REFINEMENT and HAVE_JAVA_BYTECODE are no longer needed

  

  Daniel Kroening

  authored and

  tautschnig

  committed
  a057fe6

  Copy full SHA for a057fe6

• Check for memory leaks in C++ new/delete

  tautschnig

  committed
  774fb0a

  Copy full SHA for 774fb0a

• Improve ansi-c library syntax check and run via travis

  tautschnig

  committed
  e71f30e

  Copy full SHA for e71f30e

• ansi-c library: explicit non-det initialisation, cleanup, syntax fixes

  tautschnig

  committed
  5ae8801

  Copy full SHA for 5ae8801

• Pointers returned by getenv must not be manipulated

  Show description for 3cec2a9
  tautschnig

  committed
  3cec2a9

  Copy full SHA for 3cec2a9

• Do not add an "l" prefix to double constants when double==long double

  tautschnig

  committed
  187395f

  Copy full SHA for 187395f

Commits on Aug 23, 2017

• Merge pull request #1266 from tautschnig/array-debugging

  Show description for deeb26e
  

  Daniel Kroening

  authored
  deeb26e

  Copy full SHA for deeb26e

• Use iostream for debugging only

  tautschnig

  committed
  b3cd67a

  Copy full SHA for b3cd67a

• flattening/arrays.cpp: replace throw and assert with invariants

  

  smowton

  authored and

  tautschnig

  committed
  e728d01

  Copy full SHA for e728d01

• Replace std::cout for errors with messaget::error()

  Show description for ee4f6a0
  

  smowton

  authored and

  tautschnig

  committed
  ee4f6a0

  Copy full SHA for ee4f6a0

• Merge pull request #1246 from reuk/reuk/allow-glibcxx-debug

  Show description for ddc7125
  

  Daniel Kroening

  authored
  ddc7125

  Copy full SHA for ddc7125

• Merge pull request #1273 from tautschnig/doc-fixes

  Show description for 26975bb
  

  Daniel Kroening

  authored
  26975bb

  Copy full SHA for 26975bb

• Merge pull request #1265 from tautschnig/emacs-config

  Show description for b2d5b9a
  

  Daniel Kroening

  authored
  b2d5b9a

  Copy full SHA for b2d5b9a

• Merge pull request #1283 from tautschnig/dev-master-linter

  Show description for 004e220
  

  Daniel Kroening

  authored
  004e220

  Copy full SHA for 004e220

• Don't lint text between #if 0...#endif

  

  karkhaz

  authored and

  tautschnig

  committed
  e36f44f

  Copy full SHA for e36f44f

• Add non-const target comparator

  reuk

  committed
  5077460

  Copy full SHA for 5077460

Commits on Aug 22, 2017

• Merge pull request #1277 from tautschnig/readme-master

  Show description for 18d0d7b
  

  Daniel Kroening

  authored
  18d0d7b

  Copy full SHA for 18d0d7b

• Contributing section in readme

  

  peterschrammel

  authored and

  tautschnig

  committed
  e7ffabc

  Copy full SHA for e7ffabc

• Documentation

  

  peterschrammel

  authored and

  tautschnig

  committed
  2e227cc

  Copy full SHA for 2e227cc

• Some cleanup

  

  peterschrammel

  authored and

  tautschnig

  committed
  1d49ef2

  Copy full SHA for 1d49ef2

• Fix Doxygen warnings

  

  smowton

  authored and

  tautschnig

  committed
  e58df6f

  Copy full SHA for e58df6f

Pagination

Previous

Next