Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jun 17, 2024

• Add further GCC/Clang vector types

  Show description for 8f31c20
  tautschnig

  committed
  8f31c20

  Copy full SHA for 8f31c20

Commits on Jun 9, 2024

• Merge pull request #8291 from tautschnig/bugfixes/c++-shift-vs-template

  Show description for 37511f3
  kroening

  authored
  37511f3

  Copy full SHA for 37511f3

Commits on May 25, 2024

• Merge pull request #8289 from tautschnig/bugfixes/c++-attributes-tag-less

  Show description for 8ff5619
  kroening

  authored
  8ff5619

  Copy full SHA for 8ff5619

Commits on May 13, 2024

• Merge pull request #8288 from tautschnig/bugfixes/c++-alignas

  Show description for a885947
  kroening

  authored
  a885947

  Copy full SHA for a885947

Commits on May 11, 2024

• Merge pull request #8287 from tautschnig/bugfixes/c++-nodiscard

  Show description for 3e5bf81
  tautschnig

  authored
  3e5bf81

  Copy full SHA for 3e5bf81

• C++ front-end: fix parsing of >> as closing template args

  Show description for bc0ce46
  tautschnig

  committed
  bc0ce46

  Copy full SHA for bc0ce46

• C++ front-end: support attributes with tag-less structs

  Show description for fc31dfc
  tautschnig

  committed
  fc31dfc

  Copy full SHA for fc31dfc

• C++ front-end: fix parentheses matching for alignas parsing

  Show description for 7a432e7
  tautschnig

  committed
  7a432e7

  Copy full SHA for 7a432e7

• C++ front-end: support [[__nodiscard__]] and [[nodiscard]]

  Show description for 4bd13f2
  tautschnig

  committed
  4bd13f2

  Copy full SHA for 4bd13f2

• C++ front-end: permit GCC attributes in using declarations

  Show description for ac4bb2e
  tautschnig

  committed
  ac4bb2e

  Copy full SHA for ac4bb2e

Commits on Mar 15, 2024

• C and C++ parsers: construct with message handler

  Show description for 1f240bc
  tautschnig

  committed
  1f240bc

  Copy full SHA for 1f240bc

Commits on Dec 20, 2023

• C++ front-end: configure C++11+ syntax without ansi_c_parser object

  Show description for a8d21c7
  tautschnig

  committed
  a8d21c7

  Copy full SHA for a8d21c7

Commits on Dec 13, 2023

• Remove all references to optionalt

  Show description for 851c486
  tautschnig

  committed
  851c486

  Copy full SHA for 851c486

Commits on Aug 23, 2023

• Merge pull request #7841 from tautschnig/features/gcc-13

  Show description for d61bffc
  tautschnig

  authored
  d61bffc

  Copy full SHA for d61bffc

Commits on Aug 16, 2023

• C++ front-end: fix type checking of anonymous bit fields

  Show description for be2a41c
  tautschnig

  committed
  be2a41c

  Copy full SHA for be2a41c

Commits on Aug 14, 2023

• C++ front-end: support constexpr inline <type> <name> declarations

  Show description for c498038
  tautschnig

  committed
  c498038

  Copy full SHA for c498038

• C++ front-end: support C11 and GCC attributes in declarations

  Show description for 5040e4d
  tautschnig

  committed
  5040e4d

  Copy full SHA for 5040e4d

Commits on Dec 16, 2022

• Merge pull request #5621 from tautschnig/messaget-parser

  Show description for c1e83a0
  kroening

  authored
  c1e83a0

  Copy full SHA for c1e83a0

Commits on Dec 12, 2022

• Clang-format modified lines in parse.cpp

  Show description for a5f789a
  tautschnig

  committed
  a5f789a

  Copy full SHA for a5f789a

• C front-end: labelled declarations are only supported by Visual Studio

  Show description for c9272d1
  tautschnig

  committed
  c9272d1

  Copy full SHA for c9272d1

Commits on Dec 1, 2022

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

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

Commits on Nov 20, 2022

• parsert is not a messaget

  Show description for c06c96b
  tautschnig

  committed
  c06c96b

  Copy full SHA for c06c96b

Commits on Sep 9, 2022

• use typet::add_subtype

  Show description for 61acf6c
  kroening

  committed
  61acf6c

  Copy full SHA for 61acf6c

Commits on Dec 16, 2021

• Use null_pointer_exprt

  Show description for 40b57ea
  tautschnig

  committed
  40b57ea

  Copy full SHA for 40b57ea

Commits on Oct 20, 2021

• introduce code_frontend_returnt

  Show description for 47a3277
  kroening

  committed
  47a3277

  Copy full SHA for 47a3277

Commits on Oct 19, 2021

• introduce code_frontend_declt

  Show description for d15f2b2
  kroening

  committed
  d15f2b2

  Copy full SHA for d15f2b2

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Feb 2, 2021

• C++ front-end: support GCC type attributes

  Show description for 1d663f0
  tautschnig

  committed
  1d663f0

  Copy full SHA for 1d663f0

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 Nov 25, 2019

• cpp_static_assertt constructor now has operands

  Show description for 5d2d62d
  kroening

  committed
  5d2d62d

  Copy full SHA for 5d2d62d

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

• 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

• Handle all enum values in switch/case

  tautschnig

  committed
  81cd230

  Copy full SHA for 81cd230

• Remove unnecessary uses of ""

  Show description for 29a9ce8
  tautschnig

  committed
  29a9ce8

  Copy full SHA for 29a9ce8