Commits

Branch selector

 30a8a70

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 23, 2019

• clang-format trace_show_function_calls/main.c

  

  Daniel Kroening

  committed
  30a8a70

  Copy full SHA for 30a8a70

Commits on Feb 22, 2019

• Merge pull request #4256 from tautschnig/allocated-bounds

  Show description for 744c6f3
  tautschnig

  authored
  744c6f3

  Copy full SHA for 744c6f3

• Merge pull request #4252 from tautschnig/use-parameter-identifiers

  Show description for df79716
  tautschnig

  authored
  df79716

  Copy full SHA for df79716

• Merge pull request #4245 from tautschnig/prefix.h-include

  Show description for 5b32a61
  tautschnig

  authored
  5b32a61

  Copy full SHA for 5b32a61

• Take __CPROVER_allocated_memory regions into account for --bounds-check

  Show description for 51f5796
  tautschnig

  committed
  51f5796

  Copy full SHA for 51f5796

• Rename par_type to parameter_type

  Show description for 619a47c
  tautschnig

  committed
  619a47c

  Copy full SHA for 619a47c

• Use goto_functiont::parameter_identifiers instead of looking at the type

  Show description for 6adfd37
  tautschnig

  committed
  6adfd37

  Copy full SHA for 6adfd37

• 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

• Do not use has_prefix in source_location.h

  Show description for 24bf054
  tautschnig

  committed
  24bf054

  Copy full SHA for 24bf054

• 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

Pagination

Previous

Next