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

Commits on Dec 13, 2023

• Remove all references to optionalt

  Show description for 851c486
  tautschnig

  committed
  851c486

  Copy full SHA for 851c486

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

• rename index_type and enum_constant_type

  Show description for 4271a0a
  kroening

  committed
  4271a0a

  Copy full SHA for 4271a0a

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

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

  Show description for 0210503
  tautschnig

  committed
  0210503

  Copy full SHA for 0210503

Commits on Jan 29, 2019

• Construct side_effect_expr_function_callt in a non-deprecated way

  Show description for 28ea7a5
  tautschnig

  committed
  28ea7a5

  Copy full SHA for 28ea7a5

Commits on Jan 27, 2019

• Avoid codet construction without a statement set

  Show description for 55ca1ef
  tautschnig

  committed
  55ca1ef

  Copy full SHA for 55ca1ef

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

• Replace all uses of move_to_operands

  Show description for 15aef45
  tautschnig

  committed
  15aef45

  Copy full SHA for 15aef45

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 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

• 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

Commits on Sep 17, 2018

• use ranged for over components

  kroening

  committed
  c5aa37a

  Copy full SHA for c5aa37a

Commits on Aug 23, 2018

• cpp_typecheckt::cpp_destructor now returns optionalt<codet> instead of an expression

  kroening

  committed
  da6e5d7

  Copy full SHA for da6e5d7

Commits on Jun 24, 2018

• Remove unused parameter from cpp_destructor and fix types

  Show description for 660ae90
  tautschnig

  committed
  660ae90

  Copy full SHA for 660ae90

Commits on May 19, 2018

• strongly type the lookup() methods in namespacet

  kroening

  committed
  d77dea3

  Copy full SHA for d77dea3

Commits on Mar 3, 2018

• Use std_{code,expr,type} constructors

  Show description for d04312f
  tautschnig

  committed
  d04312f

  Copy full SHA for d04312f

Commits on Jul 20, 2017

• address_of now needs a pointer type

  kroening

  committed
  636655d

  Copy full SHA for 636655d

• get rid of typet(ID_pointer)

  kroening

  committed
  d0c9bd3

  Copy full SHA for d0c9bd3

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 23, 2017

• Make c_types widely available and avoid locally building types

  Show description for 20de0d7
  tautschnig

  committed
  20de0d7

  Copy full SHA for 20de0d7

Commits on Feb 15, 2017

• Whitespace and line breaks to match coding guidelines (part 2)

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

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 Jul 20, 2016

• further work towards new messaging API

  kroening

  committed
  95b18a1

  Copy full SHA for 95b18a1

Commits on Nov 22, 2015

• Proper constructors and destructors

  Show description for ce81f32
  

  kroening

  committed
  ce81f32

  Copy full SHA for ce81f32

Commits on Jul 18, 2015

• various IDs

  Show description for 0a96a7b
  

  kroening

  committed
  0a96a7b

  Copy full SHA for 0a96a7b

Commits on Aug 28, 2014

• location -> source_location

  Show description for a7f1b4b
  

  kroening

  committed
  a7f1b4b

  Copy full SHA for a7f1b4b

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

• locationt is now source_locationt

  Show description for 047efdc
  

  kroening

  committed
  047efdc

  Copy full SHA for 047efdc