Commits

History for

Commits on Dec 1, 2022

Replace assert(...) by macros from invariant.h
tautschnig
committed

Commits on Sep 17, 2022

Fix Doxygen comment issues
tautschnig
committed

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed

Commits on Apr 11, 2019

Typecheck friend type declarations

peterschrammel
authored and
tautschnig
committed

Commits on Apr 1, 2019

C++ front-end: Enable compilation with DEBUG defined

andreast271
authored and
tautschnig
committed

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed

Commits on Jun 6, 2017

Reformat src
reuk
committed

Commits on May 15, 2017

Use strong enum in cpp_id.h
reuk
committed

Commits on Feb 15, 2017

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

Commits on Jan 3, 2017

merge of PR #347
kroening
committed

Commits on Jul 8, 2015

templates now use proper suffixes
kroening
committed

Commits on Aug 16, 2014

add back some of the ostream includes for gcc
kroening
committed

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed

Commits on May 8, 2011

initial commit
kroening
committed

Loading