Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Oct 20, 2025

• Use operator==(exprt, int) instead of is_zero

  Show description for b89c75d
  tautschnig

  committed
  b89c75d

  Copy full SHA for b89c75d

• Use operator==(exprt, bool)

  Show description for f721429
  tautschnig

  committed
  f721429

  Copy full SHA for f721429

Commits on Jun 17, 2024

• Move linker warning/error reporting to their own files

  Show description for 4abd030
  tautschnig

  committed
  4abd030

  Copy full SHA for 4abd030

• Move casting_replace_symbolt to files of their own

  Show description for 242a89d
  tautschnig

  committed
  242a89d

  Copy full SHA for 242a89d

• Linking: remove thin wrappers {expr,type}_to_string

  Show description for 4337587
  tautschnig

  committed
  4337587

  Copy full SHA for 4337587

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

• Maintain source location while replacing symbol expressions

  Show description for 1a2918e
  tautschnig

  committed
  1a2918e

  Copy full SHA for 1a2918e

Commits on Jan 23, 2024

• Linking: only rename file-local symbols

  Show description for 1dbf32f
  tautschnig

  committed
  1dbf32f

  Copy full SHA for 1dbf32f

Commits on May 23, 2023

• Remove typecheckt interface from linkingt

  Show description for 7df3543
  tautschnig

  committed
  7df3543

  Copy full SHA for 7df3543

Commits on Mar 23, 2023

• Use get_writeable_symbol() to avoid redundant search

  Show description for 4a93fcf
  tautschnig

  committed
  4a93fcf

  Copy full SHA for 4a93fcf

Commits on Dec 1, 2022

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

  Show description for 55b2039
  tautschnig

  committed
  55b2039

  Copy full SHA for 55b2039

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on Nov 19, 2022

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

Commits on Oct 9, 2022

• Linking: actually replace code type information in expressions

  Show description for 39e7078
  tautschnig

  committed
  39e7078

  Copy full SHA for 39e7078

• Improving linker warning diagnostics

  Show description for d590932
  tautschnig

  committed
  d590932

  Copy full SHA for d590932

Commits on Oct 8, 2022

• Linking: accept the same contract from multiple translation units

  Show description for 8efe88d
  tautschnig

  committed
  8efe88d

  Copy full SHA for 8efe88d

Commits on Jul 5, 2022

• remove uses of base_type_eq

  Show description for 4bc3981
  kroening

  committed
  4bc3981

  Copy full SHA for 4bc3981

Commits on Jun 30, 2022

• Merge pull request #6799 from tautschnig/feature/contract-symbols

  Show description for b466503
  tautschnig

  authored
  b466503

  Copy full SHA for b466503

Commits on Jun 28, 2022

• CONTRACTS: store contracts in dedicated symbols

  Show description for d733578
  

  tautschnig

  and

  Remi Delmas

  committed
  d733578

  Copy full SHA for d733578

Commits on Jun 21, 2022

• equal_exprt now checks types of the operands

  Show description for 4ab7663
  kroening

  committed
  4ab7663

  Copy full SHA for 4ab7663

Commits on Feb 1, 2022

• Linking: shadowed symbols should not trigger warnings

  Show description for be27605
  tautschnig

  committed
  be27605

  Copy full SHA for be27605

Commits on Jan 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

Commits on Dec 27, 2021

• Linking: do not modify source symbol table

  Show description for 544fdf9
  tautschnig

  committed
  544fdf9

  Copy full SHA for 544fdf9

Commits on Jun 18, 2021

• Linking forward declarations of arrays must not yield type casts

  Show description for 914f3d6
  tautschnig

  committed
  914f3d6

  Copy full SHA for 914f3d6

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Mar 11, 2021

• move the types used in C programs to c_types.h

  Show description for 6c7e490
  kroening

  committed
  6c7e490

  Copy full SHA for 6c7e490

Commits on Jan 19, 2021

• move pointer-related expression classes into separate header file

  Show description for 6e2b157
  kroening

  committed
  6e2b157

  Copy full SHA for 6e2b157

Commits on Jan 15, 2021

• Remove ID_C_zero_initializer

  Show description for 498c419
  tautschnig

  committed
  498c419

  Copy full SHA for 498c419

Commits on Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

Commits on Apr 4, 2020

• opX in linking/

  Show description for 526a573
  kroening

  committed
  526a573

  Copy full SHA for 526a573

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

• Use irep_idt() instead of ""

  Show description for 8a277ef
  tautschnig

  committed
  8a277ef

  Copy full SHA for 8a277ef

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

  Show description for 0210503
  tautschnig

  committed
  0210503

  Copy full SHA for 0210503

Commits on Apr 12, 2019

• Avoid crash in linking conflict report by providing correct type for dereference expression

  

  andreast271

  authored and

  Andreas Tiemeyer

  committed
  578ba08

  Copy full SHA for 578ba08

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