Commits

History for

Commits on May 27, 2026

Replace use of ` in messages by quote_begin (and ' by quote_end)
tautschnig
committed
d25d7e2

Commits on Jan 19, 2026

symbol_exprt C++-style API
kroening
committed
aed51dd

Commits on Apr 25, 2024

Avoid duplicate "warning:" or "error:" prefixes in the C/C++ front-end
tautschnig
committed
9659d17

Commits on Mar 5, 2024

C++ front-end: Replace uses of namespacet::follow
tautschnig
committed
2b2fd14

Commits on Mar 23, 2023

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

Commits on Dec 1, 2022

Commits on Nov 20, 2022

Remove unnecessary includes
tautschnig
committed
7ba2bd4

Commits on Nov 19, 2022

Use symbol_table_baset instead of symbol_tablet where possible
tautschnig
committed
1a9ec4e

Commits on Sep 8, 2022

replace uses of typet::subtype() nonconst
kroening
committed
040c93c

Commits on Sep 4, 2022

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

Commits on Jan 13, 2022

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

De-duplicate type checking of GCC polymorphic built-ins
tautschnig
committed
be8f316

Commits on May 1, 2019

Encapsulate ID_already_typechecked in a proper API
tautschnig
committed
09410a6

Commits on Apr 30, 2019

Use !s.empty() instead of s != ""
tautschnig
committed
0210503

Commits on Apr 24, 2019

C++ front-end: default constructed PODs are constants

tautschnig
authored and
kroening
committed
189c1ad

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

C++ front-end: Enable compilation with DEBUG defined

andreast271
authored and
tautschnig
committed
c1f7f85

Commits on Feb 27, 2019

pointer_offset_size functions now use optional
kroening
committed
d285eb8

Commits on Feb 15, 2019

C++ parser: use optionalt<codet> to avoid deprecated codet constructor
tautschnig
committed
d0618c9

Commits on Feb 12, 2019

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

Commits on Feb 7, 2019

Use constructors to build code(-like) objects
tautschnig
committed
32f4aa5
Consistently use void_type() in the C/C++ front-end
tautschnig
committed
20c9977

Commits on Feb 3, 2019

remove base_type_eq and type_eq
kroening
committed
4775ed3

Commits on Jan 30, 2019

Merge pull request #3766 from tautschnig/remove-deprecated-symbol-exprt-constructors
tautschnig
authored
c2e3503

Commits on Jan 29, 2019

Commits on Jan 22, 2019

remove #include "mathematical_types.h" from std_expr.h
kroening
committed
6ae7e0e