Commits

History for

Commits on Mar 23, 2023

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

Commits on Dec 1, 2022

Replace assert(...) by macros from invariant.h
tautschnig
committed
f901919
C++ front-end: use new symbolt constructors
tautschnig
committed
6ac16bf

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
Use symbol_table_baset instead of symbol_tablet where possible
tautschnig
committed
1a9ec4e

Commits on Jul 29, 2019

Do not use backtick as opening single quote
Owen
committed
c4cd7ae

Commits on May 15, 2019

Re-use C type conversion in C++ front-end
tautschnig
committed
f13e8f9

Commits on May 1, 2019

Encapsulate ID_already_typechecked in a proper API
tautschnig
committed
09410a6

Commits on Apr 11, 2019

Commits on Mar 26, 2019

Use symbol_tablet::lookup_ref and ::get_writeable_ref
smowton
committed
b79a100

Commits on Feb 27, 2019

Handle struct/union/enum tag types instead of symbol types
tautschnig
committed
30129ba

Commits on Jan 10, 2019

C++: introduce template_parameter_symbol_type
kroening
committed
7fd2cf7

Commits on Nov 14, 2018

Do not shadow parameter "type"
tautschnig
committed
60dbdc3
Avoid shadowing "save_scope"
tautschnig
committed
d125fb7

Commits on Sep 29, 2018

cpp_scopet::lookup methods now return an id set
kroening
committed
89b2bb3

Commits on Sep 24, 2018

Use cpp_namet's and namet's constructors
tautschnig
committed
7f817ca

Commits on Sep 21, 2018

C++ front-end: Use IDs instead of raw string
tautschnig
committed
d16df65

Commits on Aug 10, 2018

type symbols now use ID_symbol_type
kroening
committed
f93deec

Commits on Jun 11, 2018

C++ front-end: qualified template specialisation can just be accepted
tautschnig
committed
57a14b0

Commits on Oct 11, 2017

Modify/add symbol table lookup and get_writeable
reuk
committed
a9ba0f9

Commits on Oct 5, 2017

Made lookup return optional

NathanJPhillips
authored and
smowton
committed
a9d802b
Restricted interface of current symbol_tablet

NathanJPhillips
authored and
smowton
committed
d1d502f

Commits on Aug 15, 2017

Deactivate unreachable code

peterschrammel
authored and
kroening
committed
9ea407b

Commits on Jul 24, 2017

Commits on Jul 20, 2017

Fix linter errors, ignoring big-int and miniz
reuk
committed
52e5765
Fix nullptr
reuk
committed
a06cf76

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed
1ccd30e

Commits on Jun 26, 2017

Fix typos
Owen Jones
committed
60c9fb2

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on May 16, 2017

Convert endl to newline in cpp
reuk
committed
fbef879