Bktero

Results 19 comments of Bktero

Same same! This feature would be highly appreciated :)

I am just starting to try ddbug, and JSON would be great in order to parse it with other tools (let's say, a Python script) :)

I have a similar issue. I have just installed Renode (version 1.13.1.21690 (a133ada0-202207251201)) using the msi installer for Windows. My system uses French (keymap, language) and Renode terminal uses an...

There is now a project on GitHub to reproduce the issue (at least on my computer): https://github.com/Bktero/useApprovalsSubdirectoryBug Writing this project, I found out that the issue depends on the generator....

Hello there Any status on this feature? It would be highly appreciated :)

``` params.h:24:1: warning: this decimal constant is unsigned only in ISO C90 const ZmodQ v_inverse = 3758096385; // 1/v mod Q ``` Adding a U at the end of the...

In `params.h`, I tried to replace all `long int`s with `int64_t`s and all `int`s with `int32_t`. Calling `make` no longer generates warnings.

However, I can tell you about if the modifications still generates a correct software. Indeed, with or without my modifications, the tests fails on my machine. The output seems to...

I have updated my repository and switched to the *type_bug*. The code compiles fine 👍 The test still fails but now the cause is different: $ ./fhewTest 15 Setting up...

Sorry but this is very old... I don't remember to be honest :/