Jonas Jensen

The problematic database is created by `odasa` rather than `codeql`. Therefore(?) it contains the sources directly instead of containing a `src.zip`. Do our current tools create databases without `src.zip`? If...

In any case, I haven't seen these performance problems with similarly-sized databases that have a `src.zip`.

We can't follow the links as we don't have access. My guess is that technically there are multiple declarations on one line in the examples you've written, but they're hidden...

Thank you for your patience, @ArielSAdamsNASA. We've been discussing internally how much we can weaken our JPL rules. They're strict and Draconian, and our original consumers of those rules wanted...

I've opened #6723 as a possible solution, but we're trying to get in touch with all users of these queries before merging a change that may not be universally accepted.

We could not get support for this change from all users of these queries, so I've closed https://github.com/github/codeql/pull/6723 in favour of https://github.com/github/codeql/pull/7014. The latter PR just changes the libraries and...

I think @kaspersv determined that `pragma[nomagic]` isn't needed on any of the predicates. It was only needed in an early compiler prototype. Is that right, Kasper? > Is there any...