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 May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Mar 11, 2021

• move the types used in C programs to c_types.h

  Show description for 6c7e490
  kroening

  committed
  6c7e490

  Copy full SHA for 6c7e490

Commits on Jan 10, 2019

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

Commits on Oct 5, 2018

• further support for tag types

  kroening

  committed
  2394e72

  Copy full SHA for 2394e72

Commits on Sep 25, 2018

• Move class_typet::baset to struct_typet

  Show description for 1f5e03c
  tautschnig

  committed
  1f5e03c

  Copy full SHA for 1f5e03c

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Apr 27, 2018

• Move asserts to invariants (and provide suitable includes)

  tautschnig

  committed
  99755fe

  Copy full SHA for 99755fe

Commits on Sep 17, 2017

• use std::size_t for container indices

  kroening

  committed
  69a8eaf

  Copy full SHA for 69a8eaf

Commits on Jun 8, 2017

• Clean-up irep-id emptyness checks in cpp

  peterschrammel

  committed
  6f61609

  Copy full SHA for 6f61609

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

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Aug 5, 2014

• clean out debug code

  Show description for 3b67df1
  

  kroening

  committed
  3b67df1

  Copy full SHA for 3b67df1

Commits on Dec 18, 2012

• exception support clean up

  Show description for d62936a
  

  kroening

  committed
  d62936a

  Copy full SHA for d62936a

Commits on Jun 7, 2012

• cleanup c_bool and #cpp_type -> #c_type

  Show description for 1d78d4a
  

  kroening

  committed
  1d78d4a

  Copy full SHA for 1d78d4a

Commits on Jan 2, 2012

• better typechecking for catch()

  Show description for 4e492e0
  

  kroening

  committed
  4e492e0

  Copy full SHA for 4e492e0

Loading