Commits

History for

Commits on Dec 1, 2022

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

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

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

Commits on Jan 10, 2019

Do not shadow "it"
tautschnig
committed
a77f7e4

Commits on Oct 5, 2017

Changed interface to symbol_tablet::insert

NathanJPhillips
authored and
smowton
committed
9f4e933
Restricted interface of current symbol_tablet

NathanJPhillips
authored and
smowton
committed
d1d502f

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed
1ccd30e

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on Nov 29, 2016

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 Jul 11, 2016

Consistency: use messaget's error directly instead of
kroening
committed
3fb426e

Commits on Jan 8, 2015

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

Commits on Aug 28, 2014

location -> source_location
kroening
committed
0283bba

Commits on Aug 27, 2014

Use util/source_location.h
tautschnig
committed
8192e5d

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed
2f61175

Commits on Feb 10, 2013

context -> symbol_table
kroening
committed
fa6d5ff

Commits on Apr 1, 2012

hardwire mode
kroening
committed
84e6fc9

Commits on Feb 12, 2012

delayed template instantiation
kroening
committed
7dc19ed

Commits on May 18, 2011

namespace aliases
kroening
committed
70c59fe

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading