Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

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

• C++ type checking: use reference_typet, pointer_typet

  Show description for bf29f34
  tautschnig

  committed
  bf29f34

  Copy full SHA for bf29f34

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 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 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

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

• rename index_type and enum_constant_type

  Show description for 4271a0a
  kroening

  committed
  4271a0a

  Copy full SHA for 4271a0a

Commits on Oct 22, 2021

• move goto_instruction_code.h to goto-programs/

  Show description for 093a216
  kroening

  committed
  093a216

  Copy full SHA for 093a216

Commits on Oct 19, 2021

• introduce code_frontend_assignt

  Show description for 998b163
  kroening

  committed
  998b163

  Copy full SHA for 998b163

Commits on Oct 8, 2021

• move codet types specific to goto-programs into a separate header file

  Show description for ea13baf
  kroening

  committed
  ea13baf

  Copy full SHA for ea13baf

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

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 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 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 May 1, 2019

• Encapsulate ID_already_typechecked in a proper API

  Show description for 09410a6
  tautschnig

  committed
  09410a6

  Copy full SHA for 09410a6

Commits on Apr 8, 2019

• Use parametert::get_this()

  Show description for b18138c
  tautschnig

  committed
  b18138c

  Copy full SHA for b18138c

Commits on Feb 27, 2019

• pointer_offset_size functions now use optional

  Show description for d285eb8
  kroening

  committed
  d285eb8

  Copy full SHA for d285eb8

Commits on Feb 17, 2019

• numeric_cast_v(expr) now requires constant_expr

  Show description for a5944a7
  kroening

  committed
  a5944a7

  Copy full SHA for a5944a7

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

• Merge pull request #4106 from diffblue/codet_API

  Show description for da97188
  tautschnig

  authored
  da97188

  Copy full SHA for da97188

• Replace make_typecast by typecast_exprt or typecast_exprt::conditional_cast

  Show description for ebaacea
  tautschnig

  committed
  ebaacea

  Copy full SHA for ebaacea

Commits on Feb 6, 2019

• protect opX in codet subclasses

  Show description for 9a5345e
  kroening

  committed
  9a5345e

  Copy full SHA for 9a5345e

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 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 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 Nov 11, 2018

• cpp: replace err_location by error().source_location

  kroening

  committed
  54c8854

  Copy full SHA for 54c8854

Commits on Nov 5, 2018

• Use numeric_cast<mp_integer> instead of deprecated to_integer(exprt), part 2

  Show description for b541bf9
  tautschnig

  committed
  b541bf9

  Copy full SHA for b541bf9

Commits on Oct 23, 2018

• Re-enable users of {expr,nondet}_initializer to do their own error reporting

  Show description for c2dbb57
  tautschnig

  committed
  c2dbb57

  Copy full SHA for c2dbb57

Commits on Sep 24, 2018

• Use cpp_namet's and namet's constructors

  Show description for 7f817ca
  tautschnig

  committed
  7f817ca

  Copy full SHA for 7f817ca

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

• Use componentt::get_base_name() instead of irept::get(ID_base_name)

  Show description for cb4ea5b
  tautschnig

  committed
  cb4ea5b

  Copy full SHA for cb4ea5b

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

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65