MartinSpiessl

Sure, submitted my Contributor License Agreement a minute ago.

It says I should request a rescan regarding CLA from a repository manager. I assume the person who does the releases is for sure one of the a repository managers,...

To answer the question about `ie-local`, one could read http://www.avacs.org/fileadmin/Publikationen/Open/avacs_technical_report_089.pdf: > Cimatti et al. [6] present a method to compute interpolants for linear rational arithmetic and difference logic. The method...

Thanks for the hint. But I guess after 5 years it makes sense to reevaluate some things. Also point 1. and 2. are actually useful regardless of whether we actually...

Please quote in full, the sentence hat an "e.g." inside, so I never set the 48 hours in stone. If you want this to be 24 or even 12 hours,...

There are two possible approaches: 1. limit the range of values for the variables with `__VERIFIER_assume` 2. change variable type to `unsigned`, since operations on unsigned variables are well defined...

Sorry, I must have missed the notification for this issue. I checked the files for which you submitted fixes in PR #837 : ``` 11:26:20 knuth.i true 3.56 1.30 11:26:20...

I do not see any updates on `lcm2.c`. If I reduce the bound in `lcm2.c` to `(65/2)` manually then yes, I am not able to find an overflow anymore (this...

No, that doesn't work, off by one! With both upper values set to 32767 there is however no overflow anymore, so change 32768 to 32767 and it should be fine...

What is the status of this issue? Is there still help wanted? Probably we need to update the list with folders that were added in the meanwhile, though those should...