Commits

Branch selector

 eabc411

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 22, 2019

• Merge pull request #4253 from tautschnig/codeowners

  Show description for eabc411
  tautschnig

  authored
  eabc411

  Copy full SHA for eabc411

• Merge pull request #4255 from tautschnig/fix-test-spec

  Show description for 57ffdf4
  tautschnig

  authored
  57ffdf4

  Copy full SHA for 57ffdf4

• Add Owen as code owner to analyses, pointer-analysis

  Show description for 4ee0b9a
  tautschnig

  committed
  4ee0b9a

  Copy full SHA for 4ee0b9a

• Fix exit/signal specifications in enum-trace1

  Show description for 3851364
  tautschnig

  committed
  3851364

  Copy full SHA for 3851364

• Merge pull request #4241 from tautschnig/cex-string

  Show description for e6f659d
  tautschnig

  authored
  e6f659d

  Copy full SHA for e6f659d

Commits on Feb 21, 2019

• Merge pull request #4226 from peterschrammel/fix-c-enum-output

  Show description for 628f776
  peterschrammel

  authored
  628f776

  Copy full SHA for 628f776

• Merge pull request #4223 from peterschrammel/get-only-failed-properties

  Show description for c011ed5
  peterschrammel

  authored
  c011ed5

  Copy full SHA for c011ed5

• Merge pull request #4225 from peterschrammel/function-return-without-body

  Show description for 417e0cc
  peterschrammel

  authored
  417e0cc

  Copy full SHA for 417e0cc

• Counterexamples: show strings, not address-of-character

  Show description for 6d31679
  tautschnig

  committed
  6d31679

  Copy full SHA for 6d31679

• Merge pull request #4207 from diffblue/parameter_identifiers

  Show description for 88c9629
  tautschnig

  authored
  88c9629

  Copy full SHA for 88c9629

• Add validation for code block

  

  thk123

  authored and

  Daniel Kroening

  committed
  b9898b1

  Copy full SHA for b9898b1

• Merge pull request #4232 from tautschnig/array-fixup

  Show description for c09e2a6
  tautschnig

  authored
  c09e2a6

  Copy full SHA for c09e2a6

• Store identifiers of parameters in goto_functiont::parameter_identifiers

  Show description for aa181b6
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  aa181b6

  Copy full SHA for aa181b6

• Merge pull request #3618 from tautschnig/exit-signal-mandatory

  Show description for e3ed7a5
  tautschnig

  authored
  e3ed7a5

  Copy full SHA for e3ed7a5

• test.pl: check for EXIT and SIGNAL patterns if -e is set

  Show description for bb79432
  tautschnig

  committed
  bb79432

  Copy full SHA for bb79432

• Add missing EXIT or SIGNAL specifications

  Show description for 8e013bc
  tautschnig

  committed
  8e013bc

  Copy full SHA for 8e013bc

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

  Show description for 28f61dc
  tautschnig

  authored
  28f61dc

  Copy full SHA for 28f61dc

• Merge pull request #4212 from diffblue/undeclared_function

  Show description for febda72
  tautschnig

  authored
  febda72

  Copy full SHA for febda72

• Avoid json.h include in message.h

  Show description for 7e5bf13
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  7e5bf13

  Copy full SHA for 7e5bf13

• Merge pull request #4198 from smowton/smowton/fix/initialise-classid-strings

  Show description for 86a595a
  smowton

  authored
  86a595a

  Copy full SHA for 86a595a

• Use byte_update_exprt constructor

  Show description for f6dea89
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  f6dea89

  Copy full SHA for f6dea89

• Remove unused includes list, functional from expr.h

  Show description for df18307
  tautschnig

  committed
  df18307

  Copy full SHA for df18307

• Document to_integer

  Show description for f70bc55
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  f70bc55

  Copy full SHA for f70bc55

• Merge pull request #4243 from tautschnig/irep-deprecated-cleanup

  Show description for 54c5ff2
  tautschnig

  authored
  54c5ff2

  Copy full SHA for 54c5ff2

• Merge pull request #4236 from diffblue/mp_arith_includes

  Show description for 15d2d53
  tautschnig

  authored
  15d2d53

  Copy full SHA for 15d2d53

• Remove deprecated irept::get_unsigned_int

  Show description for 046a8c3
  tautschnig

  committed
  046a8c3

  Copy full SHA for 046a8c3

• Merge pull request #4242 from tautschnig/allocate-fix

  Show description for 6450fb0
  tautschnig

  authored
  6450fb0

  Copy full SHA for 6450fb0

• symex_allocate: only use alloc_size when set

  Show description for b5c07f4
  tautschnig

  committed
  b5c07f4

  Copy full SHA for b5c07f4

• Merge pull request #4237 from diffblue/instructiont-transform

  Show description for 911b9f3
  tautschnig

  authored
  911b9f3

  Copy full SHA for 911b9f3

Commits on Feb 20, 2019

• adding instructiont::transform(f)

  Show description for b5f33de
  

  Daniel Kroening

  committed
  b5f33de

  Copy full SHA for b5f33de

• Fix C enum XML output

  Show description for 7fa0f97
  peterschrammel

  committed
  7fa0f97

  Copy full SHA for 7fa0f97

• Fix C enum JSON output

  Show description for d8b34f2
  peterschrammel

  committed
  d8b34f2

  Copy full SHA for d8b34f2

• Add regression test for multiple coverage goal instances

  Show description for 94ca5d9
  peterschrammel

  committed
  94ca5d9

  Copy full SHA for 94ca5d9

• Get_all_property_ids should only return failed properties

  Show description for 30f26d2
  peterschrammel

  committed
  30f26d2

  Copy full SHA for 30f26d2

• remove two unused includes from util/mp_arith.h

  Show description for 199df5f
  

  Daniel Kroening

  committed
  199df5f

  Copy full SHA for 199df5f

Pagination

Previous

Next