Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Dec 1, 2022

• Replace assert(...) by macros from invariant.h

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

Commits on Sep 9, 2022

• use typet::add_subtype

  Show description for 61acf6c
  kroening

  committed
  61acf6c

  Copy full SHA for 61acf6c

Commits on Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

Commits on Apr 1, 2019

• C++ front-end: Enable compilation with DEBUG defined

  Show description for c1f7f85
  

  andreast271

  authored and

  tautschnig

  committed
  c1f7f85

  Copy full SHA for c1f7f85

Commits on Sep 22, 2018

• introduce merged_typet

  Show description for c2d54a3
  kroening

  committed
  c2d54a3

  Copy full SHA for c2d54a3

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

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 Sep 26, 2016

• clean up pointer qualifiers

  kroening

  committed
  bb65b1d

  Copy full SHA for bb65b1d

Commits on Aug 16, 2014

• add back some of the ostream includes for gcc

  Show description for f67dc82
  

  kroening

  committed
  f67dc82

  Copy full SHA for f67dc82

Commits on May 11, 2013

• Use C++ header files, more -I util fixes

  Show description for e23deed
  

  kroening

  committed
  e23deed

  Copy full SHA for e23deed

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading