Commits

History for

Commits on Mar 5, 2024

C++ front-end: Replace uses of namespacet::follow
tautschnig
committed
2b2fd14

Commits on Dec 1, 2022

Replace assert(...) by macros from invariant.h
tautschnig
committed
f901919

Commits on Nov 20, 2022

Remove unnecessary includes
tautschnig
committed
7ba2bd4

Commits on Sep 9, 2022

use typet::add_subtype
kroening
committed
61acf6c

Commits on Jan 31, 2022

remove usage of typet::subtype()
kroening
committed
3b27b76

Commits on Oct 22, 2021

move goto_instruction_code.h to goto-programs/
kroening
committed
093a216

Commits on Oct 19, 2021

introduce code_frontend_assignt
kroening
committed
998b163

Commits on Oct 8, 2021

move codet types specific to goto-programs into a separate header file
kroening
committed
ea13baf

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Jan 19, 2021

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

Commits on May 1, 2019

Encapsulate ID_already_typechecked in a proper API
tautschnig
committed
09410a6

Commits on Apr 8, 2019

C++ destructors: Ensure "this" is a fully qualified name
tautschnig
committed
42efbd7

Commits on Jan 24, 2019

Use code_blockt's constructor

tautschnig
authored and
kroening
committed
85cb6dc

Commits on Jan 20, 2019

Replace all uses of move_to_operands
tautschnig
committed
15aef45

Commits on Jan 3, 2019

Fix indentation in doxygen
Owen
committed
c66dd92

Commits on Oct 28, 2018

Wrap local vars in std::move (Clang 7 build fix)
karkhaz
committed
72bfc35

Commits on Oct 7, 2018

use code_blockt::add and code_blockt constructor for adding a statement
kroening
committed
46232f0

Commits on Oct 2, 2018

added code_blockt::statements(), which is a vector of codet
kroening
committed
7d8b70c

Commits on Sep 28, 2018

base types are symbol_typet
kroening
committed
17bca0a

Commits on Sep 25, 2018

Move class_typet::baset to struct_typet
tautschnig
committed
1f5e03c

Commits on Sep 24, 2018

Use cpp_namet's and namet's constructors
tautschnig
committed
7f817ca

Commits on Sep 23, 2018

Merge branch 'develop' into ID_base_name
kroening
authored
b1a3a52

Commits on Sep 21, 2018

Commits on Aug 23, 2018

cpp_typecheckt::cpp_destructor now returns optionalt<codet> instead of an expression
kroening
committed
da6e5d7

Commits on Aug 10, 2018

type symbols now use ID_symbol_type
kroening
committed
f93deec

Commits on Jun 24, 2018

Remove unused parameter from cpp_destructor and fix types
tautschnig
committed
660ae90

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 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 Nov 29, 2016

Normalise newlines at ends of files
rjmunro
committed
be69737