Commits

History for

Commits on Aug 11, 2023

Use help_formatter
tautschnig
committed
28d4662
Use help_entry to consistently format help output
tautschnig
committed
89b3740

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 Feb 26, 2021

Fix formatting issues in the --help output text
martin
committed
a56d059

Commits on Nov 19, 2020

remove_const_function_pointerst isn't a messaget
tautschnig
committed
82cfbd4

Commits on Jun 4, 2018

remove_const_function_pointerst::functionst only holds symbol expressions
tautschnig
committed
07ef32d

Commits on Apr 27, 2018

Remove unused includes
tautschnig
committed
a6a825a

Commits on Jun 13, 2017

Improved the interface of remove_const_functions
thk123
committed
ab23684

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on Mar 24, 2017

Added flag for goto-instrument to just remove const function pointers

thk123
authored and
thk123
committed
db11c31
Swap to using an unorded set

thk123
authored and
thk123
committed
cf6a49a
Renaming functions to more consistent name

thk123
authored and
thk123
committed
10a08ef
Extracted element dealing with calling resolve on each result

thk123
authored and
thk123
committed
8362233
Split up try_resolve_expression into functions

thk123
authored and
thk123
committed
a75957b
Made the behaviour of try_resolve_function_call clearer

thk123
authored and
thk123
committed
5d33d4d
Split out functions from try_resolve_function_call

thk123
authored and
thk123
committed
6298fea
Fixed major bug with non const structs
thk123
committed
931b239
Squash constant symbols first
thk123
committed
132801a
Fixed issue with structs with other components
thk123
committed
208ef2b
First implemention of the new approach
thk123
committed
563a351

Loading