Commits

History for

Commits on Dec 1, 2022

Replace assert(...) by macros from invariant.h
tautschnig
committed
f901919
C++ front-end: use new symbolt constructors
tautschnig
committed
6ac16bf

Commits on Nov 20, 2022

Remove unnecessary includes
tautschnig
committed
7ba2bd4

Commits on Jan 13, 2022

introduce pointer_typet::base_type()
kroening
committed
4f135cc

Commits on Jan 19, 2021

move pointer-related expression classes into separate header file
kroening
committed
6e2b157

Commits on Jan 13, 2019

Construct struct_exprt in a non-deprecated way
tautschnig
committed
3e82e5b

Commits on Jan 10, 2019

Improve handling of "mode" in cpp front-end
tautschnig
committed
d65b9e3

Commits on Oct 5, 2018

c++: use struct_tag instead of symbol_type
kroening
committed
d2f803a

Commits on Sep 21, 2018

Commits on Jun 11, 2018

Code cleanup
tautschnig
committed
ec5425e

Commits on Mar 3, 2018

Use std_{code,expr,type} constructors
tautschnig
committed
d04312f

Commits on Oct 9, 2017

Enable compilation with NDEBUG defined
andreast271
committed
764c651

Commits on Oct 5, 2017

Changed interface to symbol_tablet::insert

NathanJPhillips
authored and
smowton
committed
9f4e933
Restricted interface of current symbol_tablet

NathanJPhillips
authored and
smowton
committed
d1d502f

Commits on Sep 17, 2017

use std::size_t for container indices
kroening
committed
69a8eaf

Commits on Jul 20, 2017

use pointer_type() instead of pointer_typet()
kroening
committed
13f3d5f

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed
1ccd30e

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on Feb 15, 2017

Remove space following reference-to (&)
tautschnig
committed
e501a05
Whitespace and line breaks to match coding guidelines (part 2)
tautschnig
committed
cd9d007

Commits on Feb 14, 2017

Fix missing whitespace after ,
tautschnig
committed
4f79919
Appropriate copyright notices
tautschnig
committed
7bdd2ec

Commits on Jan 27, 2017

Added file copyright header as noted by linter
tautschnig
committed
7eae44c
Use null_pointer_exprt instead of gen_zero
tautschnig
committed
a22a54a
Replace gen_zero/gen_one by from_integer where possible
tautschnig
committed
6e36ead

Commits on Nov 29, 2016

Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Jun 9, 2014

arguments -> parameters
kroening
committed
3c7ab3f

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed
2f61175

Commits on Feb 10, 2013

context -> symbol_table
kroening
committed
fa6d5ff

Commits on Nov 21, 2012

avoid use of as_string()
kroening
committed
1b48383

Commits on Oct 8, 2012

symbol flags cleanup
kroening
committed
5e378e2

Commits on Sep 18, 2012

form
kroening
committed
202dbd7

Commits on Apr 1, 2012

hardwire mode
kroening
committed
84e6fc9

Commits on May 8, 2011

initial commit
kroening
committed
6fd0d77

Loading