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

• C++ front-end: use new symbolt constructors

  Show description for 6ac16bf
  tautschnig

  committed
  6ac16bf

  Copy full SHA for 6ac16bf

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on Jan 13, 2022

• introduce pointer_typet::base_type()

  Show description for 4f135cc
  kroening

  committed
  4f135cc

  Copy full SHA for 4f135cc

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

• Construct struct_exprt in a non-deprecated way

  Show description for 3e82e5b
  tautschnig

  committed
  3e82e5b

  Copy full SHA for 3e82e5b

Commits on Jan 10, 2019

• Improve handling of "mode" in cpp front-end

  Show description for d65b9e3
  tautschnig

  committed
  d65b9e3

  Copy full SHA for d65b9e3

Commits on Oct 5, 2018

• c++: use struct_tag instead of symbol_type

  kroening

  committed
  d2f803a

  Copy full SHA for d2f803a

Commits on Sep 21, 2018

• 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 Jun 11, 2018

• Code cleanup

  Show description for ec5425e
  tautschnig

  committed
  ec5425e

  Copy full SHA for ec5425e

Commits on Mar 3, 2018

• Use std_{code,expr,type} constructors

  Show description for d04312f
  tautschnig

  committed
  d04312f

  Copy full SHA for d04312f

Commits on Oct 9, 2017

• Enable compilation with NDEBUG defined

  Show description for 764c651
  andreast271

  committed
  764c651

  Copy full SHA for 764c651

Commits on Oct 5, 2017

• Changed interface to symbol_tablet::insert

  

  NathanJPhillips

  authored and

  smowton

  committed
  9f4e933

  Copy full SHA for 9f4e933

• Restricted interface of current symbol_tablet

  

  NathanJPhillips

  authored and

  smowton

  committed
  d1d502f

  Copy full SHA for d1d502f

Commits on Sep 17, 2017

• use std::size_t for container indices

  kroening

  committed
  69a8eaf

  Copy full SHA for 69a8eaf

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 Feb 15, 2017

• Remove space following reference-to (&)

  tautschnig

  committed
  e501a05

  Copy full SHA for e501a05

• Whitespace and line breaks to match coding guidelines (part 2)

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

Commits on Feb 14, 2017

• Fix missing whitespace after ,

  tautschnig

  committed
  4f79919

  Copy full SHA for 4f79919

• Appropriate copyright notices

  tautschnig

  committed
  7bdd2ec

  Copy full SHA for 7bdd2ec

Commits on Jan 27, 2017

• Added file copyright header as noted by linter

  tautschnig

  committed
  7eae44c

  Copy full SHA for 7eae44c

• Use null_pointer_exprt instead of gen_zero

  tautschnig

  committed
  a22a54a

  Copy full SHA for a22a54a

• Replace gen_zero/gen_one by from_integer where possible

  Show description for 6e36ead
  tautschnig

  committed
  6e36ead

  Copy full SHA for 6e36ead

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Jun 9, 2014

• arguments -> parameters

  Show description for 3c7ab3f
  

  kroening

  committed
  3c7ab3f

  Copy full SHA for 3c7ab3f

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Feb 10, 2013

• context -> symbol_table

  Show description for fa6d5ff
  

  kroening

  committed
  fa6d5ff

  Copy full SHA for fa6d5ff

Commits on Nov 21, 2012

• avoid use of as_string()

  Show description for 1b48383
  

  kroening

  committed
  1b48383

  Copy full SHA for 1b48383

Commits on Oct 8, 2012

• symbol flags cleanup

  Show description for 5e378e2
  

  kroening

  committed
  5e378e2

  Copy full SHA for 5e378e2

Commits on Sep 18, 2012

• form

  Show description for 202dbd7
  

  kroening

  committed
  202dbd7

  Copy full SHA for 202dbd7

Commits on Apr 1, 2012

• hardwire mode

  Show description for 84e6fc9
  

  kroening

  committed
  84e6fc9

  Copy full SHA for 84e6fc9

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading