Simmo Saan
Simmo Saan
Currently findlib library dependencies are looked up with the empty predicates list, but other possibilities may exist: * https://sourcegraph.com/search?q=context%3Aglobal+file%3A%5EMETA%24+requires%28&patternType=standard&case=yes&groupBy=repo * https://cs.github.com/?scopeName=All+repos&scope=&q=path%3A%2F%5EMETA%24%2F+%22requires%28%22 To get a complete listing for all predicates, the...
At some point I created an opam switch with `ocaml-variants.4.14.2+trunk` as the invariant (probably by accident, but it wasn't an issue so far). I now needed to install a newly...
This missing support is listed as one of the motivations for [ppx_deriving_variant_string](https://github.com/ahrefs/ppx_deriving_variant_string?tab=readme-ov-file#why-not-ppx_deriving-show): > `printer` is only supported in polyvars for some reason, but not on regular variants, which was a...
These were added in PR #26066 due to opam-state API change in 2.2.0~beta3. However, the final version of opam-state 2.2.0 undid the API change: https://github.com/ocaml/opam/pull/6058. This allows the final version...
I was screwing around with https://github.com/ocaml/ocaml/issues/11517 and became really confused when even small `Format` margins wouldn't work. Apparently utop is overwriting `Format.std_formatter` geometry, so the same commands in utop and...
This extends #1254 to support `imaxabs` on the `intmax_t` type, which some Juliet tasks in SV-COMP use. ### Changes Actually verifying those Juliet tasks required a bit more changes: 1....
https://github.com/antoinemine/apron/issues/99 is mitigated by https://github.com/antoinemine/apron/pull/108, which should be released as Apron v0.9.15 soon. This PR aims to fix compatibility with this breaking change. It would be possible for us to...
For a while now, sv-benchmarks runs have been showing a number of spurious `SEGMENTATION FAULT` results which are on different tasks on every run. In our latest run, it was...
This implements a fix to my observation that Apron output is always line broken with 80 column margin from `Format` by default https://github.com/goblint/analyzer/issues/1513#issuecomment-2192286933. This avoids completely arbitrary line breaks (which...
Before this PR, `IntDomTuple` outputted witness invariants as conjunction of those from each int domain. Except when it was a definite integer, then only the single equality was returned. This...