Changes to intervals needed to merge VSD#5203

Closed

martin-cs wants to merge 35 commits intodiffblue:developfrom

martin-cs:VSD/intervals

Commits on Dec 8, 2019

(INT) Interval operations

Daniel Neville
authored and
martin
committed
(INT) Fix broken interval unit tests

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Remove unnecessary construction of dstring

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Rename interval is_constant to is_single_value_interval

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Rename is_true and is_false in interval expressions

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Make eval take an identifier instead of an exprt

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Make constructors take constant references instead of values

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Apply clang-format

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Remove unnecessary constant specifier from value returning functions

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Use irep_idt in place of exprt when exprt isn't needed

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Cleanup to_string and operator<< for intervals

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Give handle constants a better name

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Remove swap function in intervals

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Add additional unit tests for intervals

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Various code style fixes in intervals code

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Fix eval handling of ID_not case in intervals

NlightNFotis
authored and
martin
committed
(INT) Fix bitwise operators for intervals

NlightNFotis
authored and
martin
committed
(INT) Make eval in constant_interval_exprt const

danpoe
authored and
martin
committed
(INT) Removed unimplemented function from util/interval.h

danpoe
authored and
martin
committed
(INT) accept false of ID_bool as valid zero value

danpoe
authored and
martin
committed
(INT) Add ID_bool type preconditions to logical interval operations

danpoe
authored and
martin
committed
(INT) use tvt_to_interval instead of tv_to_interval in constant_interval_exprt

danpoe
authored and
martin
committed
(INT) Handle typecasts in constant_interval_exprt

danpoe
authored and
martin
committed
(INT) Typecast from ID_bool to integer types
martin
committed
(INT) Addressing review comments
martin
committed
(INT) Add well-formedness checks for constant_interval_exprt

danpoe
authored and
martin
committed
(INT) Extend interval multiplication for extremes

Petr Bauch
authored and
martin
committed
(INT) Add support for bit field and enums intervals.cpp
martin
committed
(INT) Fix broken interval unit tests

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Fix bug with interval typecasts

hannes-steffenhagen-diffblue
authored and
martin
committed
(INT) Assume relation between two int vars (issue #179)

Petr Bauch
authored and
martin
committed
(INT) Fixup for nil_typet being removed

chrisr-diffblue
authored and
martin
committed
(INT) Fixups post-rebase
martin
committed

Commits on Dec 9, 2019

clang-format changes to the interval code and unit tests
martin
committed
Fixes for the linter.
martin
committed