Merge branch 'main' of https://github.com/MattePalte/LintQ into main

REQUIREMENTS.md

@@ -8,7 +8,7 @@ Table of Contents:
 ## Hardware Requirements
 
 LintQ should work on any machine as long as docker can be installed on it.
-LintQ rely on CodeQl which has different computing requirements depending on the size of the dataset of programs under analysis.
+LintQ rely on CodeQL which has different computing requirements depending on the size of the dataset of programs under analysis.
 
 ### Recommended Hardware for Demo
 - **RAM**: 16+ GB
@@ -48,4 +48,4 @@ This is recommended for anyone interested in using LintQ on his/her own quantum
 - **VSCode** (tested with versions: `1.88.1`). Run `code --version` to check the version. If not present, install [here](https://code.visualstudio.com/).
 - **SARIF Viewer Extension for VSCode** (tested with versions: `3.4.4`). Available [here](https://marketplace.visualstudio.com/items?itemName=MS-SarifVSCode.sarif-viewer).
 - [IMPORTANT PRECISE VERSION] **Codeql CLI Version**: 2.11.2 (PRECISELY THIS). Run `codeql version` to check the version. If not present, install [here](https://github.com/github/codeql-cli-binaries/releases/tag/v2.11.2).
-- [IMPORTANT PRECISE VERSION] **CodeQL for Visual Studio Code extension**: 1.7.4 (PRECISELY THIS). Available [here](https://github.com/github/vscode-codeql/blob/main/extensions/ql-vscode/CHANGELOG.md#174---29-october-2022).
+- [IMPORTANT PRECISE VERSION] **CodeQL for Visual Studio Code extension**: 1.7.4 (PRECISELY THIS). Available [here](https://github.com/github/vscode-codeql/blob/main/extensions/ql-vscode/CHANGELOG.md#174---29-october-2022).