Simmo Saan

Turns out there are other angles to this issue as well. With `--disable ana.opt.hashcons` everything is fine. Hashconsing assumes that lattice operations are idempotent and skips the operation if arguments...

Reopening because the root cause isn't fixed by #1186: > #1005 also mentions a different but related issue that refinement could be applied more often still, but I think this...

As the [WIP] indicates, this isn't really merge-ready stuff. As the activity indicates, no work has been done on it either. Unfortunately so much time has passed that I don't...

> * This, as we had discussed in Munich previously, avoids propagating high gas values outside of loops, which might lead to precision loss. Was the precision loss about high...

In addition to centering text with the decimal marker, I'm interested in something similar to https://tex.stackexchange.com/questions/599661/siunitx-aligning-infty-in-an-s-column because `input-digits=0123456789\ding{51}` doesn't work (every cell gets some 11 prepended for reasons I don't...

> However, that doesn't affect the need to have the document commands _defined_ for everything - there are technical reasons. What's the reason? I would think that they could be...

I tried running this on SV-COMP 2024 YAML violation witnesses (it's extremely difficult to even get them). If I did everything correctly, there are at most 160 (probably even much...

Not the same package, but also a checksum issue with GitLab-generated tag archive. Over the last few days I've seen similar errors with the json-data-encoding package, e.g.: ``` #=== ERROR...

I want the `enumitem` equivalent of this: ```latex \def\@listi{\leftmargin\leftmargini \labelwidth\leftmarginii \topsep 2\p@ \@plus 0.5\p@ \@minus0.5\p@ \partopsep0.5\p@ \@plus0.5\p@ \@minus0.5\p@ \parsep 1\p@ \@plus0.5\p@ \itemsep 1\p@ \@plus0.5\p@ \@minus0.5\p@} \let\@listI\@listi \@listi ``` I tried...

I guess this is about this note in the README: > **Note:** since _deriving_ was released by whitequark in 2014, the OCaml ppx ecosystem has changed a lot. For new...