Commits

History for

Commits on Oct 20, 2025

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

Commits on Sep 10, 2024

Move is_null_pointer to constant_exprt
tautschnig
committed
42b70b2

Commits on Mar 5, 2024

C++ front-end: Replace uses of namespacet::follow
tautschnig
committed
2b2fd14
C++ type checking: use reference_typet, pointer_typet
tautschnig
committed
bf29f34

Commits on Dec 16, 2022

Merge pull request #6542 from tautschnig/is_constant
kroening
authored
c2813b7

Commits on Dec 1, 2022

Consistently use exprt::is_constant()
tautschnig
committed
5eddb4c
Consistently use exprt::is_boolean()
tautschnig
committed
882b295
Replace assert(...) by macros from invariant.h
tautschnig
committed
f901919

Commits on Oct 11, 2022

C++: __CPROVER_integer and __CPROVER_rational
kroening
committed
d8b909b

Commits on Sep 9, 2022

use typet::add_subtype
kroening
committed
61acf6c

Commits on Sep 4, 2022

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

Commits on May 24, 2022

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

Commits on Feb 24, 2022

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

Commits on Jan 31, 2022

remove usage of typet::subtype()
kroening
committed
3b27b76

Commits on Jan 13, 2022

Merge pull request #6577 from diffblue/c_index_type
tautschnig
authored
087296a
introduce pointer_typet::base_type()
kroening
committed
4f135cc
rename index_type and enum_constant_type
kroening
committed
4271a0a

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Jan 19, 2021

move pointer-related expression classes into separate header file
kroening
committed
6e2b157

Commits on Oct 20, 2019

fix exprt::opX() accesses in cpp/
kroening
committed
6457a5e

Commits on Jul 29, 2019

Do not use backtick as opening single quote
Owen
committed
c4cd7ae

Commits on May 1, 2019

Encapsulate ID_already_typechecked in a proper API
tautschnig
committed
09410a6

Commits on Apr 11, 2019

Typecheck friend type declarations

peterschrammel
authored and
tautschnig
committed
ebb3ea4

Commits on Apr 8, 2019

Use parametert::get_this()
tautschnig
committed
b18138c

Commits on Apr 1, 2019

Replace side effects expressions inside address_of

tautschnig
authored and
kroening
committed
ff128a6

Commits on Feb 12, 2019

Use modern API to access parametert's identifier and base name
tautschnig
committed
249002d

Commits on Feb 7, 2019

Replace make_typecast by typecast_exprt or typecast_exprt::conditional_cast
tautschnig
committed
ebaacea

Commits on Jan 29, 2019

Construct side_effect_expr_function_callt in a non-deprecated way
tautschnig
committed
28ea7a5

Commits on Jan 25, 2019

Use (non-trivial) constructors for plus_exprt, side_effect_exprt

tautschnig
authored and
kroening
committed
886d8d1

Commits on Jan 21, 2019

Merge pull request #3623 from tautschnig/struct-union-constructor
tautschnig
authored
1c12543

Commits on Jan 20, 2019

Replace all uses of move_to_operands
tautschnig
committed
15aef45

Commits on Jan 14, 2019

Commits on Jan 8, 2019

replace incomplete_struct/_union/_c_enum by a flag in struct_/union_/c_enum_type

kroening
authored and
tautschnig
committed
f9c3236

Commits on Jan 2, 2019

Introduce ID_to_member to replace "to-member" string literals
tautschnig
committed
c9bbc4c