Logo
Explore Help
Register Sign In
hohn/codeql
1
0
Fork 0
You've already forked codeql
mirror of https://github.com/github/codeql.git synced 2025-12-24 12:46:34 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
7e17a919ae2fb48403f72c818a54ecda1fddd171
codeql/csharp
History
Michael Nebel eefe457c4b Merge pull request #10238 from michaelnebel/csharp/theoremsforfree
C#: Theorems for Free - Model generation
2022-09-20 09:30:10 +02:00
..
.vscode
C#: Remove unneeded vscode settings from settings.json
2020-10-13 14:50:46 +02:00
autobuilder
C#: Remove legacy tracer support
2022-08-31 16:57:59 +02:00
config/suites/lgtm
C#: Remove legacy odasa support
2022-03-09 09:19:37 +01:00
documentation/library-coverage
Add changed framework coverage reports
2022-09-09 00:21:07 +00:00
downgrades
C#: Remove '--cil' flag from the dbscheme comments and add dummy upgrade and downgrade scripts.
2022-08-30 14:34:54 +02:00
extractor
C#: Remove legacy tracer support
2022-08-31 16:57:59 +02:00
old-change-notes
Move older change notes to old-change-notes
2021-12-14 12:35:04 -05:00
ql
Merge pull request #10238 from michaelnebel/csharp/theoremsforfree
2022-09-20 09:30:10 +02:00
tools
Merge pull request #10308 from github/rc/3.7
2022-09-06 13:32:00 +02:00
.editorconfig
C#: Add editor config naming rules
2020-10-13 14:45:37 +02:00
.gitignore
…
codeql-extractor.yml
C#: Add extractor option parameter for enabling CIL.
2022-08-30 14:34:54 +02:00
CSharp.sln
…
fix-whitespaces.sh
…
Powered by Gitea Version: 1.24.5 Page: 1038ms Template: 6ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API