Commits

History for

Commits on Oct 20, 2025

operator== for exprt and bool, int, nullptr_t
tautschnig
committed
8826514

Commits on Jun 25, 2025

Remove deprecated is_null_pointer
tautschnig
committed
880f4f9

Commits on Feb 4, 2025

Split ieee_floatt into ieee_float_valuet and ieee_floatt
kroening
committed
d73f9ab

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 some uses of forall_operands by ranged-for
tautschnig
committed
7cb1f5b

Commits on Feb 24, 2022

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

Commits on Feb 3, 2022

Use source_locationt::nil() instead of local static_cast
tautschnig
committed
216e74e

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Mar 31, 2021

Move exprt::bounded_size to complexity_limitert
tautschnig
committed
8f61a22

Commits on Mar 25, 2021

Optimise size to have approximate bound
TGWDB
committed
bc00629

Commits on Mar 8, 2021

move bitvector types to bitvector_types.h
kroening
committed
d30e826

Commits on Mar 2, 2021

dump-c: fix output of _Bool-typed constants
tautschnig
committed
5c3179c

Commits on Nov 11, 2020

Remove deprecated exprt::move_to_operands
tautschnig
committed
d5a1840

Commits on Nov 7, 2020

Remove exprt::make_bool
kroening
committed
22d448b

Commits on Nov 8, 2019

remove exprt::make_typecast
kroening
committed
e9acd33

Commits on Oct 16, 2019

Add size() to exprt to count nodes
JohnDumbell
committed
9e7d196

Commits on Apr 17, 2019

exprt::visit: added post-order variants
kroening
committed
f30d9db

Commits on Apr 16, 2019

Introduce exprt::visit_pre
kroening
committed
f0d7f62

Commits on Mar 18, 2019

exprt::visit now accepts a lambda
kroening
committed
61c2862

Commits on Jan 3, 2019

Indent continuation lines after \param and \return in doxygen
Owen
committed
22370b5

Commits on Dec 3, 2018

Remove deprecated exprt::make_true
tautschnig
committed
d33be42

Commits on Dec 2, 2018

Merge pull request #3488 from tautschnig/no-make_not
tautschnig
authored
6e2acdb

Commits on Dec 1, 2018

Remove deprecated (and now unused) exprt::make_not
tautschnig
committed
3c5394c
Remove deprecated exprt::make_false
tautschnig
committed
4a11b90

Commits on Nov 10, 2018

Do not shadow local variable l
tautschnig
committed
c3b87a2

Commits on Nov 1, 2018

Do not use exprt::move_to_operands as it is marked as deprecated
tautschnig
committed
ec5e0be

Commits on Oct 19, 2018

use 'bvrep' as terminology for 'bitvector representation'
kroening
committed
7235f23
move bv2integer and integer2bv to arith_tools.h
kroening
committed
14204da

Commits on Oct 18, 2018

bv2integer is now told the width
kroening
committed
92f2621

Commits on Oct 12, 2018

typing of constant_exprt in exprt::is_one
kroening
committed
5eca8b6

Commits on Oct 4, 2018

introduce integer2bv and bv2integer
kroening
committed
935f4d2

Commits on Oct 1, 2018

inline exprt::copy_to_operands(...)
kroening
committed
d178327

Commits on Aug 23, 2018

Document util/expr.{cpp,h}
Joel Allred
committed
9dc1f0e