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 May 1, 2019

• Encapsulate ID_already_typechecked in a proper API

  Show description for 09410a6
  tautschnig

  committed
  09410a6

  Copy full SHA for 09410a6

Commits on Nov 6, 2018

• cpp_symbol_exprt now returns symbol_exprt

  kroening

  committed
  6d23ffc

  Copy full SHA for 6d23ffc

Commits on Jun 11, 2018

• Mark already-typechecked types as such

  tautschnig

  committed
  4a47de6

  Copy full SHA for 4a47de6

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on Feb 14, 2017

• Do not use static/extern qualifiers with "inline"

  Show description for df1954c
  tautschnig

  committed
  df1954c

  Copy full SHA for df1954c

Commits on Dec 5, 2016

• Make header guards uniform

  peterschrammel

  committed
  40dc024

  Copy full SHA for 40dc024

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