Simmo Saan
Simmo Saan
Unfortunately I already wiped the opam switch and recreated it from scratch. That issue/PR seem to be about pinned packages, but neither the ppxlib nor goblint package (whose directory I'm...
This seems to be the same thing as #1440 came to.
> A quick dive into what happens during analysis time revealed some interactions with some a#in and a#out that I do not understand yet, but maybe someone wants to lend...
There might be some discussion somewhere, but the clean solution would be to move overflow warning generation out of int domain operators themselves and have the new `MaySignedOverflow` query be...
[IRCv3.2 Metadata](http://ircv3.net/specs/core/metadata-3.2.html) has been deprecated: > This specification has been deprecated. We do not recommend implementing this specification or the features described here.
This causes another bug as well: if the account name is invalid, then no error is reported.
The library wasn't updated, but it was re-minified by jsDelivr. This is an instance of a more general issue: #3288.
`exp.architecture` only applies to preprocessing (which isn't used in SV-COMP anyway) right now. If this is based on 32bit architecture, then it's just another instance of #54 revealing itself.
According to SV-COMP community meeting discussion and decision, we are right here: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1552.
The task was fixed upstream, so it's not longer incorrect: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1552.