[PATCH] [Unfinished] Use modulo semantic to generate non-wrap assumptions

[Tobias Grosser]

On 04/20/2015 12:43 AM, Johannes Doerfert wrote:
> Some comments, new version is coming soon.

Good.

> grosser wrote:
>> Why do you call this function 'NonWrap'? Is the point of this function not to add the integer wrapping? Could a name like 'addIntegerWrapping()' be a better fit?
> is
>    addModuloSemantic
> fine?

Sounds good.

Best,
Tobias