Fredrik Dahlgren

This PR adds support for the Circom zero-knowledge proof DSL.

The `unconstrained-less-than` analysis pass should check if the input evaluates to a constant value before emitting a warning. In particular, warnings like the following do not make any sense. ```...

If the assigned signal is constrained elsewhere in the circuit, it is enough to emit an informational finding. In particular, the following should not raise a warning. ``` warning: Using...

This PR adds a number of CodeQL queries for the GGML library used by e.g. llama.cpp and whisper.cpp.

This PR adds support for the GGUF file format. GGUF is used to store machine learning models for executors based on the [GGML](https://github.com/ggerganov/ggml) machine learning library like [llama.cpp](https://github.com/ggerganov/llama.cpp) and [whisper.cpp](https://github.com/ggerganov/whisper.cpp/)...

To be reviewed by @nicolaswill.