Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jan 19, 2026

• symbol_exprt C++-style API

  Show description for aed51dd
  kroening

  committed
  aed51dd

  Copy full SHA for aed51dd

Commits on Oct 20, 2025

• Use operator==(exprt, int) instead of is_zero

  Show description for b89c75d
  tautschnig

  committed
  b89c75d

  Copy full SHA for b89c75d

Commits on Jul 28, 2025

• Value set: remove array-of-array special case

  Show description for b2cd145
  tautschnig

  committed
  b2cd145

  Copy full SHA for b2cd145

Commits on Jun 25, 2025

• fixup! Value set: lift offset from numeric constants to expressions

  Show description for 3360696
  tautschnig

  committed
  3360696

  Copy full SHA for 3360696

Commits on Jun 24, 2025

• Value set: lift offset from numeric constants to expressions

  Show description for 056be83
  tautschnig

  committed
  056be83

  Copy full SHA for 056be83

• value_sett: replace uses of `throw` by invariants

  Show description for 7fc006e
  tautschnig

  committed
  7fc006e

  Copy full SHA for 7fc006e

Commits on Apr 3, 2025

• Address include-what-you-use warnings

  Show description for 7540c49
  tautschnig

  committed
  7540c49

  Copy full SHA for 7540c49

Commits on Sep 10, 2024

• Move is_null_pointer to constant_exprt

  Show description for 42b70b2
  tautschnig

  committed
  42b70b2

  Copy full SHA for 42b70b2

Commits on Apr 30, 2024

• Pointer analysis: Replace uses of namespacet::follow

  Show description for 0332e47
  tautschnig

  committed
  0332e47

  Copy full SHA for 0332e47

Commits on Feb 6, 2024

• use dstringt::starts_with

  Show description for 5747032
  kroening

  committed
  5747032

  Copy full SHA for 5747032

Commits on Dec 13, 2023

• Remove all references to optionalt

  Show description for 851c486
  tautschnig

  committed
  851c486

  Copy full SHA for 851c486

Commits on Sep 9, 2023

• Port value_set_analysist and value_set_domain to the ai framework

  Show description for 686c9e4
  

  martin

  authored and

  martin-cs

  committed
  686c9e4

  Copy full SHA for 686c9e4

Commits on Jul 19, 2023

• get_value_set_rec: Replace mutable class member by additional parameter

  Show description for 88dd798
  tautschnig

  committed
  88dd798

  Copy full SHA for 88dd798

• Value sets: make pointers nondet only once

  Show description for 63f3a8d
  tautschnig

  committed
  63f3a8d

  Copy full SHA for 63f3a8d

Commits on Dec 1, 2022

• Consistently use exprt::is_constant()

  Show description for 5eddb4c
  tautschnig

  committed
  5eddb4c

  Copy full SHA for 5eddb4c

• Merge pull request #6754 from tautschnig/cleanup/assert-to-invariant

  Show description for 8ed5e40
  tautschnig

  authored
  8ed5e40

  Copy full SHA for 8ed5e40

• Replace assert(...) by macros from invariant.h

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

• Replace some uses of forall_operands by ranged-for

  Show description for 7cb1f5b
  tautschnig

  committed
  7cb1f5b

  Copy full SHA for 7cb1f5b

Commits on Nov 22, 2022

• Value sets: type casts need not be towards a pointer type

  Show description for 3af5731
  tautschnig

  committed
  3af5731

  Copy full SHA for 3af5731

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on Nov 14, 2022

• Value sets: try to extract pointers from any other expression

  Show description for 3b8fa07
  tautschnig

  committed
  3b8fa07

  Copy full SHA for 3b8fa07

• Value sets: handle extractbits out of pointers

  Show description for 35dc5e7
  tautschnig

  committed
  35dc5e7

  Copy full SHA for 35dc5e7

Commits on Oct 27, 2022

• GOTO programs do not have code-typed struct members

  Show description for 4c8e44b
  tautschnig

  committed
  4c8e44b

  Copy full SHA for 4c8e44b

Commits on Sep 2, 2022

• remove uses of typet::subtype() const

  Show description for 84f0644
  kroening

  committed
  84f0644

  Copy full SHA for 84f0644

Commits on Aug 12, 2022

• Value sets: track pointers through shifts

  Show description for fef6c60
  tautschnig

  committed
  fef6c60

  Copy full SHA for fef6c60

Commits on Jul 14, 2022

• member_exprt now checks type of compound operand

  Show description for 55fc192
  kroening

  committed
  55fc192

  Copy full SHA for 55fc192

Commits on May 17, 2022

• Merge pull request #6763 from tautschnig/bugfixes/fs-havoc_object

  Show description for a5b7d0d
  tautschnig

  authored
  a5b7d0d

  Copy full SHA for a5b7d0d

• Merge pull request #6762 from tautschnig/bugfixes/fs-array_equal

  Show description for a12526a
  tautschnig

  authored
  a12526a

  Copy full SHA for a12526a

• Merge pull request #6755 from tautschnig/cleanup/overload

  Show description for e6b943f
  tautschnig

  authored
  e6b943f

  Copy full SHA for e6b943f

Commits on Apr 13, 2022

• introduce pointer_offset_exprt

  Show description for a290617
  kroening

  committed
  a290617

  Copy full SHA for a290617

Commits on Mar 24, 2022

• Full slice: support havoc_object

  Show description for 2e15fb4
  tautschnig

  committed
  2e15fb4

  Copy full SHA for 2e15fb4

• Full slicing: fix bugs in handling array_equal

  Show description for e098f86
  tautschnig

  committed
  e098f86

  Copy full SHA for e098f86

Commits on Mar 23, 2022

• Disambiguate overloaded insert(...) calls

  Show description for 6aca25c
  tautschnig

  committed
  6aca25c

  Copy full SHA for 6aca25c

Commits on Feb 26, 2022

• Merge pull request #2736 from diffblue/value_set_fi_hacks

  Show description for a5092cb
  tautschnig

  authored
  a5092cb

  Copy full SHA for a5092cb

Commits on Feb 24, 2022

• Wrap NULL/0 is-a-null-pointer in a utility function

  Show description for 2992eaf
  tautschnig

  committed
  2992eaf

  Copy full SHA for 2992eaf