Commits

History for

Commits on Apr 25, 2024

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

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Jan 29, 2021

Remove {f,F}orall_irep
tautschnig
committed
3db58c9

Commits on Jul 29, 2019

Do not use backtick as opening single quote
Owen
committed
c4cd7ae

Commits on Jan 10, 2019

C++: clean out symbol_type
kroening
committed
81c12bd

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 Dec 6, 2018

C++: bases are now struct tags

kroening
authored and
Joel Allred
committed
2026b01

Commits on Nov 12, 2018

Do not shadow parameter is_virtual
tautschnig
committed
e25e0b3

Commits on Oct 5, 2018

c++: use struct_tag instead of symbol_type
kroening
committed
d2f803a

Commits on Sep 28, 2018

base types are symbol_typet
kroening
committed
17bca0a

Commits on Sep 25, 2018

Move class_typet::baset to struct_typet
tautschnig
committed
1f5e03c

Commits on Sep 23, 2018

Merge branch 'develop' into ID_base_name
kroening
authored
b1a3a52

Commits on Sep 21, 2018

Merge pull request #3002 from tautschnig/struct-class
kroening
authored
9864a22
Use componentt::get_base_name() instead of irept::get(ID_base_name)
tautschnig
committed
cb4ea5b
Use componentt's API
tautschnig
committed
e17619f
C++ front-end: Use IDs instead of raw string
tautschnig
committed
d16df65
Move is_class and default_access to struct_union_typet
tautschnig
committed
cf07c6c

Commits on Sep 17, 2018

use ranged for over components
kroening
committed
c5aa37a

Commits on Aug 10, 2018

type symbols now use ID_symbol_type
kroening
committed
f93deec

Commits on May 19, 2018

strongly type the lookup() methods in namespacet
kroening
committed
d77dea3

Commits on Aug 29, 2017

replace assert(false) by UNREACHABLE
kroening
committed
5a04db9

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed
1ccd30e

Commits on Jun 8, 2017

Clean-up irep-id emptyness checks in cpp
peterschrammel
committed
6f61609

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on May 15, 2017

Use strong enum in cpp_typecheck_resolve
reuk
committed
66135c9

Commits on Feb 15, 2017

Whitespace and line breaks to match coding guidelines (part 2)
tautschnig
committed
cd9d007

Commits on Nov 29, 2016

Normalise newlines at ends of files
rjmunro
committed
be69737
Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Jul 20, 2016

further work towards new messaging API
kroening
committed
95b18a1

Commits on Jan 8, 2015

big change: the c:: prefix on identifiers is gone
kroening
committed
3a51575

Commits on Dec 31, 2014

location -> source_location
kroening
committed
3d131ee

Commits on Aug 28, 2014

location -> source_location
kroening
committed
0283bba

Commits on Aug 27, 2014

Renamed non-const exprt::location() and typet::location() to add_source_location()
tautschnig
committed
22960dc

Commits on Feb 12, 2012

terminology cleanup
kroening
committed
3667499
elaboration fixes
kroening
committed
bd77f79