github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-26 09:07:39 +03:00
Code Issues Projects Releases Wiki Activity
d3a825f7e1
semantic/semantic-codeql
History
Ayman Nadeem 6107f56012 Merge branch 'master' into codegen-cleanup
2020-06-08 13:42:45 -04:00
..
src/Language Merge branch 'master' into codegen-cleanup 2020-06-08 13:42:45 -04:00
test replace AST.Test with AST.TestHelpers 2020-05-20 14:39:47 -04:00
LICENSE Add MIT licens to semantic-codeql 2020-03-19 14:28:47 -07:00
README.md Rename QL to CodeQL 2020-03-19 13:33:36 -07:00
semantic-codeql.cabal Move codeql over to proto driven datatypes 2020-06-04 09:35:25 -07:00
Setup.hs Rename QL to CodeQL 2020-03-19 13:33:36 -07:00

README.md

Semantic support for CodeQL

This package implements semantic support for CodeQL using the semantic-core intermediate language.