Commits

History for

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Nov 14, 2018

Avoid shadowing in cpp_scopet
tautschnig
committed
af4b0b7

Commits on Sep 30, 2018

Merge pull request #3066 from diffblue/cpp-ranged-for
tautschnig
authored
270d487

Commits on Sep 29, 2018

C++ front-end: use ranged for
kroening
committed
02b517f
cpp_scopet::lookup methods now return an id set
kroening
committed
89b2bb3

Commits on Jun 6, 2018

Style improvements

andreast271
authored and
tautschnig
committed
763d4d1
Line break

peterschrammel
authored and
tautschnig
committed
3564324

Commits on Sep 17, 2017

use std::size_t for container indices
kroening
committed
69a8eaf

Commits on Aug 29, 2017

replace assert(false) by UNREACHABLE
kroening
committed
5a04db9

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

Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Jan 8, 2015

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

Commits on Aug 5, 2014

clean out debug code
kroening
committed
3b67df1

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading