Commits

History for

Commits on Oct 20, 2025

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

Commits on Dec 13, 2023

Remove all references to optionalt
tautschnig
committed
851c486

Commits on Oct 4, 2023

Fix duplicate_per_byte when init_expr is signed

Enrico Steffinlongo
authored and
NlightNFotis
committed
a54bc5b

Commits on Sep 12, 2023

Add simplify_expr step to duplicate_per_byte
Enrico Steffinlongo
committed
0ec5018

Commits on Aug 31, 2023

Fix duplicate_per_byte when output is float
Enrico Steffinlongo
committed
da2c2b3

Commits on Aug 29, 2023

Fix SAT failure when bit-or-ing pointers
Enrico Steffinlongo
committed
46135da

Commits on Jul 31, 2023

Improved checks and fixed duplicate_per_byte
Enrico Steffinlongo
committed
54efb47

Commits on Jul 30, 2023

Extend expr_initializer to support byte-wise initialization

peterschrammel
authored and
Enrico Steffinlongo
committed
fe6c7d7
Refactor expr_initializer to take initialization expression

peterschrammel
authored and
Enrico Steffinlongo
committed
7f35826

Commits on Nov 20, 2022

Remove unnecessary includes
tautschnig
committed
7ba2bd4

Commits on Nov 19, 2022

Mark includes that include-what-you-use spuriously suggests to remove
tautschnig
committed
a2e3dd4

Commits on Oct 27, 2022

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

Commits on Jan 18, 2022

array_typet and vector_typet APIs
kroening
committed
a7e039b

Commits on Oct 21, 2021

Handle empty unions via dedicated expression
tautschnig
committed
eff2507

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on May 18, 2019

Avoid out-of-memory conditions when zero-initializing objects

tautschnig
authored and
kroening
committed
375e9a8
Support non-constant array sizes in zero initializer

tautschnig
authored and
kroening
committed
b7f3f2d

Commits on Apr 30, 2019

Use irep_idt() instead of ""
tautschnig
committed
8a277ef

Commits on Mar 12, 2019

strengthen typing of array_exprt::type
kroening
committed
6461a1f

Commits on Feb 27, 2019

Remove symbol_typet

kroening
authored and
tautschnig
committed
44858f2

Commits on Feb 7, 2019

use optionalt<exprt> instead of nil_exprt in expr_initializer
kroening
committed
416687c

Commits on Jan 23, 2019

Remove ns.follow when types cannot be hidden behind tags
tautschnig
committed
01ede2d
expr_initializert: fix type of enum constants

kroening
authored and
thk123
committed
6f38516

Commits on Jan 21, 2019

Construct array_exprt in a non-deprecated way
tautschnig
committed
475a7b9

Commits on Jan 14, 2019

Merge pull request #3775 from tautschnig/deprecation-struct_exprt
tautschnig
authored
4022dfb

Commits on Jan 13, 2019

Construct struct_exprt in a non-deprecated way
tautschnig
committed
3e82e5b
Construct vector_exprt in a non-deprecated way
tautschnig
committed
fc6588f

Commits on Jan 12, 2019

Construct union_exprt in a non-deprecated way
tautschnig
committed
61bb77a

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 3, 2019

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

Commits on Nov 3, 2018

replace copy_to_operands by add_to_operands
kroening
committed
f2e4d43

Commits on Nov 2, 2018

Use numeric_cast<mp_integer> instead of deprecated to_integer(exprt)
tautschnig
committed
638d91c

Commits on Oct 29, 2018

Merge pull request #3057 from tautschnig/expr_init-fix
tautschnig
authored
10df746

Commits on Oct 28, 2018

Wrap local vars in std::move (Clang 7 build fix)
karkhaz
committed
72bfc35

Commits on Oct 23, 2018

Re-enable users of {expr,nondet}_initializer to do their own error reporting
tautschnig
committed
c2dbb57