Commits

History for

Commits on Jan 19, 2026

symbol_exprt C++-style API
kroening
committed
aed51dd

Commits on Oct 20, 2025

Use operator==(exprt, int) instead of is_zero
tautschnig
committed
b89c75d

Commits on Jun 3, 2025

Flow-insensitive value set: don't create index expressions over non-array objects
tautschnig
committed
0efab54

Commits on Sep 10, 2024

Move is_null_pointer to constant_exprt
tautschnig
committed
42b70b2

Commits on Apr 30, 2024

Pointer analysis: Replace uses of namespacet::follow
tautschnig
committed
0332e47

Commits on Feb 6, 2024

use dstringt::starts_with
kroening
committed
5747032

Commits on Jul 19, 2023

get_value_set_rec: Replace mutable class member by additional parameter
tautschnig
committed
88dd798

Commits on Dec 1, 2022

Commits on Oct 27, 2022

GOTO programs do not have code-typed struct members
tautschnig
committed
4c8e44b

Commits on Sep 5, 2022

remove uses of typet::subtype() nonconst
kroening
committed
d8983b6

Commits on Sep 2, 2022

remove uses of typet::subtype() const
kroening
committed
84f0644

Commits on Jul 14, 2022

member_exprt now checks type of compound operand
kroening
committed
55fc192

Commits on May 24, 2022

remove uses of typet::subtype() const
kroening
committed
9073968

Commits on May 17, 2022

Commits on Mar 24, 2022

Full slice: support havoc_object
tautschnig
committed
2e15fb4
Full slicing: fix bugs in handling array_equal
tautschnig
committed
e098f86

Commits on Mar 23, 2022

Disambiguate overloaded insert(...) calls
tautschnig
committed
6aca25c

Commits on Feb 26, 2022

Merge pull request #2736 from diffblue/value_set_fi_hacks
tautschnig
authored
a5092cb

Commits on Feb 24, 2022

Wrap NULL/0 is-a-null-pointer in a utility function
tautschnig
committed
2992eaf

Commits on Feb 15, 2022

Tolerate three cases of imprecision in value_set_fi

kroening
authored and
tautschnig
committed
15311a0

Commits on Jan 13, 2022

rename index_type and enum_constant_type
kroening
committed
4271a0a

Commits on Oct 22, 2021

move goto_instruction_code.h to goto-programs/
kroening
committed
093a216

Commits on Oct 20, 2021

introduce code_frontend_returnt
kroening
committed
47a3277

Commits on Oct 8, 2021

move codet types specific to goto-programs into a separate header file
kroening
committed
ea13baf

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d
Remove no-op handling of non-existent dynamic_size expression
tautschnig
committed
47bb871

Commits on Jan 19, 2021

Merge pull request #5763 from diffblue/pointer_expr_h
kroening
authored
da8d539
Remove {f,F}orall_objects
tautschnig
committed
48bbb5e
move pointer-related expression classes into separate header file
kroening
committed
6e2b157

Commits on Nov 16, 2020

Remove unnecessary cassert include
tautschnig
committed
2492545

Commits on Nov 11, 2020

Remove deprecated methods of value sets
tautschnig
committed
2d8642a