Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

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 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 Dec 1, 2022

• Merge pull request #6754 from tautschnig/cleanup/assert-to-invariant

  Show description for 8ed5e40
  tautschnig

  authored
  8ed5e40

  Copy full SHA for 8ed5e40

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

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

• Replace some uses of forall_operands by ranged-for

  Show description for 7cb1f5b
  tautschnig

  committed
  7cb1f5b

  Copy full SHA for 7cb1f5b

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 Jun 21, 2022

• equal_exprt now checks types of the operands

  Show description for 4ab7663
  kroening

  committed
  4ab7663

  Copy full SHA for 4ab7663

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

• move pointer-related expression classes into separate header file

  Show description for 6e2b157
  kroening

  committed
  6e2b157

  Copy full SHA for 6e2b157

Commits on Jan 8, 2021

• C/C++ front-end: void-typed symbols are permitted when extern

  Show description for f0dd97d
  tautschnig

  committed
  f0dd97d

  Copy full SHA for f0dd97d

Commits on Dec 21, 2020

• C/C++ front-end: do not accept void-typed objects or members

  Show description for 9018306
  tautschnig

  committed
  9018306

  Copy full SHA for 9018306

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

• Encapsulate ID_already_typechecked in a proper API

  Show description for 09410a6
  tautschnig

  committed
  09410a6

  Copy full SHA for 09410a6

Commits on Apr 17, 2019

• Make declarations in switch body reachable

  Show description for 39190e1
  

  tautschnig

  authored and

  kroening

  committed
  39190e1

  Copy full SHA for 39190e1

Commits on Apr 1, 2019

• C++: Add support for indexed access to bitvectors

  Show description for ca64bbc
  

  tautschnig

  authored and

  kroening

  committed
  ca64bbc

  Copy full SHA for ca64bbc

Commits on Feb 7, 2019

• Do not mark codet objects as having typet(ID_code)

  Show description for 661dd88
  tautschnig

  committed
  661dd88

  Copy full SHA for 661dd88

Commits on Jan 29, 2019

• Construct side_effect_expr_function_callt in a non-deprecated way

  Show description for 28ea7a5
  tautschnig

  committed
  28ea7a5

  Copy full SHA for 28ea7a5

Commits on Jan 27, 2019

• Avoid codet construction without a statement set

  Show description for 55ca1ef
  tautschnig

  committed
  55ca1ef

  Copy full SHA for 55ca1ef

Commits on Jan 25, 2019

• Avoid default constructing code_expressiont

  Show description for 5161a7e
  

  tautschnig

  authored and

  kroening

  committed
  5161a7e

  Copy full SHA for 5161a7e

Commits on Jan 22, 2019

• side_effect_exprt now offers constructor with operands

  Show description for 0cb2bd8
  kroening

  committed
  0cb2bd8

  Copy full SHA for 0cb2bd8

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

• Remove unnecessary use of ns.follow in cpp/

  Show description for 6e1eb23
  tautschnig

  committed
  6e1eb23

  Copy full SHA for 6e1eb23

Commits on Nov 14, 2018

• Do not shadow "fargs"

  Show description for 7bbb51b
  tautschnig

  committed
  7bbb51b

  Copy full SHA for 7bbb51b

• Do not shadow "code" parameter and use modern API

  Show description for 90fa199
  tautschnig

  committed
  90fa199

  Copy full SHA for 90fa199

Commits on Nov 6, 2018

• code_declt is now typed

  kroening

  committed
  e889df7

  Copy full SHA for e889df7

Commits on Oct 18, 2018

• use code_blockt::statements() where appropriate

  Show description for 01fd831
  kroening

  committed
  01fd831

  Copy full SHA for 01fd831

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

• Use constructors to construct objects

  Show description for dbc5439
  tautschnig

  committed
  dbc5439

  Copy full SHA for dbc5439

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

Commits on Sep 24, 2018

• Merge pull request #3004 from tautschnig/true-false

  Show description for 92fbfc5
  tautschnig

  authored
  92fbfc5

  Copy full SHA for 92fbfc5

Commits on Sep 21, 2018

• clang-format whitespace cleanup around recently changed lines

  Show description for 187430e
  tautschnig

  committed
  187430e

  Copy full SHA for 187430e

• Do not use redundant comparison with true or false

  Show description for 867fb02
  tautschnig

  committed
  867fb02

  Copy full SHA for 867fb02