VSD - Cross-representation expression evaluation#5880

Merged

martin-cs merged 22 commits intodiffblue:developfrom

jezhiggins:vsd-value-sets-and-constants

Mar 6, 2021

Commits on Mar 2, 2021

value_set_abstract_object merge unit tests
jezhiggins
committed
Merge a value_set and a constant
jezhiggins
committed
Merge a value-set of values with a top value
jezhiggins
committed
Unit tests for value-set binary operations
jezhiggins
committed
Pulled out value_set test helpers
jezhiggins
committed
Start making index_ranget more container-like
jezhiggins
committed
index_ranget iterators are now forward iterators
jezhiggins
committed
Rename range_implementation to index_range_implementation
jezhiggins
committed
Added value_ranget value_range() to abstract_value_objectt
jezhiggins
committed
Adding a value_set and TOP should go TOP
jezhiggins
committed
Rework constant_abstract_valuet merge tests to be more explicit
jezhiggins
committed
constant_abstract_valuet expression_transform unit tests
jezhiggins
committed
Adding constants and value sets
jezhiggins
committed
Enable cross-representation expression transform for all values
jezhiggins
committed
Build out constants_evaluator
jezhiggins
committed
Pulled out interval_evaluator
jezhiggins
committed
Expand out for_each_comb. Doesn't need to be a template.
jezhiggins
committed
Build value_set_evaluator - wraps value_set evaluation into a class
jezhiggins
committed
Fold evaluate_each_combination into value_set_evaluator
jezhiggins
committed
Explicitly create values with the required representation
jezhiggins
committed
Combine any_value_sets and any_intervals implementations
jezhiggins
committed
Interval evaluation wants expressions rather than objects
jezhiggins
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

VSD - Cross-representation expression evaluation#5880

VSD - Cross-representation expression evaluation#5880
martin-cs merged 22 commits intodiffblue:developfrom
jezhiggins:vsd-value-sets-and-constants

Commits on Mar 2, 2021

value_set_abstract_object merge unit tests

Merge a value_set and a constant

Merge a value-set of values with a top value

Unit tests for value-set binary operations

Pulled out value_set test helpers

Start making index_ranget more container-like

index_ranget iterators are now forward iterators

Rename range_implementation to index_range_implementation

Added value_ranget value_range() to abstract_value_objectt

Adding a value_set and TOP should go TOP

Rework constant_abstract_valuet merge tests to be more explicit

constant_abstract_valuet expression_transform unit tests

Adding constants and value sets

Enable cross-representation expression transform for all values

Build out constants_evaluator

Pulled out interval_evaluator

Expand out for_each_comb. Doesn't need to be a template.

Build value_set_evaluator - wraps value_set evaluation into a class

Fold evaluate_each_combination into value_set_evaluator

Explicitly create values with the required representation

Combine any_value_sets and any_intervals implementations

Interval evaluation wants expressions rather than objects

VSD - Cross-representation expression evaluation#5880martin-cs merged 22 commits intodiffblue:developdiffblue/cbmc:developfrom jezhiggins:vsd-value-sets-and-constantsjezhiggins/cbmc:vsd-value-sets-and-constantsCopy head branch name to clipboard

Commits

Commits on Mar 2, 2021

VSD - Cross-representation expression evaluation#5880
martin-cs merged 22 commits intodiffblue:developfrom
jezhiggins:vsd-value-sets-and-constants