Commits

History for

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Jul 29, 2019

Do not use backtick as opening single quote
Owen
committed
c4cd7ae

Commits on Sep 25, 2018

Error handling cleanup in src/util, for files with names starting with a-g
danpoe
committed
d5535a9

Commits on May 19, 2018

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

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 Nov 29, 2016

Normalise newlines at ends of files
rjmunro
committed
be69737

Commits on Feb 17, 2016

Adding/extending support for ssa_exprt
kroening
committed
dd6f389

Commits on Nov 20, 2011

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

Commits on Jun 5, 2011

member expressions
kroening
committed
8e3c4c6

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading