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 27, 2024

• Merge pull request #8218 from tautschnig/cleanup/no-follow-ansi-c

  Show description for e6e665f
  kroening

  authored
  e6e665f

  Copy full SHA for e6e665f

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 22, 2024

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

  Show description for b44338d
  tautschnig

  committed
  b44338d

  Copy full SHA for b44338d

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

Commits on Feb 6, 2024

• use dstringt::starts_with

  Show description for 5747032
  kroening

  committed
  5747032

  Copy full SHA for 5747032

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

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 Sep 4, 2022

• remove uses of typet::subtype() const

  Show description for e1fecd3
  kroening

  committed
  e1fecd3

  Copy full SHA for e1fecd3

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

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

• 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 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 30, 2019

• Handle all enum values in switch/case

  tautschnig

  committed
  81cd230

  Copy full SHA for 81cd230

• Use s.clear() instead of s=""

  Show description for 7e5b60f
  tautschnig

  committed
  7e5b60f

  Copy full SHA for 7e5b60f

• Use !s.empty() instead of s != ""

  Show description for 0210503
  tautschnig

  committed
  0210503

  Copy full SHA for 0210503

• Remove redundant string initialisation

  Show description for c1baa03
  tautschnig

  committed
  c1baa03

  Copy full SHA for c1baa03

• Use s.empty() instead of s == ""

  Show description for ec56872
  tautschnig

  committed
  ec56872

  Copy full SHA for ec56872

Commits on Apr 11, 2019

• Fix disambiguation

  Show description for 802e875
  

  peterschrammel

  authored and

  tautschnig

  committed
  802e875

  Copy full SHA for 802e875

Commits on Apr 8, 2019

• Use parametert::get_this()

  Show description for b18138c
  tautschnig

  committed
  b18138c

  Copy full SHA for b18138c

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

• Use numeric_cast<mp_integer> instead of deprecated to_integer variants

  Show description for cf1f65a
  tautschnig

  committed
  cf1f65a

  Copy full SHA for cf1f65a

Commits on Jan 29, 2019

• Replace all uses of deprecated symbol_exprt constructors

  Show description for 267094c
  tautschnig

  committed
  267094c

  Copy full SHA for 267094c

Commits on Jan 23, 2019

• use typecast_exprt::conditional_cast

  Show description for 49b0670
  

  kroening

  authored and

  tautschnig

  committed
  49b0670

  Copy full SHA for 49b0670

Commits on Jan 22, 2019

• remove #include "mathematical_types.h" from std_expr.h

  Show description for 6ae7e0e
  kroening

  committed
  6ae7e0e

  Copy full SHA for 6ae7e0e

Commits on Jan 21, 2019

• Merge pull request #3623 from tautschnig/struct-union-constructor

  Show description for 1c12543
  tautschnig

  authored
  1c12543

  Copy full SHA for 1c12543

Commits on Jan 20, 2019

• Replace all uses of move_to_operands

  Show description for 15aef45
  tautschnig

  committed
  15aef45

  Copy full SHA for 15aef45

Commits on Jan 14, 2019

• Add initializer list constructor to struct/union typet and cleanup API use

  Show description for ac4ae98
  tautschnig

  committed
  ac4ae98

  Copy full SHA for ac4ae98

• Remove unnecessary use of ns.follow in cpp/

  Show description for 6e1eb23
  tautschnig

  committed
  6e1eb23

  Copy full SHA for 6e1eb23

Commits on Jan 13, 2019

• Construct type_exprt in a non-deprecated way

  Show description for bd9c16b
  tautschnig

  committed
  bd9c16b

  Copy full SHA for bd9c16b

Commits on Jan 10, 2019

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

• C++: use struct_tag and union_tag type

  Show description for dda0a18
  kroening

  committed
  dda0a18

  Copy full SHA for dda0a18