Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

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

Commits on Dec 13, 2023

• Remove all references to optionalt

  Show description for 851c486
  tautschnig

  committed
  851c486

  Copy full SHA for 851c486

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 Jul 3, 2022

• index_exprt now requires a type with subtype

  Show description for 07dedc7
  kroening

  committed
  07dedc7

  Copy full SHA for 07dedc7

Commits on Jan 13, 2022

• rename index_type and enum_constant_type

  Show description for 4271a0a
  kroening

  committed
  4271a0a

  Copy full SHA for 4271a0a

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

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

  Show description for 0210503
  tautschnig

  committed
  0210503

  Copy full SHA for 0210503

Commits on Apr 1, 2019

• Replace side effects expressions inside address_of

  Show description for ff128a6
  

  tautschnig

  authored and

  kroening

  committed
  ff128a6

  Copy full SHA for ff128a6

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 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

• introduce side_effect_expr_assignt

  Show description for d87f247
  kroening

  committed
  d87f247

  Copy full SHA for d87f247

• side_effect_exprt now offers constructor with operands

  Show description for 0cb2bd8
  kroening

  committed
  0cb2bd8

  Copy full SHA for 0cb2bd8

• Use non-deprecated variant of to_integer

  Show description for 009e7ae
  

  tautschnig

  authored and

  kroening

  committed
  009e7ae

  Copy full SHA for 009e7ae

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 Dec 18, 2018

• Cleanup uses of std::move

  Show description for e08eb2f
  tautschnig

  committed
  e08eb2f

  Copy full SHA for e08eb2f

Commits on Nov 6, 2018

• Restructure code to use constructors and add std::move

  Show description for d3c0949
  tautschnig

  committed
  d3c0949

  Copy full SHA for d3c0949

• Replace uses of codet::move by codet::add(std::move(...))

  Show description for 937d8f3
  tautschnig

  committed
  937d8f3

  Copy full SHA for 937d8f3

Commits on Oct 28, 2018

• Wrap local vars in std::move (Clang 7 build fix)

  Show description for 72bfc35
  karkhaz

  committed
  72bfc35

  Copy full SHA for 72bfc35

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

• added code_blockt::statements(), which is a vector of codet

  Show description for 7d8b70c
  kroening

  committed
  7d8b70c

  Copy full SHA for 7d8b70c

Commits on Sep 30, 2018

• use full side_effect_expr_function_callt constructor

  kroening

  committed
  4bae1df

  Copy full SHA for 4bae1df

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  kroening

  committed
  02b517f

  Copy full SHA for 02b517f

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

• Merge branch 'develop' into ID_base_name

  kroening

  authored
  b1a3a52

  Copy full SHA for b1a3a52

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 Sep 21, 2018

• Use componentt::get_name() instead of irept::get(ID_name)

  Show description for 0c66663
  tautschnig

  committed
  0c66663

  Copy full SHA for 0c66663

• Use componentt::get_base_name() instead of irept::get(ID_base_name)

  Show description for cb4ea5b
  tautschnig

  committed
  cb4ea5b

  Copy full SHA for cb4ea5b

• C++ front-end: Use IDs instead of raw string

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

• C++ front-end: Use ranged for to iterate over components and bases

  Show description for 716279f
  tautschnig

  committed
  716279f

  Copy full SHA for 716279f

Commits on Sep 17, 2018

• use ranged for over components

  kroening

  committed
  c5aa37a

  Copy full SHA for c5aa37a

Commits on Aug 23, 2018

• rewrite a no-op

  kroening

  committed
  fd5c528

  Copy full SHA for fd5c528