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 Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

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 Jan 18, 2022

• array_typet and vector_typet APIs

  Show description for a7e039b
  kroening

  committed
  a7e039b

  Copy full SHA for a7e039b

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

• C++: introduce template_parameter_symbol_type

  kroening

  committed
  7fd2cf7

  Copy full SHA for 7fd2cf7

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

Commits on Sep 24, 2018

• Use type() instead of find(ID_type) or get(ID_type)

  Show description for 325db27
  tautschnig

  committed
  325db27

  Copy full SHA for 325db27

Commits on Sep 22, 2018

• Access code_typet::return_type() via code_typet's API

  Show description for 8d742c6
  tautschnig

  committed
  8d742c6

  Copy full SHA for 8d742c6

Commits on Sep 21, 2018

• C++ front-end: Use ranged for to iterate over components and bases

  Show description for 716279f
  tautschnig

  committed
  716279f

  Copy full SHA for 716279f

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Jun 1, 2018

• use get_identifier() instead of get(ID_identifier) on symbols

  kroening

  committed
  25c097e

  Copy full SHA for 25c097e

Commits on Apr 27, 2018

• Move asserts to invariants (and provide suitable includes)

  tautschnig

  committed
  99755fe

  Copy full SHA for 99755fe

Commits on Aug 29, 2017

• replace assert(false) by UNREACHABLE

  kroening

  committed
  5a04db9

  Copy full SHA for 5a04db9

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 16, 2017

• Convert endl to newline in cpp

  reuk

  committed
  fbef879

  Copy full SHA for fbef879

Commits on Nov 29, 2016

• Normalise newlines at ends of files

  rjmunro

  committed
  be69737

  Copy full SHA for be69737

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Mar 12, 2016

• use std::size_t

  Show description for 4ff9267
  

  kroening

  committed
  4ff9267

  Copy full SHA for 4ff9267

Commits on Aug 28, 2014

• location -> source_location

  Show description for 0283bba
  

  kroening

  committed
  0283bba

  Copy full SHA for 0283bba

Commits on Aug 27, 2014

• Renamed non-const exprt::location() and typet::location() to add_source_location()

  Show description for 22960dc
  

  tautschnig

  committed
  22960dc

  Copy full SHA for 22960dc

Commits on Aug 25, 2014

• defaults for template parameter are called default arguments

  Show description for e8e7773
  

  kroening

  committed
  e8e7773

  Copy full SHA for e8e7773

Commits on Aug 16, 2014

• add back some of the ostream includes for gcc

  Show description for f67dc82
  

  kroening

  committed
  f67dc82

  Copy full SHA for f67dc82

Commits on Aug 9, 2014

• renamed template parameter IDs

  Show description for f5af923
  

  kroening

  committed
  f5af923

  Copy full SHA for f5af923

Commits on Jun 9, 2014

• arguments -> parameters

  Show description for e802654
  

  kroening

  committed
  e802654

  Copy full SHA for e802654

Commits on Feb 12, 2012

• default parameters

  Show description for 93ae70b
  

  kroening

  committed
  93ae70b

  Copy full SHA for 93ae70b

• ID_C_default_value

  Show description for b6b10e7
  

  kroening

  committed
  b6b10e7

  Copy full SHA for b6b10e7

Commits on May 21, 2011

• added set

  Show description for 1338ef0
  

  kroening

  committed
  1338ef0

  Copy full SHA for 1338ef0

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading