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...