Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Dec 1, 2022

• Replace assert(...) by macros from invariant.h

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

• Clean up ansi_c_convert_typet's interface

  Show description for 794f6f7
  tautschnig

  committed
  794f6f7

  Copy full SHA for 794f6f7

• ansi_c_convert_typet is not a messaget

  Show description for 957f87c
  tautschnig

  committed
  957f87c

  Copy full SHA for 957f87c

Commits on Sep 8, 2022

• replace uses of typet::subtype() nonconst

  Show description for 040c93c
  kroening

  committed
  040c93c

  Copy full SHA for 040c93c

Commits on May 19, 2022

• C++ type conversion: gcc_attribute_mode must not be re-converted

  Show description for 12354e4
  tautschnig

  committed
  12354e4

  Copy full SHA for 12354e4

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

• Remove {f,F}orall_irep

  Show description for 3db58c9
  tautschnig

  committed
  3db58c9

  Copy full SHA for 3db58c9

Commits on Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

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

• C++: clean out symbol_type

  Show description for 81c12bd
  kroening

  committed
  81c12bd

  Copy full SHA for 81c12bd

Commits on Dec 2, 2018

• Use code_typet::parameters

  Show description for 24d6df8
  tautschnig

  committed
  24d6df8

  Copy full SHA for 24d6df8

Commits on Oct 29, 2018

• Merge pull request #3184 from tautschnig/cpp_bool

  Show description for 16492df
  tautschnig

  authored
  16492df

  Copy full SHA for 16492df

• C++ bool is at least one byte wide

  Show description for fd39953
  tautschnig

  committed
  fd39953

  Copy full SHA for fd39953

• Use CPROVER_PREFIX macro instead of hardcoded __CPROVER_ string

  Show description for 4a02c75
  tautschnig

  committed
  4a02c75

  Copy full SHA for 4a02c75

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

• type symbols now use ID_symbol_type

  kroening

  committed
  f93deec

  Copy full SHA for f93deec

Commits on Jul 30, 2018

• __float80 is a typedef, not a keyword

  kroening

  committed
  8288a72

  Copy full SHA for 8288a72

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

• Swap order of subtypes in construction of merged_type nodes

  Show description for 999ad15
  

  andreast271

  authored and

  tautschnig

  committed
  999ad15

  Copy full SHA for 999ad15

Commits on May 3, 2018

• new gcc floating-point type identifiers, Fixes: #2151

  Show description for 52e9737
  kroening

  committed
  52e9737

  Copy full SHA for 52e9737

Commits on Oct 13, 2017

• Pointers now come with a width

  kroening

  committed
  00d25a2

  Copy full SHA for 00d25a2

Commits on Sep 26, 2017

• introduced ID_frontend_pointer

  kroening

  committed
  0cc696b

  Copy full SHA for 0cc696b

Commits on Aug 29, 2017

• replace assert(false) by UNREACHABLE

  kroening

  committed
  5a04db9

  Copy full SHA for 5a04db9

Commits on Jul 20, 2017

• use pointer_type() instead of pointer_typet()

  kroening

  committed
  13f3d5f

  Copy full SHA for 13f3d5f

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

• Convert endl to newline in cpp

  reuk

  committed
  fbef879

  Copy full SHA for fbef879

Commits on Feb 14, 2017

• Added "explicit" to all single-parameter constructors

  Show description for faba843
  tautschnig

  committed
  faba843

  Copy full SHA for faba843

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Sep 26, 2016

• do restrict qualifier

  kroening

  committed
  9d628cc

  Copy full SHA for 9d628cc

Commits on Jan 14, 2016

• ID_function_type added

  Show description for fab5911
  

  kroening

  committed
  fab5911

  Copy full SHA for fab5911

Commits on Nov 24, 2015

• cleanup

  Show description for 7f356a6
  

  kroening

  committed
  7f356a6

  Copy full SHA for 7f356a6