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 Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

Commits on Sep 21, 2018

• C++ front-end: Use IDs instead of raw string

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

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

• Whitespace and line breaks to match coding guidelines

  tautschnig

  committed
  f191d17

  Copy full SHA for f191d17

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

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Oct 30, 2016

• is_empty for declarations

  kroening

  committed
  1489db9

  Copy full SHA for 1489db9

Commits on Nov 24, 2015

• new way of doing typedefs

  Show description for 5256155
  

  kroening

  committed
  5256155

  Copy full SHA for 5256155

Commits on May 28, 2013

• fix for automatic anon-tags

  Show description for 53a61ba
  

  kroening

  committed
  53a61ba

  Copy full SHA for 53a61ba

Commits on May 20, 2013

• new way of dealing with anonymous unions/structs

  Show description for 9932009
  

  kroening

  committed
  9932009

  Copy full SHA for 9932009

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 Feb 12, 2012

• terminology cleanup

  Show description for 3667499
  

  kroening

  committed
  3667499

  Copy full SHA for 3667499

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading