Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Feb 3, 2022

• Use source_locationt::nil() instead of local static_cast

  Show description for 216e74e
  tautschnig

  committed
  216e74e

  Copy full SHA for 216e74e

Commits on Jan 29, 2021

• Remove {f,F}orall_irep

  Show description for 3db58c9
  tautschnig

  committed
  3db58c9

  Copy full SHA for 3db58c9

Commits on Apr 27, 2018

• Move asserts to invariants (and provide suitable includes)

  tautschnig

  committed
  99755fe

  Copy full SHA for 99755fe

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

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 Feb 14, 2017

• Member functions defined in the class body are inlined

  Show description for 908ed0e
  tautschnig

  committed
  908ed0e

  Copy full SHA for 908ed0e

Commits on Dec 5, 2016

• Make header guards uniform

  peterschrammel

  committed
  40dc024

  Copy full SHA for 40dc024

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Dec 31, 2014

• added cpp_namet::as_expr and as_type

  Show description for 0bcca59
  

  kroening

  committed
  0bcca59

  Copy full SHA for 0bcca59

• added cpp_namet::namet

  Show description for 6c2af90
  

  kroening

  committed
  6c2af90

  Copy full SHA for 6c2af90

• location -> source_location

  Show description for 3d131ee
  

  kroening

  committed
  3d131ee

  Copy full SHA for 3d131ee

Commits on Aug 27, 2014

• Use util/source_location.h

  Show description for 8192e5d
  

  tautschnig

  committed
  8192e5d

  Copy full SHA for 8192e5d

• locationt is now source_locationt

  Show description for 047efdc
  

  kroening

  committed
  047efdc

  Copy full SHA for 047efdc

Commits on May 20, 2013

• added constructor for basic names

  Show description for 14e39e0
  

  kroening

  committed
  14e39e0

  Copy full SHA for 14e39e0

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Feb 15, 2012

• use irep_idt for base names

  Show description for f2789ba
  

  kroening

  committed
  f2789ba

  Copy full SHA for f2789ba

Commits on Feb 6, 2012

• is_destructor

  Show description for 0c25d72
  

  kroening

  committed
  0c25d72

  Copy full SHA for 0c25d72

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading