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 Sep 10, 2024

Move is_null_pointer to constant_exprt
tautschnig
committed
42b70b2

Commits on Mar 22, 2024

goto-instrument: Replace uses of namespacet::follow
tautschnig
committed
ed0e432

Commits on Feb 2, 2024

argc/argv modelling: argument string must remain in scope
tautschnig
committed
ab93890

Commits on Dec 13, 2023

Remove all references to optionalt
tautschnig
committed
851c486

Commits on Mar 23, 2023

Use get_writeable_symbol() to avoid redundant search
tautschnig
committed
4a93fcf

Commits on Dec 16, 2022

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

Commits on Dec 5, 2022

Merge pull request #5688 from tautschnig/anonymous-members
tautschnig
authored
6672791

Commits on Dec 1, 2022

Consistently use exprt::is_constant()
tautschnig
committed
5eddb4c
Add and cleanup symbolt constructors
tautschnig
committed
0e61c89

Commits on Nov 22, 2022

C front-end: initializer lists do not initialise anonymous members
tautschnig
committed
5d3e9a8

Commits on Oct 27, 2022

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

Commits on Sep 29, 2022

Dump-C: support struct/union types without tags
tautschnig
committed
7d5801f

Commits on Sep 5, 2022

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

Commits on Jul 19, 2022

Merge pull request #6593 from tautschnig/cleanup/is_type_internal
tautschnig
authored
37e45d5

Commits on Jul 13, 2022

Dump-C: retain anonymous compound member types
tautschnig
committed
711cc67

Commits on May 17, 2022

Deprecate find_symbols_or_nexts
tautschnig
committed
7b5eec6

Commits on Feb 24, 2022

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

Commits on Feb 8, 2022

Remove useless system_library_symbolst::is_type_internal
tautschnig
committed
f32b18b

Commits on Jan 31, 2022

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

Commits on Oct 19, 2021

introduce code_frontend_declt
kroening
committed
d15f2b2

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Mar 11, 2021

move the types used in C programs to c_types.h
kroening
committed
6c7e490

Commits on Mar 8, 2021

move bitvector types to bitvector_types.h
kroening
committed
d30e826

Commits on Mar 2, 2021

dump-c: handle further byte_update union initializers
tautschnig
committed
6779f39
dump-c: use a custom expr2c configuration
tautschnig
committed
1828d43

Commits on Feb 17, 2021

Refactor `dump_ct::cleanup_decl`
thomasspriggs
committed
b5df13b
Use `code_declt::set_initial_value`
thomasspriggs
committed
8a14e67
Use `code_declt::initial_value` in `dump_ct::cleanup_decl`
thomasspriggs
committed
f593d18

Commits on Feb 10, 2021

dump-c: handle further byte_update union initializers
tautschnig
committed
cfeb536

Commits on Jan 30, 2021

Merge pull request #5780 from tautschnig/dont-simplify-init
kroening
authored
3199c71

Commits on Jan 29, 2021

Remove {f,F}orall_subtypes
tautschnig
committed
22a59fb
Merge pull request #5785 from tautschnig/forall-irep
tautschnig
authored
2c11501
Replace some uses of {F,f}orall_expr by ranged-for
tautschnig
committed
9034596