Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 23, 2018

• Byte offset to array index translation must use array type

  Show description for 9df769a
  tautschnig

  committed
  9df769a

  Copy full SHA for 9df769a

Commits on Feb 19, 2018

• expand goto_programt and goto_functionst templates

  Show description for ba8bbe2
  

  Daniel Kroening

  committed
  ba8bbe2

  Copy full SHA for ba8bbe2

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

Commits on Jan 25, 2018

• Add doxygen to add-failed-symbols

  smowton

  committed
  dbc00a7

  Copy full SHA for dbc00a7

• JBMC: add failed symbols on a per-function basis

  Show description for 3788467
  smowton

  committed
  3788467

  Copy full SHA for 3788467

Commits on Nov 30, 2017

• Replace objectt in value_set_fivrns.*

  Show description for c543892
  

  Owen Jones

  committed
  c543892

  Copy full SHA for c543892

• Replace objectt in value_set_fivr.*

  Show description for cc8495a
  

  Owen Jones

  committed
  cc8495a

  Copy full SHA for cc8495a

• Replace objectt in value_set_fi.*

  Show description for 5ecee62
  

  Owen Jones

  committed
  5ecee62

  Copy full SHA for 5ecee62

• Replace objectt with optional<mp_integer>

  Show description for 1a51d67
  

  Owen Jones

  committed
  1a51d67

  Copy full SHA for 1a51d67

Commits on Nov 29, 2017

• Replace unsigned with more precise type

  Show description for 2200ac9
  

  Owen Jones

  committed
  2200ac9

  Copy full SHA for 2200ac9

Commits on Nov 27, 2017

• Fix a few typos in function comments

  Show description for 82b25c4
  

  Owen Jones

  committed
  82b25c4

  Copy full SHA for 82b25c4

Commits on Nov 26, 2017

• Document value_sett

  smowton

  committed
  6ebceca

  Copy full SHA for 6ebceca

• Enable value-set to handle DEAD statements

  Show description for 34dc4a9
  smowton

  committed
  34dc4a9

  Copy full SHA for 34dc4a9

• Templatize and virtualize value-set analysis

  Show description for 8fb6da2
  smowton

  committed
  8fb6da2

  Copy full SHA for 8fb6da2

Commits on Nov 23, 2017

• Merge pull request #1583 from polgreen/debug_code_fix

  Show description for dc769f1
  tautschnig

  authored
  dc769f1

  Copy full SHA for dc769f1

• change #if0 to #ifdef DEBUG

  polgreen

  committed
  03c86a8

  Copy full SHA for 03c86a8

Commits on Nov 15, 2017

• Use multi-argument form of FILE command

  reuk

  committed
  d3d632d

  Copy full SHA for d3d632d

Commits on Nov 7, 2017

• Merge pull request #1564 from owen-jones-diffblue/bugfix/object-numbering-references

  Show description for 9b34cdb
  peterschrammel

  authored
  9b34cdb

  Copy full SHA for 9b34cdb

• make debug code compile in value_set.cpp

  Show description for 10131ed
  polgreen

  committed
  10131ed

  Copy full SHA for 10131ed

Commits on Nov 6, 2017

• Generalize ID_malloc to ID_allocate with optional zero-init

  Show description for fb532e8
  tautschnig

  committed
  fb532e8

  Copy full SHA for fb532e8

• Use a known constant offset when dereferencing

  tautschnig

  committed
  cc659c9

  Copy full SHA for cc659c9

• Update all constant offsets, not just 0

  tautschnig

  committed
  c507ccf

  Copy full SHA for c507ccf

• Fix bug that can cause segfault

  Show description for ede0e8c
  

  Owen Jones

  committed
  ede0e8c

  Copy full SHA for ede0e8c

Commits on Oct 31, 2017

• Add eq and neq operators to value_sett and related types

  smowton

  committed
  d4f1b29

  Copy full SHA for d4f1b29

• Replace unsigned with appropriate type

  Show description for 2f6ceed
  

  Owen Jones

  committed
  2f6ceed

  Copy full SHA for 2f6ceed

Commits on Oct 23, 2017

• [pointer-analysis] Better debugging information in pointer analysis

  

  romainbrenguier

  authored and

  smowton

  committed
  d9c0598

  Copy full SHA for d9c0598

Commits on Oct 19, 2017

• Merge pull request #1493 from reuk/reuk/output-instruction-const-ref

  Show description for e847137
  tautschnig

  authored
  e847137

  Copy full SHA for e847137

Commits on Oct 18, 2017

• Replace iterator with const value_type& in output_instruction signature

  reuk

  committed
  dbff05b

  Copy full SHA for dbff05b

• Merge pull request #1485 from diffblue/std_expr_typing

  Show description for 5191170
  tautschnig

  authored
  5191170

  Copy full SHA for 5191170

Commits on Oct 17, 2017

• upgrade uses of deprecated member_exprt constructor

  

  Daniel Kroening

  committed
  de668e6

  Copy full SHA for de668e6

Commits on Oct 16, 2017

• Revert "Value-set analysis: templatise and virtualise to facilitate customisation"

  smowton

  authored
  a18d7ec

  Copy full SHA for a18d7ec

Commits on Oct 13, 2017

• Indirect value_set_domaint -> value_sett operations via non-member functions

  Show description for a99b254
  smowton

  committed
  a99b254

  Copy full SHA for a99b254

• Value-set analysis: ignore DEAD statements

  Show description for 9465771
  smowton

  committed
  9465771

  Copy full SHA for 9465771

• Templatize and virtualize value-set analysis

  Show description for a2c1685
  smowton

  committed
  a2c1685

  Copy full SHA for a2c1685

Commits on Oct 9, 2017

• Enable compilation with NDEBUG defined

  Show description for 764c651
  andreast271

  committed
  764c651

  Copy full SHA for 764c651

Pagination

Previous

Next