Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Feb 23, 2023

• remove typet::subtype()

  Show description for 907e28f
  kroening

  committed
  907e28f

  Copy full SHA for 907e28f

Commits on Sep 5, 2022

• remove uses of typet::subtype() nonconst

  Show description for d8983b6
  kroening

  committed
  d8983b6

  Copy full SHA for d8983b6

Commits on Jan 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

Commits on Apr 27, 2018

• Remove unused includes

  Show description for a6a825a
  tautschnig

  committed
  a6a825a

  Copy full SHA for a6a825a

• 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 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 Aug 25, 2014

• cleanup template_parametert

  Show description for bd46171
  

  kroening

  committed
  bd46171

  Copy full SHA for bd46171

Commits on Aug 9, 2014

• renamed template parameter IDs

  Show description for f5af923
  

  kroening

  committed
  f5af923

  Copy full SHA for f5af923

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Feb 12, 2012

• default parameters

  Show description for a879cf8
  

  kroening

  committed
  a879cf8

  Copy full SHA for a879cf8

• ID_C_default_value

  Show description for b6b10e7
  

  kroening

  committed
  b6b10e7

  Copy full SHA for b6b10e7

Commits on May 21, 2011

• template parameters

  Show description for 71c118e
  

  kroening

  committed
  71c118e

  Copy full SHA for 71c118e

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading