Commits

Branch selector

 concurrency-support

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 24, 2017

• Merge pull request #1233 from theyoucheng/fault-localization-xml-ui

  Show description for 5c9eb59
  peterschrammel

  authored
  5c9eb59

  Copy full SHA for 5c9eb59

• Fix output of fault localization result in XML

  

  theyoucheng

  authored and

  peterschrammel

  committed
  13cc598

  Copy full SHA for 13cc598

• Merge pull request #1290 from tautschnig/no-integer_constant

  Show description for aea00bf
  tautschnig

  authored
  aea00bf

  Copy full SHA for aea00bf

Commits on Aug 23, 2017

• Merge pull request #1239 from reuk/virtual-function-unwinding

  Show description for 225e257
  peterschrammel

  authored
  225e257

  Copy full SHA for 225e257

• Remove constant_exprt::integer_constant

  Show description for 4362116
  tautschnig

  committed
  4362116

  Copy full SHA for 4362116

• Merge pull request #551 from mgudemann/update_mp_arith

  Show description for 3c71a74
  peterschrammel

  authored
  3c71a74

  Copy full SHA for 3c71a74

• Merge pull request #1286 from tautschnig/cover-minor-fixes

  Show description for af23092
  

  Daniel Kroening

  authored
  af23092

  Copy full SHA for af23092

• Merge pull request #1192 from peterschrammel/various-fixes

  Show description for f71ff9f
  tautschnig

  authored
  f71ff9f

  Copy full SHA for f71ff9f

• Do not lint C++ regression tests

  peterschrammel

  committed
  22016c0

  Copy full SHA for 22016c0

• Fixed whitespace around "="

  tautschnig

  committed
  b71a9f4

  Copy full SHA for b71a9f4

• Regression tests for pointer-to-member conversion

  peterschrammel

  committed
  a4f29ad

  Copy full SHA for a4f29ad

• Transform loop that is only executed once into if

  peterschrammel

  committed
  802044e

  Copy full SHA for 802044e

• Merge pull request #1275 from diffblue/goto-model-service-functions

  Show description for 12cc79c
  

  Daniel Kroening

  authored
  12cc79c

  Copy full SHA for 12cc79c

• variants of service functions for goto_modelt

  

  Daniel Kroening

  committed
  c7afb95

  Copy full SHA for c7afb95

• Merge pull request #1268 from diffblue/link-goto-model

  Show description for 4f88473
  

  Daniel Kroening

  authored
  4f88473

  Copy full SHA for 4f88473

• use invariant

  

  Daniel Kroening

  committed
  8e52f8d

  Copy full SHA for 8e52f8d

• factor out goto model linking into separate file

  

  Daniel Kroening

  committed
  efe922e

  Copy full SHA for efe922e

• Merge pull request #1276 from smowton/smowton/fix/java_pointer_width

  Show description for e64d9c9
  

  Daniel Kroening

  authored
  e64d9c9

  Copy full SHA for e64d9c9

• Add test showing infinite unwinding

  Show description for a4fa59c
  reuk

  committed
  a4fa59c

  Copy full SHA for a4fa59c

• Merge pull request #1261 from janmroczkowski/janmroczkowski/revert-private-pc-in-goto_trace_stept

  Show description for 31e7382
  peterschrammel

  authored
  31e7382

  Copy full SHA for 31e7382

• Merge pull request #1267 from reuk/reuk/master-into-tgs

  Show description for 3a67dc4
  peterschrammel

  authored
  3a67dc4

  Copy full SHA for 3a67dc4

• Merge pull request #1175 from karkhaz/kk-cpplint-if-zero

  Show description for 69a82fc
  

  Daniel Kroening

  authored
  69a82fc

  Copy full SHA for 69a82fc

• Merge pull request #1269 from tautschnig/fix-array-cleanup

  Show description for c8d32fd
  

  Daniel Kroening

  authored
  c8d32fd

  Copy full SHA for c8d32fd

Commits on Aug 22, 2017

• Force Java pointers to always occupy one stack slot

  Show description for 9d74906
  smowton

  committed
  9d74906

  Copy full SHA for 9d74906

• Merge pull request #1270 from peterschrammel/contribute-readme

  Show description for 3f89279
  

  Daniel Kroening

  authored
  3f89279

  Copy full SHA for 3f89279

• Contributing section in readme

  peterschrammel

  committed
  11be8f6

  Copy full SHA for 11be8f6

• Remove trailing white space

  reuk

  committed
  1b20f98

  Copy full SHA for 1b20f98

• Add author string to version.h

  reuk

  committed
  bb88fd2

  Copy full SHA for bb88fd2

• Add size/value checks to bitwise mp_arith operations

  Show description for d0e572f
  

  Matthias Güdemann

  committed
  d0e572f

  Copy full SHA for d0e572f

• Fix overly long lines and use iostream for debugging only

  tautschnig

  committed
  c96325b

  Copy full SHA for c96325b

• Merge pull request #1258 from romainbrenguier/cleaning/string-expr-function-renaming

  Show description for a44b369
  mgudemann

  authored
  a44b369

  Copy full SHA for a44b369

• Merge master into tgs

  reuk

  committed
  f17b637

  Copy full SHA for f17b637

• Renaming string length comparing functions

  Show description for a86ed4a
  romainbrenguier

  committed
  a86ed4a

  Copy full SHA for a86ed4a

• Making is_refined_string_type a non-member function

  Show description for e047556
  romainbrenguier

  committed
  e047556

  Copy full SHA for e047556

• Merge pull request #1237 from zemanlx/feature/implement-travis-stages

  Show description for 960d2c3
  peterschrammel

  authored
  960d2c3

  Copy full SHA for 960d2c3

Pagination

Previous

Next