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 Nov 14, 2018

• Avoid shadowing in cpp_scopet

  Show description for af4b0b7
  tautschnig

  committed
  af4b0b7

  Copy full SHA for af4b0b7

Commits on Sep 30, 2018

• Merge pull request #3066 from diffblue/cpp-ranged-for

  Show description for 270d487
  tautschnig

  authored
  270d487

  Copy full SHA for 270d487

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

• cpp_scopet::lookup methods now return an id set

  kroening

  committed
  89b2bb3

  Copy full SHA for 89b2bb3

Commits on Jun 6, 2018

• Style improvements

  

  andreast271

  authored and

  tautschnig

  committed
  763d4d1

  Copy full SHA for 763d4d1

• Line break

  

  peterschrammel

  authored and

  tautschnig

  committed
  3564324

  Copy full SHA for 3564324

Commits on Sep 17, 2017

• use std::size_t for container indices

  kroening

  committed
  69a8eaf

  Copy full SHA for 69a8eaf

Commits on Aug 29, 2017

• replace assert(false) by UNREACHABLE

  kroening

  committed
  5a04db9

  Copy full SHA for 5a04db9

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

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Jan 8, 2015

• big change: the c:: prefix on identifiers is gone

  Show description for 3a51575
  

  kroening

  committed
  3a51575

  Copy full SHA for 3a51575

Commits on Aug 5, 2014

• clean out debug code

  Show description for 3b67df1
  

  kroening

  committed
  3b67df1

  Copy full SHA for 3b67df1

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading