Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2022

• Replace assert(...) by macros from invariant.h

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

Commits on Sep 17, 2022

• Fix Doxygen comment issues

  Show description for 9f7e3cf
  tautschnig

  committed
  9f7e3cf

  Copy full SHA for 9f7e3cf

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Apr 11, 2019

• Typecheck friend type declarations

  Show description for ebb3ea4
  

  peterschrammel

  authored and

  tautschnig

  committed
  ebb3ea4

  Copy full SHA for ebb3ea4

Commits on Apr 1, 2019

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

  Show description for c1f7f85
  

  andreast271

  authored and

  tautschnig

  committed
  c1f7f85

  Copy full SHA for c1f7f85

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 15, 2017

• Use strong enum in cpp_id.h

  reuk

  committed
  b40a351

  Copy full SHA for b40a351

Commits on Feb 15, 2017

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

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

Commits on Jan 3, 2017

• merge of PR #347

  

  Daniel Kroening

  committed
  2db625a

  Copy full SHA for 2db625a

Commits on Jul 8, 2015

• templates now use proper suffixes

  Show description for 38b6bb2
  

  kroening

  committed
  38b6bb2

  Copy full SHA for 38b6bb2

Commits on Aug 16, 2014

• add back some of the ostream includes for gcc

  Show description for f67dc82
  

  kroening

  committed
  f67dc82

  Copy full SHA for f67dc82

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading