Samee Zahur

Unfortunately, I cannot merge code into the new version if it does not compile with the new version. The errors right now are caused by two issues: - Obliv-C no...

Hmm, I'm still running 2.24, so can't really test it. Can you also include your math.h, where the `__MATHDECL_1` macros get defined? Maybe some new keyword or intrinsic got introduced,...

It seems you are right, and CIL is not the only software having problems with this new GCC extension. See e.g https://github.com/haskell/c2hs/issues/192. Looking through the math.h file, maybe we can...

The NixOS patch is definitely the cleanest of the ones we have discussed so far. The proper fix will be to find a way to disable these types from command...

If not, we can use the patch above.

@jackdoerner did you try the patch linked above?

Um, in the patch 128-bit floats get mapped to FLOAT128, which seems like the right type. But yeah, I thought you didn't manage to get this working. If the patch...

Re 128-bit ints. Make a patch, don't break anything else, and I shall upload. Btw, obliv-versions of 128 bit integers, or just the native ones?

There is a way to measure the total number of bytes sent at any given point in time. You can use that before and after any piece of code to...

Ah, thanks for the bump. Setting a reminder on my calendar to do it by next weekend.