Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Apr 25, 2024

• Avoid duplicate "warning:" or "error:" prefixes in the C/C++ front-end

  Show description for 9659d17
  tautschnig

  committed
  9659d17

  Copy full SHA for 9659d17

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 Oct 11, 2022

• C++: __CPROVER_integer and __CPROVER_rational

  Show description for d8b909b
  kroening

  committed
  d8b909b

  Copy full SHA for d8b909b

Commits on Sep 8, 2022

• replace uses of typet::subtype() nonconst

  Show description for 040c93c
  kroening

  committed
  040c93c

  Copy full SHA for 040c93c

Commits on May 19, 2022

• C++ type conversion: gcc_attribute_mode must not be re-converted

  Show description for 12354e4
  tautschnig

  committed
  12354e4

  Copy full SHA for 12354e4

• Support _Complex in the C++ front-end

  Show description for 5466524
  tautschnig

  committed
  5466524

  Copy full SHA for 5466524

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Feb 2, 2021

• C++ front-end: support GCC type attributes

  Show description for 1d663f0
  tautschnig

  committed
  1d663f0

  Copy full SHA for 1d663f0

Commits on May 15, 2019

• Re-use C type conversion in C++ front-end

  Show description for f13e8f9
  tautschnig

  committed
  f13e8f9

  Copy full SHA for f13e8f9

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

• C/C++ now have frontend_vector type

  Show description for 934f310
  kroening

  committed
  934f310

  Copy full SHA for 934f310

Commits on Jan 10, 2019

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

Commits on Jan 2, 2019

• Introduce ID_to_member to replace "to-member" string literals

  Show description for c9bbc4c
  tautschnig

  committed
  c9bbc4c

  Copy full SHA for c9bbc4c

Commits on Oct 29, 2018

• C++ bool is at least one byte wide

  Show description for fd39953
  tautschnig

  committed
  fd39953

  Copy full SHA for fd39953

Commits on Sep 7, 2018

• further support for union_tag and struct_tag

  kroening

  committed
  ae328f3

  Copy full SHA for ae328f3

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Jun 13, 2018

• Merge pull request #2317 from tautschnig/c++-attributes-lists

  Show description for 9441a92
  kroening

  authored
  9441a92

  Copy full SHA for 9441a92

Commits on Jun 12, 2018

• C++ front-end: Type check Apple block pointers

  Show description for 612fc38
  tautschnig

  committed
  612fc38

  Copy full SHA for 612fc38

Commits on Jun 11, 2018

• Mark already-typechecked types as such

  tautschnig

  committed
  4a47de6

  Copy full SHA for 4a47de6

• C++ front-end: parse GCC attributes

  tautschnig

  committed
  fde09ca

  Copy full SHA for fde09ca

Commits on Jun 7, 2018

• Merge pull request #2306 from tautschnig/c++-qualifiers

  Show description for b7725b8
  kroening

  authored
  b7725b8

  Copy full SHA for b7725b8

• Do not lose method qualifiers

  tautschnig

  committed
  934c555

  Copy full SHA for 934c555

• decltype(bit field type) is the underlying subtype

  tautschnig

  committed
  8c08946

  Copy full SHA for 8c08946

Commits on Oct 13, 2017

• Pointers now come with a width

  kroening

  committed
  00d25a2

  Copy full SHA for 00d25a2

Commits on Sep 6, 2017

• pointer types now have width

  

  kroening

  authored and

  peterschrammel

  committed
  ce86319

  Copy full SHA for ce86319

Commits on Jul 20, 2017

• use pointer_type() instead of pointer_typet()

  kroening

  committed
  13f3d5f

  Copy full SHA for 13f3d5f

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 May 29, 2017

• C/C++ front end fixes

  tautschnig

  committed
  3d9c87b

  Copy full SHA for 3d9c87b

Commits on May 15, 2017

• Use strong enum in cpp_typecheck_resolve

  reuk

  committed
  66135c9

  Copy full SHA for 66135c9

Commits on Jan 5, 2017

• Use ranged-for

  Show description for 11e960c
  tautschnig

  committed
  11e960c

  Copy full SHA for 11e960c

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Oct 29, 2016

• use ranged for

  kroening

  committed
  471f5bb

  Copy full SHA for 471f5bb