| Dec |
JAN |
Feb |
|
10 |
|
| 2025 |
2026 |
2027 |
About this capture
The Wayback Machine - http://web.archive.org/web/20260110155509/https://github.com/github/codeql/pull/6535
Skip to content
Navigation Menu
Appearance settings
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
DEVELOPER WORKFLOWS
ActionsAutomate any workflow
CodespacesInstant dev environments
IssuesPlan and track work
Code ReviewManage code changes
APPLICATION SECURITY
GitHub Advanced SecurityFind and fix vulnerabilities
Code securitySecure your code as you build
Secret protectionStop leaks before they start
EXPLORE
●Why GitHub
●Documentation
●Blog
●Changelog
●Marketplace
View all features
BY COMPANY SIZE
●Enterprises
●Small and medium teams
●Startups
●Nonprofits
BY USE CASE
●App Modernization
●DevSecOps
●DevOps
●CI/CD
●View all use cases
BY INDUSTRY
●Healthcare
●Financial services
●Manufacturing
●Government
●View all industries
View all solutions
EXPLORE BY TOPIC
●AI
●Software Development
●DevOps
●Security
●View all topics
EXPLORE BY TYPE
●Customer stories
●Events & webinars
●Ebooks & reports
●Business insights
●GitHub Skills
SUPPORT & SERVICES
●Documentation
●Customer support
●Community forum
●Trust center
●Partners
COMMUNITY
GitHub SponsorsFund open source developers
PROGRAMS
●Security Lab
●Maintainer Community
●Accelerator
●Archive Program
REPOSITORIES
●Topics
●Trending
●Collections
ENTERPRISE SOLUTIONS
Enterprise platformAI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced SecurityEnterprise-grade security features
Copilot for BusinessEnterprise-grade AI features
Premium SupportEnterprise-grade 24/7 support
●Pricing
Search or jump to...
Clear
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
To see all available qualifiers, see our documentation.
Appearance settings
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
You switched accounts on another tab or window. Reload to refresh your session.
Dismiss alert
{{ message }}
github
/
codeql
Public
●
Notifications
You must be signed in to change notification settings
●
Fork
1.9k
Star
9.1k
●
Code
●
Issues
916
●
Pull requests
376
●
Discussions
●
Actions
●
Projects
0
●
Models
●
Security
Uh oh!
There was an error while loading. Please reload this page.
●
Insights
Additional navigation options
●
Code
●
Issues
●
Pull requests
●
Discussions
●
Actions
●
Projects
●
Models
●
Security
●
Insights
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Sign up for GitHub
By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.
Already on GitHub?
Sign in
to your account
Jump to bottom
Merged
hvitved
merged 3 commits into
github:main
from
hvitved:csharp/consistency-queries
Nov 15, 2021
Merged
hvitved
merged 3 commits into
github:main
from
hvitved:csharp/consistency-queries
Nov 15, 2021
Files changed
Uh oh!
There was an error while loading. Please reload this page.
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Show hidden characters
Contributor
No description provided.
Sorry, something went wrong.
github-actions
bot
added
the
C#
label
Aug 23, 2021
hvitved
added
the
depends on internal PR
This PR should only be merged in sync with an internal Semmle PR
label
Aug 23, 2021
hvitved
force-pushed
the
csharp/consistency-queries
branch
from
58946f4to1f05d70
Compare
September 14, 2021 14:17
hvitved
force-pushed
the
csharp/consistency-queries
branch
from
1f05d70to7e566ee
Compare
September 28, 2021 09:01
C#: Add consistency queries
67ebebb
hvitved
force-pushed
the
csharp/consistency-queries
branch
from
7e566eeto67ebebb
Compare
November 12, 2021 12:10
hvitved
added 2commits
November 12, 2021 17:07
C#: Update CFG consistency checks
b5d37ae
Shared CFG: Update breakInvariant4 consistency test
723ac81
github-actions
bot
added
the
Ruby
label
Nov 15, 2021
hvitved
marked this pull request as ready for review
November 15, 2021 11:56
hvitved
requested review from
a teamascode owners
November 15, 2021 11:56
tamasvajk
approved these changes
Nov 15, 2021
View reviewed changes
Contributor
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Sorry, something went wrong.
hvitved
merged commit 4bbfa51
into
github:main
Nov 15, 2021
hvitved
deleted the
csharp/consistency-queries
branch
November 15, 2021 12:16
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Reviewers whose approvals may not affect merge requirements
No one assigned
C#
depends on internal PR
This PR should only be merged in sync with an internal Semmle PR
Ruby
No milestone
Successfully merging this pull request may close these issues.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Footer
© 2026 GitHub, Inc.
●
Terms
●
Privacy
●
Security
●
Status
●
Community
●
Docs
●
Contact
●
●
ation
You can’t perform that action at this time.
hvitved
commented
tamasvajk
left a comment
