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

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

Commits on Oct 20, 2019

• fix exprt::opX() accesses in cpp/

  Show description for 6457a5e
  kroening

  committed
  6457a5e

  Copy full SHA for 6457a5e

Commits on Apr 8, 2019

• Use parametert::get_this()

  Show description for b18138c
  tautschnig

  committed
  b18138c

  Copy full SHA for b18138c

Commits on Feb 12, 2019

• Use modern API to access parametert's identifier and base name

  Show description for 249002d
  tautschnig

  committed
  249002d

  Copy full SHA for 249002d

Commits on Sep 30, 2018

• c++: simplify a loop

  kroening

  committed
  76f145d

  Copy full SHA for 76f145d

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

Commits on Jul 21, 2018

• Use irep ids for #comments

  peterschrammel

  committed
  12e970b

  Copy full SHA for 12e970b

Commits on Jun 11, 2018

• Permit compound literals in place of PODs

  tautschnig

  committed
  1d95ab4

  Copy full SHA for 1d95ab4

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 16, 2017

• Convert endl to newline in cpp

  reuk

  committed
  fbef879

  Copy full SHA for fbef879

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 Jan 20, 2017

• Cleanup of operands() accesses

  Show description for c1304cd
  tautschnig

  committed
  c1304cd

  Copy full SHA for c1304cd

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Jun 9, 2014

• arguments -> parameters

  Show description for df9a0a5
  

  kroening

  committed
  df9a0a5

  Copy full SHA for df9a0a5

Commits on Feb 5, 2014

• further size_t patches

  Show description for 13c49cc
  

  kroening

  committed
  13c49cc

  Copy full SHA for 13c49cc

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Feb 16, 2012

• IDs

  Show description for 35b73e5
  

  kroening

  committed
  35b73e5

  Copy full SHA for 35b73e5

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading