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 Aug 21, 2025

• Merge pull request #8653 from tautschnig/no-special-case

  Show description for 1803cbb
  tautschnig

  authored
  1803cbb

  Copy full SHA for 1803cbb

• Merge pull request #8651 from tautschnig/value-set-fi-fix

  Show description for aa0586b
  tautschnig

  authored
  aa0586b

  Copy full SHA for aa0586b

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 Jun 3, 2025

• Flow-insensitive value set: don't create index expressions over non-array objects

  Show description for 0efab54
  tautschnig

  committed
  0efab54

  Copy full SHA for 0efab54

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 Feb 10, 2025

• Value-set based dereferencing: fix simplified handling of *(p + i)

  Show description for b8c6b40
  tautschnig

  committed
  b8c6b40

  Copy full SHA for b8c6b40

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 Mar 7, 2024

• Reduce the number of symbol_exprt without a source location

  Show description for 5951105
  tautschnig

  committed
  5951105

  Copy full SHA for 5951105

Commits on Feb 6, 2024

• use dstringt::starts_with

  Show description for 5747032
  kroening

  committed
  5747032

  Copy full SHA for 5747032

Commits on Jan 11, 2024

• Remove support for irep_idt-as-std::string

  Show description for 4d935bf
  tautschnig

  committed
  4d935bf

  Copy full SHA for 4d935bf

Commits on Dec 15, 2023

• Merge pull request #8100 from tautschnig/cleanup/dereference-messaget

  Show description for f663957
  tautschnig

  authored
  f663957

  Copy full SHA for f663957

Commits on Dec 13, 2023

• Remove all references to optionalt

  Show description for 851c486
  tautschnig

  committed
  851c486

  Copy full SHA for 851c486

• Remove default messaget value from goto_program_dereferencet

  Show description for 18ab74b
  tautschnig

  committed
  18ab74b

  Copy full SHA for 18ab74b

Commits on Nov 17, 2023

• Remove util_make_unique

  Show description for 096f454
  tautschnig

  committed
  096f454

  Copy full SHA for 096f454

Commits on Sep 10, 2023

• Tweak headers to keep include-what-you-use happy

  martin-cs

  committed
  168901f

  Copy full SHA for 168901f

Commits on Sep 9, 2023

• Adapt accessor methods to ait's newer style

  Show description for 961db10
  

  martin

  authored and

  martin-cs

  committed
  961db10

  Copy full SHA for 961db10

• 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 Aug 29, 2023

• Correctly set value-set dereference pointer

  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  1d4a8d1

  Copy full SHA for 1d4a8d1

Commits on Aug 11, 2023

• Use help_formatter

  Show description for 28d4662
  tautschnig

  committed
  28d4662

  Copy full SHA for 28d4662

• Use help_entry to consistently format help output

  Show description for 89b3740
  tautschnig

  committed
  89b3740

  Copy full SHA for 89b3740

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 Feb 20, 2023

• Fully remove rewrite_index

  Show description for 8c2af15
  tautschnig

  committed
  8c2af15

  Copy full SHA for 8c2af15

Commits on Jan 19, 2023

• make pointer_offset_exprt unsigned

  Show description for f8cc13a
  

  kroening

  authored and

  tautschnig

  committed
  f8cc13a

  Copy full SHA for f8cc13a

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

• Merge pull request #5790 from tautschnig/forall-operands

  Show description for 837cd1b
  tautschnig

  authored
  837cd1b

  Copy full SHA for 837cd1b

• 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