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 Oct 20, 2025

• Use operator==(exprt, bool)

  Show description for f721429
  tautschnig

  committed
  f721429

  Copy full SHA for f721429

Commits on Dec 1, 2022

• 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 Nov 19, 2022

• Mark includes that include-what-you-use spuriously suggests to remove

  Show description for a2e3dd4
  tautschnig

  committed
  a2e3dd4

  Copy full SHA for a2e3dd4

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

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

• Properly set up scope prefix instead of hacking it away

  tautschnig

  committed
  aa40d59

  Copy full SHA for aa40d59

• Factor out set-up of sub_scope for template instantiation

  tautschnig

  committed
  4c0915f

  Copy full SHA for 4c0915f

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

• Use non-deprecated variant of to_integer

  Show description for 009e7ae
  

  tautschnig

  authored and

  kroening

  committed
  009e7ae

  Copy full SHA for 009e7ae

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

Commits on Jan 8, 2019

• replace incomplete_struct/_union/_c_enum by a flag in struct_/union_/c_enum_type

  Show description for f9c3236
  

  kroening

  authored and

  tautschnig

  committed
  f9c3236

  Copy full SHA for f9c3236

Commits on Oct 5, 2018

• further support for tag types

  kroening

  committed
  2394e72

  Copy full SHA for 2394e72

Commits on Sep 30, 2018

• Merge pull request #3066 from diffblue/cpp-ranged-for

  Show description for 270d487
  tautschnig

  authored
  270d487

  Copy full SHA for 270d487

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

• cpp_scopet::lookup methods now return an id set

  kroening

  committed
  89b2bb3

  Copy full SHA for 89b2bb3

Commits on Sep 23, 2018

• Merge branch 'develop' into ID_base_name

  kroening

  authored
  b1a3a52

  Copy full SHA for b1a3a52

Commits on Sep 21, 2018

• Use componentt::get_name() instead of irept::get(ID_name)

  Show description for 0c66663
  tautschnig

  committed
  0c66663

  Copy full SHA for 0c66663

• C++ front-end: Use IDs instead of raw string

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Jun 25, 2018

• Fix delayed method body conversion for templates

  Show description for 02e3840
  

  peterschrammel

  authored and

  tautschnig

  committed
  02e3840

  Copy full SHA for 02e3840

Commits on Jun 6, 2018

• Remove redundant invariants

  tautschnig

  committed
  1bd942f

  Copy full SHA for 1bd942f

• Remove duplicate save_scope

  tautschnig

  committed
  11005ec

  Copy full SHA for 11005ec

• Whitespace cleanup, comment type fixed

  tautschnig

  committed
  fe8ef6d

  Copy full SHA for fe8ef6d

Commits on May 19, 2018

• strongly type the lookup() methods in namespacet

  kroening

  committed
  d77dea3

  Copy full SHA for d77dea3

Commits on Oct 5, 2017

• Made lookup return optional

  Show description for a9d802b
  

  NathanJPhillips

  authored and

  smowton

  committed
  a9d802b

  Copy full SHA for a9d802b

• Restricted interface of current symbol_tablet

  

  NathanJPhillips

  authored and

  smowton

  committed
  d1d502f

  Copy full SHA for d1d502f

Commits on Sep 17, 2017

• use std::size_t for container indices

  kroening

  committed
  69a8eaf

  Copy full SHA for 69a8eaf

Commits on Jul 24, 2017

• Replace macros with exception types

  reuk

  committed
  26fb850

  Copy full SHA for 26fb850

• Fix linter errors, ignoring big-int and miniz

  reuk

  committed
  822df45

  Copy full SHA for 822df45