magras

[question] test_requires in conanfile.txt

3

I've mistakenly used `[build_requires]` for gbench framework until I tried to compare my implementation to boost and found #9951 issue. If I understand correctly `force_host_context` has been deprecated. And I...

I'm not happy with `COMPREPLY` array filling solution, but it works with both bash and zsh on my system.

Constructor overload causes false proof to succeed

2

I'm quite new to the language, but I believe this code should fail, while compiler v0.5.1 accepts it. Without the overload for `S` compiler reports an error as expected. #...

Stabilizer's relocation table consists of constants, so it should be possible to reuse values loaded from it. And in an ideal world duplicate calls to pure functions (`readnone`) should be...

Tests libquntum and bzip crash in release build

2

``` $ cmake -B build -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER=clang++-14 -DCMAKE_CXX_FLAGS="-isystem /usr/include/llvm-14 -isystem /usr/include/llvm-c-14" ... $ cmake --build build ... $ ctest --test-dir build --output-on-failure Internal ctest changing into directory: /usr/local/src/stabilizer/build Test project...

C++ exceptions

2

Code randomization breaks exception handling: ``` int main() { try { throw 42; } catch (int) {} } ``` ``` $ SZ_CODE=1 SZ_LOWER=1 szcc++ exception.cpp ... LandingPadInst not the first...

[Feature request] Search highlight

4

Could `lf` implement a feature similar to vim's `hlsearch`, which highlights all search matches?