Commits

History for

Commits on Jul 29, 2019

Do not use backtick as opening single quote
Owen
committed
c4cd7ae

Commits on Sep 29, 2018

cpp_scopet::lookup methods now return an id set
kroening
committed
89b2bb3

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

further work towards new messaging API
kroening
committed
95b18a1

Commits on Dec 31, 2014

location -> source_location
kroening
committed
3d131ee

Commits on Aug 27, 2014

Use util/source_location.h
tautschnig
committed
8192e5d

Commits on Aug 25, 2014

template arguments -> parameters
kroening
committed
bf14e3d

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed
2f61175

Commits on Feb 15, 2012

use irep_idt for base names
kroening
committed
f2789ba

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading