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 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

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 Dec 17, 2020

• C/C++ front-ends: report a meaningful error for invalid function definition

  Show description for 5233796
  tautschnig

  committed
  5233796

  Copy full SHA for 5233796

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

• C++ front-end: put "this" parameter in the symbol table

  Show description for f278f3d
  tautschnig

  committed
  f278f3d

  Copy full SHA for f278f3d

• C++ destructors: Ensure "this" is a fully qualified name

  Show description for 42efbd7
  tautschnig

  committed
  42efbd7

  Copy full SHA for 42efbd7

Commits on Apr 1, 2019

• C++ front-end: parameter symbols are file- and thread-local

  Show description for 335d9b5
  

  tautschnig

  authored and

  kroening

  committed
  335d9b5

  Copy full SHA for 335d9b5

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 Feb 7, 2019

• Consistently use void_type() in the C/C++ front-end

  Show description for 20c9977
  tautschnig

  committed
  20c9977

  Copy full SHA for 20c9977

Commits on Jan 20, 2019

• Replace "this" string literals by ID_this

  Show description for 1b22b57
  

  tautschnig

  authored and

  kroening

  committed
  1b22b57

  Copy full SHA for 1b22b57

Commits on Jan 10, 2019

• Improve handling of "mode" in cpp front-end

  Show description for d65b9e3
  tautschnig

  committed
  d65b9e3

  Copy full SHA for d65b9e3

Commits on Sep 22, 2018

• Access code_typet::return_type() via code_typet's API

  Show description for 8d742c6
  tautschnig

  committed
  8d742c6

  Copy full SHA for 8d742c6

Commits on Jun 11, 2018

• Fix virtual table construction

  Show description for 4637f87
  tautschnig

  committed
  4637f87

  Copy full SHA for 4637f87

• C++ virtual tables: fix inconsistent string suffixes

  tautschnig

  committed
  a172c34

  Copy full SHA for a172c34

Commits on Oct 13, 2017

• Run cbmc c++ regression as part of default regression test

  Show description for 3a4e48c
  andreast271

  committed
  3a4e48c

  Copy full SHA for 3a4e48c

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 Feb 15, 2017

• Whitespace and line breaks to match coding guidelines (part 2)

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

Commits on Jan 27, 2017

• Replace gen_zero/gen_one by from_integer where possible

  Show description for 6e36ead
  tautschnig

  committed
  6e36ead

  Copy full SHA for 6e36ead

Commits on Jan 3, 2017

• merge of PR #347

  kroening

  committed
  2db625a

  Copy full SHA for 2db625a

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Oct 30, 2016

• error message beautification

  kroening

  committed
  70a64db

  Copy full SHA for 70a64db

Commits on Oct 12, 2016

• fix for parameter names

  kroening

  committed
  f5493d7

  Copy full SHA for f5493d7

• fix for identifiers for 'this'

  kroening

  committed
  cbae5ea

  Copy full SHA for cbae5ea

Commits on Jul 20, 2016

• further work towards new messaging API

  kroening

  committed
  95b18a1

  Copy full SHA for 95b18a1

Commits on Jul 18, 2015

• parameter vs argument

  Show description for 3f64e31
  

  kroening

  committed
  3f64e31

  Copy full SHA for 3f64e31

Commits on Jan 8, 2015

• big change: the c:: prefix on identifiers is gone

  Show description for 3a51575
  

  kroening

  committed
  3a51575

  Copy full SHA for 3a51575

Commits on Aug 28, 2014

• location -> source_location

  Show description for 0283bba
  

  kroening

  committed
  0283bba

  Copy full SHA for 0283bba

Commits on Jul 6, 2014

• Use character instead of size-1-string when appending

  Show description for 9cd1ada
  

  kroening

  committed
  9cd1ada

  Copy full SHA for 9cd1ada

Commits on Jun 9, 2014

• arguments -> parameters

  Show description for df9a0a5
  

  kroening

  committed
  df9a0a5

  Copy full SHA for df9a0a5

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Feb 10, 2013

• context -> symbol_table

  Show description for fa6d5ff
  

  kroening

  committed
  fa6d5ff

  Copy full SHA for fa6d5ff