Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Apr 25, 2024

• Avoid duplicate "warning:" or "error:" prefixes in the C/C++ front-end

  Show description for 9659d17
  tautschnig

  committed
  9659d17

  Copy full SHA for 9659d17

Commits on Dec 1, 2022

• C++ front-end: use new symbolt constructors

  Show description for 6ac16bf
  tautschnig

  committed
  6ac16bf

  Copy full SHA for 6ac16bf

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on Nov 19, 2022

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

Commits on Sep 9, 2022

• use typet::add_subtype

  Show description for 61acf6c
  kroening

  committed
  61acf6c

  Copy full SHA for 61acf6c

Commits on Jan 18, 2022

• c_enum_typet::underlying_type() and c_bitfield_typet::underlying_type()

  Show description for 6776f0c
  kroening

  committed
  6776f0c

  Copy full SHA for 6776f0c

Commits on Jan 29, 2021

• Remove {f,F}orall_irep

  Show description for 3db58c9
  tautschnig

  committed
  3db58c9

  Copy full SHA for 3db58c9

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

• C++ front-end: Remove internal symbols before linking

  Show description for 8101a98
  

  tautschnig

  authored and

  kroening

  committed
  8101a98

  Copy full SHA for 8101a98

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

• C++ front-end: bool is also an integral type

  Show description for 0872568
  tautschnig

  committed
  0872568

  Copy full SHA for 0872568

• Improve handling of "mode" in cpp front-end

  Show description for d65b9e3
  tautschnig

  committed
  d65b9e3

  Copy full SHA for d65b9e3

Commits on Nov 14, 2018

• Avoid shadowing "save_scope"

  Show description for d125fb7
  tautschnig

  committed
  d125fb7

  Copy full SHA for d125fb7

Commits on Jun 14, 2018

• Use resolver to translate cpp_name to scoped base_name

  tautschnig

  committed
  1daf466

  Copy full SHA for 1daf466

Commits on Jun 12, 2018

• Support Visual Studio's forward enum declarations

  tautschnig

  committed
  e0d56da

  Copy full SHA for e0d56da

Commits on Jun 11, 2018

• C++: support enum class

  tautschnig

  committed
  a7502c9

  Copy full SHA for a7502c9

Commits on Oct 5, 2017

• 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 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 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 3, 2017

• merge of PR #347

  kroening

  committed
  2db625a

  Copy full SHA for 2db625a

Commits on Nov 29, 2016

• 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 Jul 11, 2016

• Consistency: use messaget's error directly instead of

  Show description for 3fb426e
  kroening

  committed
  3fb426e

  Copy full SHA for 3fb426e

Commits on Jul 7, 2015

• tags now match C front-end

  Show description for 7aba48b
  

  kroening

  committed
  7aba48b

  Copy full SHA for 7aba48b

Commits on Dec 31, 2014

• underlying types for regular enums

  Show description for 2084118
  

  kroening

  committed
  2084118

  Copy full SHA for 2084118

• underlying type for C++11 scoped enums

  Show description for d5213b3
  

  kroening

  committed
  d5213b3

  Copy full SHA for d5213b3

Commits on Nov 30, 2014

• clean up aliases for C types

  Show description for 9740856
  

  kroening

  committed
  9740856

  Copy full SHA for 9740856

Commits on Nov 3, 2014

• even more for enums

  Show description for e379215
  

  kroening

  committed
  e379215

  Copy full SHA for e379215

• more for enums

  Show description for 9191bfd
  

  kroening

  committed
  9191bfd

  Copy full SHA for 9191bfd

Commits on Nov 2, 2014

• fixes for enums

  Show description for 3de2a30
  

  kroening

  committed
  3de2a30

  Copy full SHA for 3de2a30

Commits on Aug 28, 2014

• location -> source_location

  Show description for 0283bba
  

  kroening

  committed
  0283bba

  Copy full SHA for 0283bba

Commits on Aug 27, 2014

• locationt is now source_locationt

  Show description for 047efdc
  

  kroening

  committed
  047efdc

  Copy full SHA for 047efdc