Commits

History for

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 May 7, 2021

Remove forall_symbol_base_map
tautschnig
committed
f661522

Commits on Jan 19, 2021

Remove {forall,Forall}_symbolptr_list
tautschnig
committed
edcbb26

Commits on Jul 29, 2019

Do not use backtick as opening single quote
Owen
committed
c4cd7ae

Commits on Apr 30, 2019

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

Commits on Feb 23, 2018

Refactor `forall_symbols` usage into c++11 loop.
thomasspriggs
committed
f1670b2

Commits on Jul 17, 2017

Fix include order in util
reuk
committed
ba73db3

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on Feb 15, 2017

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

Commits on Jan 5, 2017

Use ranged-for
tautschnig
committed
11e960c

Commits on Jan 3, 2017

merge of PR #347
kroening
committed
2db625a

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 Apr 18, 2016

various ranged for introduced
kroening
committed
873e468

Commits on Jul 5, 2015

no longer uses message_stream
kroening
committed
f842bc9
use new message API
kroening
committed
59ecaf1

Commits on Feb 10, 2013

context -> symbol_table
kroening
committed
fa6d5ff

Commits on Sep 17, 2012

clean out old stuff from symbolt
kroening
committed
1a794a4

Commits on Nov 20, 2011

Michael's patch to clean up the include files
kroening
committed
ec34836

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading