Commits

History for

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on May 15, 2019

C++ front-end: Declarator to symbol conversion follows C implementation
tautschnig
committed
e3ed19e

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 Dec 5, 2016

Make header guards uniform
peterschrammel
committed
40dc024

Commits on Nov 29, 2016

Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Aug 27, 2014

Use util/source_location.h
tautschnig
committed
8192e5d
locationt is now source_locationt
kroening
committed
047efdc

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed
2f61175

Commits on Mar 13, 2012

thread_local, asm storage
kroening
committed
4dfc8d3

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading