Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jan 19, 2026

• symbol_exprt C++-style API

  Show description for aed51dd
  kroening

  committed
  aed51dd

  Copy full SHA for aed51dd

Commits on Oct 20, 2025

• Use operator==(exprt, int) instead of is_zero

  Show description for b89c75d
  tautschnig

  committed
  b89c75d

  Copy full SHA for b89c75d

• Use operator==(exprt, bool)

  Show description for f721429
  tautschnig

  committed
  f721429

  Copy full SHA for f721429

Commits on Jun 25, 2025

• Fully support aarch64 ABI's va_list struct

  Show description for 0f91a44
  tautschnig

  committed
  0f91a44

  Copy full SHA for 0f91a44

Commits on Feb 19, 2025

• line number for files with no newline

  Show description for a262c00
  kroening

  committed
  a262c00

  Copy full SHA for a262c00

Commits on Sep 10, 2024

• Move is_null_pointer to constant_exprt

  Show description for 42b70b2
  tautschnig

  committed
  42b70b2

  Copy full SHA for 42b70b2

Commits on Aug 20, 2024

• Remove qualifierst

  Show description for eabcf9c
  tautschnig

  committed
  eabcf9c

  Copy full SHA for eabcf9c

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 14, 2024

• Be precise as to whether __float128 is a keyword or a typedef

  Show description for 62c2909
  tautschnig

  committed
  62c2909

  Copy full SHA for 62c2909

Commits on Jun 11, 2024

• Add support for __fp16 where appropriate

  Show description for 2d80f17
  tautschnig

  committed
  2d80f17

  Copy full SHA for 2d80f17

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 15, 2024

• Merge pull request #8290 from tautschnig/bugfixes/c++-decl-code

  Show description for 693292f
  kroening

  authored
  693292f

  Copy full SHA for 693292f

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: not all declarators are code-typed

  Show description for 16b9b90
  tautschnig

  committed
  16b9b90

  Copy full SHA for 16b9b90

• 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 May 6, 2024

• Merge pull request #8246 from diffblue/extractbits-width

  Show description for 4f5b402
  kroening

  authored
  4f5b402

  Copy full SHA for 4f5b402

Commits on Apr 27, 2024

• Merge pull request #8218 from tautschnig/cleanup/no-follow-ansi-c

  Show description for e6e665f
  kroening

  authored
  e6e665f

  Copy full SHA for e6e665f

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 Apr 2, 2024

• Merge pull request #8244 from tautschnig/cleanup/remove-parsert-clear

  Show description for 6ad485d
  kroening

  authored
  6ad485d

  Copy full SHA for 6ad485d

Commits on Mar 22, 2024

• C front-end: Replace uses of namespacet::follow

  Show description for b44338d
  tautschnig

  committed
  b44338d

  Copy full SHA for b44338d

Commits on Mar 19, 2024

• simplify extractbits_exprt representation

  Show description for 97cb8a3
  kroening

  committed
  97cb8a3

  Copy full SHA for 97cb8a3

Commits on Mar 18, 2024

• C/C++ front-end: Revert scanner re-entrancy

  Show description for 08d6d67
  tautschnig

  committed
  08d6d67

  Copy full SHA for 08d6d67

Commits on Mar 15, 2024

• Remove parsert::clear and all of its overrides

  Show description for 14715d9
  tautschnig

  committed
  14715d9

  Copy full SHA for 14715d9

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

  Show description for 1f240bc
  tautschnig

  committed
  1f240bc

  Copy full SHA for 1f240bc

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

• C++ type checking: use reference_typet, pointer_typet

  Show description for bf29f34
  tautschnig

  committed
  bf29f34

  Copy full SHA for bf29f34

Commits on Feb 6, 2024

• use dstringt::starts_with

  Show description for 5747032
  kroening

  committed
  5747032

  Copy full SHA for 5747032

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