Simmo Saan

This needs to be checked in practice such that we can relax the opam package availability constraints again: https://github.com/goblint/cil/commit/5a3b7bb7f4d9b67678826ab7698f8a9048891553. I suppose arm64 might be one, but #110 has a list...

I guess GCC is doing more constant-folding to evaluate the condition than CIL does. Looking at the preprocessed source, where `GIT_CONTAINER_OF`, etc are expanded should reveal what the conditional expression...

I don't have a definite answer for you, but we have some small changes to the CIL feature loading mechanism that may be related: https://github.com/goblint/cil/commits/develop/src/feature.ml. Just wondering, is there a...

The Concrat benchmarks were merged with Goblint CIL 1.8.2 and contain some builtin declarations with missing prototypes: - [ ] `__builtin_isnan` - [ ] `__builtin_isinf_sign` - [ ] `__builtin_signbit` I...

> I set up a task to run `tailscale configure synology-cert`. Maybe it is because I set it to run as root, but it didn't do anything until I added...

The output sounds like you might need to update Tailscale on your Synology because it doesn't seem to have the `synology-cert` configuration command.

Considering the recent evaluated format option trends in WeeChat, that would be a great direction here was well. Although such option should probably be `weechat.look.nicklist_format` or `weechat.format.nicklist`. Its default value...

The `setf24` and `setb24` capabilities are entirely non-standard and unofficial. Standard terminfo doesn't define them and thus ncurses doesn't know anything about them either, so it can't possibly make any...

It converts them to the 256 color palette because that's all we can properly display using ncurses at this moment. There's no way to just "use the original ANSI codes"...

WeeChat's current color management has been implemented with at most 256 colors in mind. I had a quick look now what really happens when trying to start under `xterm-direct` and...