Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 135bc70716 flake: Added edk2-vulnerable to shell master Giulio De Pasquale 2023-03-30 20:57:48 +0200
• f0da5af450 Removed dbs Giulio De Pasquale 2023-03-28 17:19:48 -0700
• 1ece9200d1 flake: Update lock Giulio De Pasquale 2023-03-28 17:17:07 -0700
• 0fa919ef2d flake: Added workbench files_handling derivation Giulio De Pasquale 2023-03-28 17:16:53 -0700
• 559e0432e8 gitignore: Ignore nix result dir Giulio De Pasquale 2023-03-28 12:36:15 -0700
• 12d8563ec6 gitignore: Add more ignores Giulio De Pasquale 2023-03-28 12:35:13 -0700
• d238fe03b8 workbench: Created files_handling stub Giulio De Pasquale 2023-03-28 12:32:35 -0700
• dec747efc1 codeql: Moved qlpack to root folder Giulio De Pasquale 2023-02-20 10:25:50 -0800
• 30707afe5f findEFIVariables: Formatting Giulio De Pasquale 2023-02-20 10:23:40 -0800
• 5dec732ae5 findEFIVariables: Added metadata, fixed logic by matching on the call and not the expr Giulio De Pasquale 2023-02-19 21:15:12 -0800
• 4368e65b49 gitignore: Added Visual Studio Code and IntelliJ Suite Giulio De Pasquale 2023-02-18 11:27:56 -0800
• 847fc91e2b flake: inherit packages. Update lock Giulio De Pasquale 2023-02-18 11:26:43 -0800
• 016fa7ef2b FindEFIVariables stub, QIP Giulio De Pasquale 2023-02-18 11:25:22 -0800
• a7afce0884 gitignore: Ignore Nix result and dbs folder Giulio De Pasquale 2023-02-17 14:32:29 -0800
• 8462e978bf Added dbs folder Giulio De Pasquale 2023-02-17 14:29:57 -0800
• 830306ecb0 samples: Added sample int overflow query Giulio De Pasquale 2023-02-17 14:27:28 -0800
• b37960c8b7 samples: Added qlpack Giulio De Pasquale 2023-02-17 14:27:03 -0800
• 8d05097392 gitignore: Added LGTM artifacts Giulio De Pasquale 2023-02-17 14:26:06 -0800
• 6577afa3a3 flake: Added compat for flakes Giulio De Pasquale 2023-02-17 09:59:25 -0800
• 20d1f0877e codeql: Added integer overflow example Giulio De Pasquale 2023-02-17 09:54:08 -0800
• 495853eaec gitignore: python, c, cpp Giulio De Pasquale 2023-02-17 09:51:00 -0800
• e9d9f2f8eb Moved flake to root Giulio De Pasquale 2023-02-17 09:12:11 -0800
• 64139f552b Added CodeQL flake Giulio De Pasquale 2023-02-17 08:43:27 -0800
• 9a171fadab Formatting Giulio De Pasquale 2023-02-15 12:50:28 -0800
• d0036e0a44 Initial commit Giulio De Pasquale 2023-02-15 11:22:06 -0800
• 10c5b7816c Git ignore Giulio De Pasquale 2023-02-15 11:21:42 -0800