Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jan 19, 2026

• symbol_exprt C++-style API

  Show description for aed51dd
  kroening

  committed
  aed51dd

  Copy full SHA for aed51dd

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 Mar 5, 2024

• C++ front-end: Replace uses of namespacet::follow

  Show description for 2b2fd14
  tautschnig

  committed
  2b2fd14

  Copy full SHA for 2b2fd14

• C++ type checking: use reference_typet, pointer_typet

  Show description for bf29f34
  tautschnig

  committed
  bf29f34

  Copy full SHA for bf29f34

Commits on Dec 1, 2022

• Consistently use exprt::is_constant()

  Show description for 5eddb4c
  tautschnig

  committed
  5eddb4c

  Copy full SHA for 5eddb4c

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

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

• C++ front-end: use new symbolt constructors

  Show description for 6ac16bf
  tautschnig

  committed
  6ac16bf

  Copy full SHA for 6ac16bf

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on Sep 9, 2022

• use typet::add_subtype

  Show description for 61acf6c
  kroening

  committed
  61acf6c

  Copy full SHA for 61acf6c

Commits on Jan 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

Commits on Jan 18, 2022

• array_typet and vector_typet APIs

  Show description for a7e039b
  kroening

  committed
  a7e039b

  Copy full SHA for a7e039b

Commits on Oct 20, 2021

• introduce code_frontend_returnt

  Show description for 47a3277
  kroening

  committed
  47a3277

  Copy full SHA for 47a3277

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Jan 29, 2021

• Remove {f,F}orall_subtypes

  Show description for 22a59fb
  tautschnig

  committed
  22a59fb

  Copy full SHA for 22a59fb

• Remove {f,F}orall_irep

  Show description for 3db58c9
  tautschnig

  committed
  3db58c9

  Copy full SHA for 3db58c9

Commits on Dec 23, 2020

• Merge pull request #5670 from tautschnig/redefinition

  Show description for 00aefae
  kroening

  authored
  00aefae

  Copy full SHA for 00aefae

Commits on Dec 21, 2020

• C/C++ front-end: do not accept void-typed objects or members

  Show description for 9018306
  tautschnig

  committed
  9018306

  Copy full SHA for 9018306

Commits on Dec 15, 2020

• C front-end: report struct/union redefinition as an error

  Show description for a6af909
  tautschnig

  committed
  a6af909

  Copy full SHA for a6af909

Commits on May 13, 2020

• remove two deprecated codet-related constructors/methods

  Show description for 6395675
  kroening

  committed
  6395675

  Copy full SHA for 6395675

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 Jul 29, 2019

• Remove erroneous backtick

  

  Owen

  committed
  f0c0151

  Copy full SHA for f0c0151

• Do not use backtick as opening single quote

  Show description for c4cd7ae
  

  Owen

  committed
  c4cd7ae

  Copy full SHA for c4cd7ae

Commits on May 21, 2019

• C++ front-end: Remove internal symbols before linking

  Show description for 8101a98
  

  tautschnig

  authored and

  kroening

  committed
  8101a98

  Copy full SHA for 8101a98

Commits on May 1, 2019

• Encapsulate ID_already_typechecked in a proper API

  Show description for 09410a6
  tautschnig

  committed
  09410a6

  Copy full SHA for 09410a6

Commits on Apr 30, 2019

• Read "is inlined" attribute of goto functions from the symbol table

  Show description for c003aa2
  

  tautschnig

  authored and

  kroening

  committed
  c003aa2

  Copy full SHA for c003aa2

Commits on Apr 11, 2019

• Typecheck friend type declarations

  Show description for ebb3ea4
  

  peterschrammel

  authored and

  tautschnig

  committed
  ebb3ea4

  Copy full SHA for ebb3ea4

Commits on Apr 8, 2019

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

  Show description for f278f3d
  tautschnig

  committed
  f278f3d

  Copy full SHA for f278f3d

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 Mar 26, 2019

• Use symbol_tablet::lookup_ref and ::get_writeable_ref

  Show description for b79a100
  smowton

  committed
  b79a100

  Copy full SHA for b79a100

Commits on Feb 27, 2019

• Remove symbol_typet

  Show description for 44858f2
  

  kroening

  authored and

  tautschnig

  committed
  44858f2

  Copy full SHA for 44858f2

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 Jan 29, 2019

• Construct side_effect_expr_function_callt in a non-deprecated way

  Show description for 28ea7a5
  tautschnig

  committed
  28ea7a5

  Copy full SHA for 28ea7a5

Commits on Jan 23, 2019

• use typecast_exprt() instead of .make_typecast

  Show description for 624ff6c
  

  kroening

  authored and

  tautschnig

  committed
  624ff6c

  Copy full SHA for 624ff6c

Commits on Jan 22, 2019

• Merge pull request #3884 from tautschnig/deprecation-parametert

  Show description for 8300e2d
  tautschnig

  authored
  8300e2d

  Copy full SHA for 8300e2d

• Use non-deprecated variant of to_integer

  Show description for 009e7ae
  

  tautschnig

  authored and

  kroening

  committed
  009e7ae

  Copy full SHA for 009e7ae