Filipe Casal

@tausbn could you add the no change note required tag so that the tests run?

Hi @aeisenberg, you can reproduce with a simple file such as ```python class A: NAME = "A" ``` I created the database with `codeql database create test.db --language=python` and the...

> In the short term, we'll probably just override the `toString` method on `StrConst` to say `StrConst` (instead of inheriting the string `Str` from the `Str_` class). This makes total...

Hi @covert-encryption, At the moment, we are focusing on zero-knowledge proofs and related primitives, but this is something that we would include in our future roadmap. As you say, Elligator...

Hi @spitters, thanks for taking an interest! It's great that hacspec is going to work on ZK proof systems. Let us know about it as we would certainly be interested...

Hi @MarekSefranek, thanks for reporting this!

Yes, I expect `...` to match both the empty string in `var foo []byte` and the number in `var foo[32]byte`. This seems consistent with Semgrep's documentation on the ellipsis operator:...

Thanks for suggesting this! I hadn't considered this, but I can see how it would certainly help integrate it with CI.

Hi @milancermak, thanks for the suggestion! This is certainly something we could easily add per file. Making it granular per line would work as well although it would be slightly...

Hi @milancermak PR https://github.com/crytic/amarna/pull/16/files adds a couple of interesting features: I've added whitelist, and exclude rule options for the commandline. I've also added per file comment rule disabling. Writing ```#...