Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

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 Sep 9, 2022

• use typet::add_subtype

  Show description for 61acf6c
  kroening

  committed
  61acf6c

  Copy full SHA for 61acf6c

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

• Cleanup doxygen comments

  Show description for 2b4774d
  tautschnig

  committed
  2b4774d

  Copy full SHA for 2b4774d

Commits on Jan 29, 2021

• Remove {f,F}orall_irep

  Show description for 3db58c9
  tautschnig

  committed
  3db58c9

  Copy full SHA for 3db58c9

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

• Encapsulate ID_already_typechecked in a proper API

  Show description for 09410a6
  tautschnig

  committed
  09410a6

  Copy full SHA for 09410a6

Commits on Feb 27, 2019

• Handle struct/union/enum tag types instead of symbol types

  Show description for 30129ba
  tautschnig

  committed
  30129ba

  Copy full SHA for 30129ba

Commits on Feb 7, 2019

• Use constructors to build code(-like) objects

  Show description for 32f4aa5
  tautschnig

  committed
  32f4aa5

  Copy full SHA for 32f4aa5

Commits on Jan 26, 2019

• Replace nil_typet by uninitialized_typet in C++ type checker

  Show description for 60e847c
  tautschnig

  committed
  60e847c

  Copy full SHA for 60e847c

Commits on Jan 24, 2019

• Use code_blockt's constructor

  Show description for 85cb6dc
  

  tautschnig

  authored and

  kroening

  committed
  85cb6dc

  Copy full SHA for 85cb6dc

Commits on Jan 20, 2019

• Replace all uses of move_to_operands

  Show description for 15aef45
  tautschnig

  committed
  15aef45

  Copy full SHA for 15aef45

Commits on Jan 10, 2019

• C++: use struct_tag and union_tag type

  Show description for dda0a18
  kroening

  committed
  dda0a18

  Copy full SHA for dda0a18

Commits on Nov 2, 2018

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

  Show description for 638d91c
  tautschnig

  committed
  638d91c

  Copy full SHA for 638d91c

Commits on Oct 12, 2018

• Update parameter documentation

  Show description for 75c6dff
  

  John Nonweiler

  committed
  75c6dff

  Copy full SHA for 75c6dff

Commits on Sep 28, 2018

• base types are symbol_typet

  kroening

  committed
  17bca0a

  Copy full SHA for 17bca0a

Commits on Sep 25, 2018

• Move class_typet::baset to struct_typet

  Show description for 1f5e03c
  tautschnig

  committed
  1f5e03c

  Copy full SHA for 1f5e03c

Commits on Sep 24, 2018

• Use ranged for to iterate over components

  Show description for cde5ac3
  tautschnig

  committed
  cde5ac3

  Copy full SHA for cde5ac3

• Merge pull request #3005 from tautschnig/bottom-up

  Show description for ae57b25
  tautschnig

  authored
  ae57b25

  Copy full SHA for ae57b25

• Merge pull request #3025 from tautschnig/cpp_namet

  Show description for 45f469d
  tautschnig

  authored
  45f469d

  Copy full SHA for 45f469d

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

  Show description for 325db27
  tautschnig

  committed
  325db27

  Copy full SHA for 325db27

• Use cpp_namet's and namet's constructors

  Show description for 7f817ca
  tautschnig

  committed
  7f817ca

  Copy full SHA for 7f817ca

• Merge pull request #3019 from diffblue/type-cleanup3

  Show description for 79f7030
  tautschnig

  authored
  79f7030

  Copy full SHA for 79f7030

Commits on Sep 23, 2018

• Merge branch 'develop' into ID_base_name

  kroening

  authored
  b1a3a52

  Copy full SHA for b1a3a52

Commits on Sep 22, 2018

• avoid direct access to subtypes

  kroening

  committed
  84ef3b0

  Copy full SHA for 84ef3b0

• 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

• Construct expression bottom-up rather than top-down

  Show description for fbaf241
  tautschnig

  committed
  fbaf241

  Copy full SHA for fbaf241

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

  Show description for 0c66663
  tautschnig

  committed
  0c66663

  Copy full SHA for 0c66663