Commits

Branch selector

 develop

User selector

tautschnig

Datepicker

All time

Commit History

Commits on Mar 1, 2018

• Merge pull request #1800 from tautschnig/fix-process_array_expr

  Show description for 8897709
  tautschnig

  authored
  8897709

  Copy full SHA for 8897709

• Merge pull request #1892 from diffblue/remove-OPERANDS_IN_GETSUB

  Show description for 4dd0f29
  tautschnig

  authored
  4dd0f29

  Copy full SHA for 4dd0f29

Commits on Feb 27, 2018

• Implement popcount in SAT back-end

  Show description for 716103e
  tautschnig

  committed
  716103e

  Copy full SHA for 716103e

• Introduce popcount_exprt

  Show description for ddde9dc
  tautschnig

  committed
  ddde9dc

  Copy full SHA for ddde9dc

Commits on Feb 26, 2018

• Merge pull request #1881 from tautschnig/fix-runtime-report

  Show description for 06483f3
  tautschnig

  authored
  06483f3

  Copy full SHA for 06483f3

• Merge pull request #1882 from tautschnig/address_bits

  Show description for 3c17453
  tautschnig

  authored
  3c17453

  Copy full SHA for 3c17453

• address_bits need not return an arbitrary-sized integer

  Show description for f59092c
  tautschnig

  committed
  f59092c

  Copy full SHA for f59092c

• Fix decision procedure runtime computation

  Show description for 3bcb3a5
  tautschnig

  committed
  3bcb3a5

  Copy full SHA for 3bcb3a5

Commits on Feb 23, 2018

• Merge pull request #1864 from owen-jones-diffblue/owen-jones-diffblue/consistent-casts-in-remove-virtual-function

  Show description for 0003d8a
  tautschnig

  authored
  0003d8a

  Copy full SHA for 0003d8a

• Byte offset to array index translation must use array type

  Show description for 9df769a
  tautschnig

  committed
  9df769a

  Copy full SHA for 9df769a

• Fix process_array_expr to take into account pointer offset

  tautschnig

  committed
  f4fb099

  Copy full SHA for f4fb099

• Process array_equal the same way as array_{replace,copy}

  Show description for 379705f
  tautschnig

  committed
  379705f

  Copy full SHA for 379705f

Commits on Feb 22, 2018

• Merge pull request #1551 from tautschnig/perf-test-improvements

  Show description for c62b957
  tautschnig

  authored
  c62b957

  Copy full SHA for c62b957

Commits on Feb 21, 2018

• Make USE_DSTRING conditional and disable it in Ubuntu/Clang/DEBUG Travis job

  Show description for 590fc2d
  tautschnig

  committed
  590fc2d

  Copy full SHA for 590fc2d

• Include string when not using dstringt as irep_idt representation

  Show description for 52290b0
  tautschnig

  committed
  52290b0

  Copy full SHA for 52290b0

• Do not use dstringt-specific APIs with irep_idt

  Show description for 25ffad4
  tautschnig

  committed
  25ffad4

  Copy full SHA for 25ffad4

• Include list in expr.h

  Show description for 534f4d2
  tautschnig

  committed
  534f4d2

  Copy full SHA for 534f4d2

• Include unordered_map where using a std::unordered_map

  Show description for d87d6e4
  tautschnig

  committed
  d87d6e4

  Copy full SHA for d87d6e4

• Merge pull request #853 from owen-jones-diffblue/feature/pointer-function-parameters

  Show description for 28c3c9f
  tautschnig

  authored
  28c3c9f

  Copy full SHA for 28c3c9f

• Merge pull request #1832 from diffblue/smt2-backend

  Show description for ab1b267
  tautschnig

  authored
  ab1b267

  Copy full SHA for ab1b267

• Merge pull request #1853 from danpoe/is-threaded-fixes

  Show description for 11f3699
  tautschnig

  authored
  11f3699

  Copy full SHA for 11f3699

• Merge pull request #1829 from romainbrenguier/refactor/substitute_array_access#TG-2138

  Show description for 3e7e840
  tautschnig

  authored
  3e7e840

  Copy full SHA for 3e7e840

• Merge pull request #1846 from hannes-steffenhagen-diffblue/develop-fix_appveyor

  Show description for 3a112af
  tautschnig

  authored
  3a112af

  Copy full SHA for 3a112af

• Merge pull request #1641 from karkhaz/kk-big-6-6

  Show description for 9d1e625
  tautschnig

  authored
  9d1e625

  Copy full SHA for 9d1e625

Commits on Feb 19, 2018

• Merge pull request #1851 from tautschnig/remove-expr-listt

  Show description for b36a90a
  tautschnig

  authored
  b36a90a

  Copy full SHA for b36a90a

Commits on Feb 16, 2018

• Merge pull request #1850 from tautschnig/include-cleanup

  Show description for db9c214
  tautschnig

  authored
  db9c214

  Copy full SHA for db9c214

Commits on Feb 15, 2018

• Include list where using a std::list and drop forall_expr_list macro

  Show description for 13b77d8
  tautschnig

  committed
  13b77d8

  Copy full SHA for 13b77d8

• Use C++ headers instead of their C variants

  tautschnig

  committed
  06f3e83

  Copy full SHA for 06f3e83

Commits on Feb 14, 2018

• Merge pull request #1713 from karkhaz/kk-debug-timestamps

  Show description for a2ebb33
  tautschnig

  authored
  a2ebb33

  Copy full SHA for a2ebb33

• Merge pull request #1834 from diffblue/library-preconditions

  Show description for 7b5dd17
  tautschnig

  authored
  7b5dd17

  Copy full SHA for 7b5dd17

• Merge pull request #1836 from karkhaz/kk-remove-unused-lambda-capture

  Show description for 0f20482
  tautschnig

  authored
  0f20482

  Copy full SHA for 0f20482

Commits on Feb 13, 2018

• Merge pull request #1827 from karkhaz/kk-symex-operator-tidy

  Show description for 932a38f
  tautschnig

  authored
  932a38f

  Copy full SHA for 932a38f

Commits on Feb 10, 2018

• Merge pull request #1821 from smowton/smowton/feature/test-pl-tags

  Show description for bcd88a0
  tautschnig

  authored
  bcd88a0

  Copy full SHA for bcd88a0

Commits on Feb 9, 2018

• Merge pull request #1790 from martin-cs/fix/correct-domain-interface

  Show description for ae6775a
  tautschnig

  authored
  ae6775a

  Copy full SHA for ae6775a

Commits on Jan 30, 2018

• C front-end: fix promotion order for types ranking lower than int

  Show description for cab7b52
  tautschnig

  committed
  cab7b52

  Copy full SHA for cab7b52

Pagination

Previous

Next