Commits

History for

Commits on Jun 24, 2025

Additional unit tests for value_sett
tautschnig
committed
1f2fd5a

Commits on Aug 23, 2023

Unit tests: do not hard-code 64-bit pointer width
tautschnig
committed
37ed69c

Commits on Dec 1, 2022

Unit tests: use new symbolt constructors
tautschnig
committed
59693f6

Commits on Nov 20, 2022

Remove unnecessary includes
tautschnig
committed
7ba2bd4

Commits on Jul 14, 2022

member_exprt now checks type of compound operand
kroening
committed
55fc192

Commits on Jan 31, 2022

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

Commits on Aug 22, 2021

remove an include from goto-programs/goto_program.h
kroening
committed
848d182

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 Jun 11, 2019

Remove use of deprecated get_value_set
romainbrenguier
committed
fee703e

Commits on Jan 21, 2019

CATCH: silence Visual Studio warnings
tautschnig
committed
7c44567
Merge pull request #3623 from tautschnig/struct-union-constructor
tautschnig
authored
1c12543
Construct array_exprt in a non-deprecated way
tautschnig
committed
475a7b9

Commits on Jan 14, 2019

Add initializer list constructor to struct/union typet and cleanup API use
tautschnig
committed
ac4ae98

Commits on Jan 13, 2019

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

Commits on Jan 11, 2019

Do not use symbol_typet, use struct_tag_typet
tautschnig
committed
ae003a4

Commits on Dec 21, 2018

Fix whitespace in copyright headers
tautschnig
committed
3456903

Commits on Aug 2, 2018

Value set: handle with, array and struct expressions more accurately
smowton
committed
943d60c

Loading