Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Mar 12, 2024

• Merge pull request #8169 from tautschnig/bugfixes/float-extensions

  Show description for 689c552
  tautschnig

  authored
  689c552

  Copy full SHA for 689c552

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 Feb 5, 2024

• C/C++ front-end: accept all floating-point extensions that GCC and Clang support

  Show description for bf1159f
  tautschnig

  committed
  bf1159f

  Copy full SHA for bf1159f

Commits on Jan 11, 2024

• Make ansi_c_internal_additions independent of the parser object

  Show description for 6d4e0db
  tautschnig

  committed
  6d4e0db

  Copy full SHA for 6d4e0db

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

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

Commits on May 25, 2022

• Add source location to invalid_source_file_exceptiont

  Show description for 0470384
  tautschnig

  committed
  0470384

  Copy full SHA for 0470384

Commits on Jan 31, 2022

• remove usage of typet::subtype()

  Show description for 3b27b76
  kroening

  committed
  3b27b76

  Copy full SHA for 3b27b76

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

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

• C++ front-end: put "this" parameter in the symbol table

  Show description for f278f3d
  tautschnig

  committed
  f278f3d

  Copy full SHA for f278f3d

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

• Replace all uses of move_to_operands

  Show description for 15aef45
  tautschnig

  committed
  15aef45

  Copy full SHA for 15aef45

Commits on Nov 12, 2018

• Avoid shadowing "symbol"

  Show description for ec0bcbb
  tautschnig

  committed
  ec0bcbb

  Copy full SHA for ec0bcbb

Commits on Oct 7, 2018

• use code_blockt::add and code_blockt constructor for adding a statement

  Show description for 46232f0
  kroening

  committed
  46232f0

  Copy full SHA for 46232f0

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

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

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

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

• Merge pull request #2448 from tautschnig/c++-delayed-body

  Show description for 4c6cfc0
  tautschnig

  authored
  4c6cfc0

  Copy full SHA for 4c6cfc0

Commits on Jun 25, 2018

• Clean up unused template instantiation symbols

  

  peterschrammel

  authored and

  tautschnig

  committed
  34bd58f

  Copy full SHA for 34bd58f

• 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 8, 2018

• C++ front-end: Use C factory for compiler builtins

  tautschnig

  committed
  1201ffe

  Copy full SHA for 1201ffe

Commits on Jun 6, 2018

• Rename zero_initializer to expr_initializer in preparation of generalisation

  tautschnig

  committed
  626fb98

  Copy full SHA for 626fb98

• Move zero_initializer to util

  Show description for bc15b1b
  tautschnig

  committed
  bc15b1b

  Copy full SHA for bc15b1b

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

• replace assert(false) by UNREACHABLE

  kroening

  committed
  5a04db9

  Copy full SHA for 5a04db9

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

• Message handlers maintain counters of messages per level

  Show description for e3e74b0
  tautschnig

  committed
  e3e74b0

  Copy full SHA for e3e74b0