Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Oct 20, 2025

• Use operator==(exprt, bool)

  Show description for f721429
  tautschnig

  committed
  f721429

  Copy full SHA for f721429

Commits on Aug 20, 2024

• Remove qualifierst

  Show description for eabcf9c
  tautschnig

  committed
  eabcf9c

  Copy full SHA for eabcf9c

Commits on Mar 19, 2024

• simplify extractbits_exprt representation

  Show description for 97cb8a3
  kroening

  committed
  97cb8a3

  Copy full SHA for 97cb8a3

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 Nov 17, 2023

• Make componentt::{base,pretty}_name comments

  Show description for 8e4f8e3
  tautschnig

  committed
  8e4f8e3

  Copy full SHA for 8e4f8e3

Commits on Dec 1, 2022

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

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

Commits on May 24, 2022

• remove uses of typet::subtype() const

  Show description for 9073968
  kroening

  committed
  9073968

  Copy full SHA for 9073968

Commits on Jan 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

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 Mar 8, 2021

• move pointer_typet to pointer_expr.h

  Show description for 7d1031b
  kroening

  committed
  7d1031b

  Copy full SHA for 7d1031b

Commits on Jan 29, 2021

• Remove {f,F}orall_irep

  Show description for 3db58c9
  tautschnig

  committed
  3db58c9

  Copy full SHA for 3db58c9

Commits on Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

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

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

  Show description for ec56872
  tautschnig

  committed
  ec56872

  Copy full SHA for ec56872

• expr2c: Remove precedence parameter where unused

  

  tautschnig

  authored and

  kroening

  committed
  b8539ce

  Copy full SHA for b8539ce

Commits on Apr 11, 2019

• Fix cpp_name output in expr2cpp

  Show description for 311c98a
  tautschnig

  committed
  311c98a

  Copy full SHA for 311c98a

Commits on Mar 31, 2019

• Handle ID_cpp_name in expr2cppt

  Show description for 2b8ef3c
  tautschnig

  committed
  2b8ef3c

  Copy full SHA for 2b8ef3c

Commits on Jan 20, 2019

• Replace "this" string literals by ID_this

  Show description for 1b22b57
  

  tautschnig

  authored and

  kroening

  committed
  1b22b57

  Copy full SHA for 1b22b57

Commits on Jan 10, 2019

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

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

• Use proper APIs to get or set bitvector type width

  Show description for f7eba4a
  tautschnig

  committed
  f7eba4a

  Copy full SHA for f7eba4a

Commits on Jan 2, 2019

• Introduce ID_to_member to replace "to-member" string literals

  Show description for c9bbc4c
  tautschnig

  committed
  c9bbc4c

  Copy full SHA for c9bbc4c

Commits on Oct 29, 2018

• C++ bool is at least one byte wide

  Show description for fd39953
  tautschnig

  committed
  fd39953

  Copy full SHA for fd39953

Commits on Oct 15, 2018

• Do not duplicate what c_type_as_string takes care of

  Show description for f030b60
  tautschnig

  committed
  f030b60

  Copy full SHA for f030b60

Commits on Sep 21, 2018

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

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

Commits on Sep 17, 2018

• use ranged for over components

  kroening

  committed
  c5aa37a

  Copy full SHA for c5aa37a

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Apr 20, 2018

• Remove unused typedef

  

  Owen

  committed
  e28a662

  Copy full SHA for e28a662

Commits on Apr 12, 2018

• Introduce abstract qualifierst base class

  NathanJPhillips

  committed
  b06a27d

  Copy full SHA for b06a27d

• Pretty printing of java_class_typet

  Show description for e6fb3bf
  NathanJPhillips

  committed
  e6fb3bf

  Copy full SHA for e6fb3bf

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 8, 2017

• Clean-up irep-id emptyness checks in cpp

  peterschrammel

  committed
  6f61609

  Copy full SHA for 6f61609

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 18, 2017

• Remove unneeded code

  Show description for b88f98f
  

  Owen Jones

  committed
  b88f98f

  Copy full SHA for b88f98f