Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

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

• 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

• Mark includes that include-what-you-use spuriously suggests to remove

  Show description for a2e3dd4
  tautschnig

  committed
  a2e3dd4

  Copy full SHA for a2e3dd4

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

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

• Properly set up scope prefix instead of hacking it away

  tautschnig

  committed
  aa40d59

  Copy full SHA for aa40d59

• Move is_template_scope to parent as it holds the id_class member

  tautschnig

  committed
  2466615

  Copy full SHA for 2466615

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

• C++: introduce template_parameter_symbol_type

  kroening

  committed
  7fd2cf7

  Copy full SHA for 7fd2cf7

Commits on Nov 14, 2018

• Do not shadow parameter "type"

  Show description for 60dbdc3
  tautschnig

  committed
  60dbdc3

  Copy full SHA for 60dbdc3

• Avoid shadowing "save_scope"

  Show description for d125fb7
  tautschnig

  committed
  d125fb7

  Copy full SHA for d125fb7

Commits on Sep 29, 2018

• cpp_scopet::lookup methods now return an id set

  kroening

  committed
  89b2bb3

  Copy full SHA for 89b2bb3

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

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

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Jun 11, 2018

• C++ front-end: qualified template specialisation can just be accepted

  tautschnig

  committed
  57a14b0

  Copy full SHA for 57a14b0

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

• Deactivate unreachable code

  

  peterschrammel

  authored and

  kroening

  committed
  9ea407b

  Copy full SHA for 9ea407b

Commits on Jul 24, 2017

• Replace macros with exception types

  reuk

  committed
  26fb850

  Copy full SHA for 26fb850

• Fix linter errors, ignoring big-int and miniz

  reuk

  committed
  822df45

  Copy full SHA for 822df45

• Fix nullptr usage, ignoring miniz and big-int

  reuk

  committed
  c92a429

  Copy full SHA for c92a429

• Revert "[depends: #1063] Use nullptr to represent null pointers (targets master)"

  kroening

  authored
  6fea4fa

  Copy full SHA for 6fea4fa

Commits on Jul 20, 2017

• Fix linter errors, ignoring big-int and miniz

  reuk

  committed
  52e5765

  Copy full SHA for 52e5765

• Fix nullptr

  reuk

  committed
  a06cf76

  Copy full SHA for a06cf76

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 26, 2017

• Fix typos

  Show description for 60c9fb2
  

  Owen Jones

  committed
  60c9fb2

  Copy full SHA for 60c9fb2

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 16, 2017

• Convert endl to newline in cpp

  reuk

  committed
  fbef879

  Copy full SHA for fbef879