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 Mar 23, 2023

• Use get_writeable_symbol() to avoid redundant search

  Show description for 4a93fcf
  tautschnig

  committed
  4a93fcf

  Copy full SHA for 4a93fcf

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 Oct 19, 2021

• introduce code_frontend_declt

  Show description for d15f2b2
  kroening

  committed
  d15f2b2

  Copy full SHA for d15f2b2

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

• C/C++ front-end: void-typed symbols are permitted when extern

  Show description for f0dd97d
  tautschnig

  committed
  f0dd97d

  Copy full SHA for f0dd97d

Commits on Dec 21, 2020

• C/C++ front-end: do not accept void-typed objects or members

  Show description for 9018306
  tautschnig

  committed
  9018306

  Copy full SHA for 9018306

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

• C++ front-end: Enable compilation with DEBUG defined

  Show description for c1f7f85
  

  andreast271

  authored and

  tautschnig

  committed
  c1f7f85

  Copy full SHA for c1f7f85

Commits on Mar 26, 2019

• Use symbol_tablet::lookup_ref and ::get_writeable_ref

  Show description for b79a100
  smowton

  committed
  b79a100

  Copy full SHA for b79a100

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 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 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 ranged for to iterate over components and bases

  Show description for 716279f
  tautschnig

  committed
  716279f

  Copy full SHA for 716279f

Commits on Aug 23, 2018

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

  kroening

  committed
  e7d1180

  Copy full SHA for e7d1180

Commits on Jul 21, 2018

• Use irep ids for #comments

  peterschrammel

  committed
  12e970b

  Copy full SHA for 12e970b

Commits on Jun 25, 2018

• Fix delayed method body conversion for templates

  Show description for 02e3840
  

  peterschrammel

  authored and

  tautschnig

  committed
  02e3840

  Copy full SHA for 02e3840

Commits on Jun 13, 2018

• Merge pull request #2317 from tautschnig/c++-attributes-lists

  Show description for 9441a92
  kroening

  authored
  9441a92

  Copy full SHA for 9441a92

Commits on Jun 12, 2018

• C++11 auto type specifier

  tautschnig

  committed
  af83568

  Copy full SHA for af83568

Commits on Jun 11, 2018

• Mark already-typechecked types as such

  tautschnig

  committed
  4a47de6

  Copy full SHA for 4a47de6

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 Oct 11, 2017

• Modify/add symbol table lookup and get_writeable

  reuk

  committed
  a9ba0f9

  Copy full SHA for a9ba0f9

Commits on Oct 5, 2017

• Made lookup return optional

  Show description for a9d802b
  

  NathanJPhillips

  authored and

  smowton

  committed
  a9d802b

  Copy full SHA for a9d802b

• Restricted interface of current symbol_tablet

  

  NathanJPhillips

  authored and

  smowton

  committed
  d1d502f

  Copy full SHA for d1d502f

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

• Use strong enum in cpp_id.h

  reuk

  committed
  b40a351

  Copy full SHA for b40a351

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 Jan 27, 2017

• Replace gen_zero/gen_one by from_integer where possible

  Show description for 6e36ead
  tautschnig

  committed
  6e36ead

  Copy full SHA for 6e36ead

Commits on Jan 5, 2017

• Use ranged-for

  Show description for 11e960c
  tautschnig

  committed
  11e960c

  Copy full SHA for 11e960c