Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jan 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

Commits on Mar 8, 2021

• move pointer_typet to pointer_expr.h

  Show description for 7d1031b
  kroening

  committed
  7d1031b

  Copy full SHA for 7d1031b

Commits on Jan 10, 2019

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

Commits on Nov 14, 2018

• Do not shadow class member "return_type"

  Show description for 0fdbc57
  tautschnig

  committed
  0fdbc57

  Copy full SHA for 0fdbc57

Commits on Oct 5, 2018

• further support for tag types

  kroening

  committed
  2394e72

  Copy full SHA for 2394e72

Commits on Sep 28, 2018

• use struct_typet::bases

  kroening

  committed
  d5c28ec

  Copy full SHA for d5c28ec

Commits on Sep 17, 2018

• use ranged for over components

  kroening

  committed
  c5aa37a

  Copy full SHA for c5aa37a

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Jun 1, 2018

• use get_identifier() instead of get(ID_identifier) on symbols

  kroening

  committed
  25c097e

  Copy full SHA for 25c097e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading