Skip to content

Intervals with tests #5361

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
thk123 merged 59 commits into from
Jun 4, 2020
Merged

Intervals with tests #5361

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
59 commits
Select commit Hold shift + click to select a range
9689a66
(INT) Interval operations
Jun 16, 2017
eefe162
(INT) Fix broken interval unit tests
hannes-steffenhagen-diffblue May 9, 2018
4e2d044
(INT) Rename interval is_constant to is_single_value_interval
hannes-steffenhagen-diffblue May 16, 2018
3473ad1
(INT) Rename is_true and is_false in interval expressions
hannes-steffenhagen-diffblue May 16, 2018
ab44ab1
(INT) Make eval take an identifier instead of an exprt
hannes-steffenhagen-diffblue May 16, 2018
1ba8004
(INT) Make constructors take constant references instead of values
hannes-steffenhagen-diffblue May 16, 2018
007c84d
(INT) Remove unnecessary constant specifier from value returning func…
hannes-steffenhagen-diffblue May 16, 2018
b9e0d5a
(INT) Use irep_idt in place of exprt when exprt isn't needed
hannes-steffenhagen-diffblue May 16, 2018
8c48d15
(INT) Cleanup to_string and operator<< for intervals
hannes-steffenhagen-diffblue May 16, 2018
bb0c583
(INT) Give handle constants a better name
hannes-steffenhagen-diffblue May 16, 2018
f7bb442
(INT) Remove swap function in intervals
hannes-steffenhagen-diffblue May 16, 2018
412bbad
Refactor minus and correct a typo in the comments
May 29, 2020
ad4dda3
(INT) Add additional unit tests for intervals
hannes-steffenhagen-diffblue May 21, 2018
d707ed0
(INT) Various code style fixes in intervals code
hannes-steffenhagen-diffblue May 21, 2018
069d113
(INT) Fix eval handling of ID_not case in intervals
NlightNFotis May 23, 2018
b07f98a
(INT) Fix bitwise operators for intervals
NlightNFotis May 23, 2018
f64591c
(INT) Make eval in constant_interval_exprt const
danpoe May 29, 2018
0258968
(INT) Removed unimplemented function from util/interval.h
danpoe May 29, 2018
0d37802
(INT) accept false of ID_bool as valid zero value
danpoe May 29, 2018
053c0c4
(INT) Add ID_bool type preconditions to logical interval operations
danpoe May 29, 2018
ed2ae28
(INT) use tvt_to_interval instead of tv_to_interval in constant_inter…
danpoe May 29, 2018
8623c59
(INT) Handle typecasts in constant_interval_exprt
danpoe May 29, 2018
f7b19a9
(INT) Typecast from ID_bool to integer types
Dec 8, 2019
140abbf
(INT) Addressing review comments
Dec 8, 2019
9caf96a
(INT) Add well-formedness checks for constant_interval_exprt
danpoe May 30, 2018
db7df69
(INT) Extend interval multiplication for extremes
Sep 13, 2018
bbfb1bb
(INT) Add support for bit field and enums intervals.cpp
Dec 8, 2019
fba3a55
(INT) Fix broken interval unit tests
hannes-steffenhagen-diffblue Jul 18, 2018
f19ad6a
(INT) Fix bug with interval typecasts
hannes-steffenhagen-diffblue Jul 23, 2018
8558abd
(INT) Fixup for nil_typet being removed
chrisr-diffblue Oct 11, 2019
0eb8cef
(INT) Fixups post-rebase
Dec 8, 2019
3477c38
Fixes for the linter.
Dec 9, 2019
368fc66
Sort makefile includes
May 22, 2020
ea981ce
Add missing unit test to the Makefile
May 22, 2020
0e5f919
Adapt unit tests for consistent interface
May 22, 2020
1cd26b4
Add tests for divide
May 22, 2020
50fae45
Add missing test coverage for unary operations
May 22, 2020
b9d3dcf
Add missing coverage for multiply
May 22, 2020
bd34f7d
Fix equality
May 22, 2020
813c5b5
Fix printing code
May 22, 2020
2c43d53
Fix typo in unary plus tests for min and max
May 27, 2020
b62d567
Disable unary minus tests on ranges
May 27, 2020
481f181
Adapt test for bitwise not on a range
May 27, 2020
c1f60ad
Tidy up shift test
May 27, 2020
763b906
Add remaining shift tests
May 27, 2020
a0cff82
Add missing tests for increment
May 27, 2020
3722357
Add missing bitwise tests for actual intervals
May 27, 2020
cc83805
Add missing comparator tests
May 27, 2020
d838704
Add tests for definitely_true/false for numeric intervals
May 27, 2020
1faf516
Add missing tests for modulo
May 27, 2020
7c16a14
Add tests for equality and inequality
May 27, 2020
2d067f2
Fix error in binary eval for subtraction
May 28, 2020
39edeea
Add test case for eval on binary operations
May 28, 2020
a84494c
Add tests for the to_string operation
May 28, 2020
7f61939
fixup binary eval unit test commit
May 29, 2020
42e2d5a
Tidy the test for unary minus
May 29, 2020
536fc46
Make the equality comparison test easier to follow
May 29, 2020
296fe68
Add a comment explaining that modulo is imprecise
May 29, 2020
1d92ca0
Do a full check on the multiply test
May 29, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions src/util/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,7 @@ SRC = allocate_objects.cpp \
version.cpp \
xml.cpp \
xml_irep.cpp \
interval.cpp \
# Empty last line

INCLUDES= -I ..
Expand Down
Loading