Commits

History for

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Apr 30, 2019

Disable clang-format for recently touched switch statements
tautschnig
committed
87e86bb
Handle all enum values in switch/case
tautschnig
committed
81cd230

Commits on Dec 20, 2018

Avoid warning about not returning a value
tautschnig
committed
56499b9

Commits on Sep 30, 2018

produce indents using string constructor
kroening
committed
a0985d9

Commits on Sep 29, 2018

C++ front-end: use ranged for
kroening
committed
02b517f

Commits on Jul 24, 2017

Commits on Jul 20, 2017

Fix nullptr
reuk
committed
a06cf76

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 May 16, 2017

Convert endl to newline in cpp
reuk
committed
fbef879

Commits on May 15, 2017

Use strong enum in cpp_id.h
reuk
committed
b40a351

Commits on Feb 15, 2017

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

Commits on Jul 8, 2015

templates now use proper suffixes
kroening
committed
38b6bb2

Commits on Aug 25, 2014

template arguments -> parameters
kroening
committed
bf14e3d

Commits on Aug 16, 2014

add back some of the ostream includes for gcc
kroening
committed
f67dc82

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading