Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Apr 30, 2019

• Disable clang-format for recently touched switch statements

  Show description for 87e86bb
  tautschnig

  committed
  87e86bb

  Copy full SHA for 87e86bb

• Handle all enum values in switch/case

  tautschnig

  committed
  81cd230

  Copy full SHA for 81cd230

Commits on Dec 20, 2018

• Avoid warning about not returning a value

  Show description for 56499b9
  tautschnig

  committed
  56499b9

  Copy full SHA for 56499b9

Commits on Sep 30, 2018

• produce indents using string constructor

  kroening

  committed
  a0985d9

  Copy full SHA for a0985d9

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

Commits on Jul 24, 2017

• Fix nullptr usage, ignoring miniz and big-int

  reuk

  committed
  c92a429

  Copy full SHA for c92a429

• Revert "[depends: #1063] Use nullptr to represent null pointers (targets master)"

  kroening

  authored
  6fea4fa

  Copy full SHA for 6fea4fa

Commits on Jul 20, 2017

• Fix nullptr

  reuk

  committed
  a06cf76

  Copy full SHA for a06cf76

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

• Convert endl to newline in cpp

  reuk

  committed
  fbef879

  Copy full SHA for fbef879

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 Jul 8, 2015

• templates now use proper suffixes

  Show description for 38b6bb2
  

  kroening

  committed
  38b6bb2

  Copy full SHA for 38b6bb2

Commits on Aug 25, 2014

• template arguments -> parameters

  Show description for bf14e3d
  

  kroening

  committed
  bf14e3d

  Copy full SHA for bf14e3d

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 May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading