Nikolaos Chatzikonstantinou

The command used at the root directory was find src/ \ -regex '.*\.\(h\|hpp\|c\|cpp\)' \ -execdir clang-format -i \ -style=file {} \;

Unexpected error when attempting tutorial

2

Hello all, I like to convert all of my function declarations in the `val ...; let ... =` style, but doing so in a tutorial example (https://fstar-lang.org/tutorial/book/part1/part1_quicksort.html#generic-sorting) led to an...

I customized `solarized-scale-markdown-headlines` to `t` but I don't seem to be getting scaled headlines. If I disable the theme and customize `markdown-header-scaling` to `t`, it works fine. I tried a...

## Description I would like all mentions of python to be python3 in radare2. Is this a good idea? I stumbled upon this issue on a fresh install of Debian...

From GDB 12.1+, `set logging on|off` is deprecated, and a notice is given. See . This patch fixes the issue for the newer gdb versions.

Bug in tutorial with references

4

In https://reframe-hpc.readthedocs.io/en/stable/tutorial.html#adding-performance-references there's a definition for `myhost:baseline`. But as I've discovered after testing, it is more like `mysystem:mypartition`. This becomes more confusing since later in the tutorial (see https://reframe-hpc.readthedocs.io/en/stable/tutorial.html#id11) a...

Example is not C

6

This example https://github.com/skvadrik/re2c/blob/f2395c299886cfc5639f841f6445ab9ad0fa26f9/examples/c/conditions/parse_u32_conditions.re is [transpiled](https://github.com/skvadrik/re2c/blob/f2395c299886cfc5639f841f6445ab9ad0fa26f9/examples/c/conditions/parse_u32_conditions.c#L7) as C but it contains C++ templates. It can be trivially translated into C e.g. with ```c uint64_t add(uint64_t u, unsigned d, unsigned base) {...

The explanation is taken from .

Fix num_entities by using explicit math formula for counting

2

While reading the source code searching for issues with some crashes I have with this software (I still haven't figured out why there's crashes but I've noticed that under gdb...