Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on May 11, 2024

• C++ front-end: not all declarators are code-typed

  Show description for 16b9b90
  tautschnig

  committed
  16b9b90

  Copy full SHA for 16b9b90

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

• Consistently use exprt::is_constant()

  Show description for 5eddb4c
  tautschnig

  committed
  5eddb4c

  Copy full SHA for 5eddb4c

• 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 Sep 9, 2022

• use typet::add_subtype

  Show description for 61acf6c
  kroening

  committed
  61acf6c

  Copy full SHA for 61acf6c

Commits on Jan 18, 2022

• array_typet and vector_typet APIs

  Show description for a7e039b
  kroening

  committed
  a7e039b

  Copy full SHA for a7e039b

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

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

• Enable internal validation for C++ regression tests

  Show description for 2ee2a57
  

  tautschnig

  authored and

  kroening

  committed
  2ee2a57

  Copy full SHA for 2ee2a57

• 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 May 15, 2019

• C++ front-end: Declarator to symbol conversion follows C implementation

  Show description for e3ed19e
  tautschnig

  committed
  e3ed19e

  Copy full SHA for e3ed19e

Commits on Apr 30, 2019

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

  Show description for ec56872
  tautschnig

  committed
  ec56872

  Copy full SHA for ec56872

• Read "is inlined" attribute of goto functions from the symbol table

  Show description for c003aa2
  

  tautschnig

  authored and

  kroening

  committed
  c003aa2

  Copy full SHA for c003aa2

Commits on Apr 18, 2019

• C++ front-end: store typedef names

  Show description for 620e27d
  

  tautschnig

  authored and

  kroening

  committed
  620e27d

  Copy full SHA for 620e27d

Commits on Apr 11, 2019

• Typecheck friend type declarations

  Show description for ebb3ea4
  

  peterschrammel

  authored and

  tautschnig

  committed
  ebb3ea4

  Copy full SHA for ebb3ea4

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

• remove #include "mathematical_types.h" from std_expr.h

  Show description for 6ae7e0e
  kroening

  committed
  6ae7e0e

  Copy full SHA for 6ae7e0e

Commits on Jan 10, 2019

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

Commits on Oct 5, 2018

• typing of cpp_typecheckt::add_this_to_method_type

  kroening

  committed
  e15e407

  Copy full SHA for e15e407

Commits on Sep 30, 2018

• Merge pull request #3066 from diffblue/cpp-ranged-for

  Show description for 270d487
  tautschnig

  authored
  270d487

  Copy full SHA for 270d487

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

• cpp_scopet::lookup methods now return an id set

  kroening

  committed
  89b2bb3

  Copy full SHA for 89b2bb3

Commits on Sep 25, 2018

• Move class_typet::baset to struct_typet

  Show description for 1f5e03c
  tautschnig

  committed
  1f5e03c

  Copy full SHA for 1f5e03c

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

• Merge pull request #2205 from diffblue/rename_symbol_type

  Show description for 159bf15
  peterschrammel

  authored
  159bf15

  Copy full SHA for 159bf15

Commits on Aug 11, 2018

• Remove names of unused parameters

  tautschnig

  committed
  3785941

  Copy full SHA for 3785941

Commits on Aug 10, 2018

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

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