github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-27 12:57:49 +03:00
Code Issues Projects Releases Wiki Activity
1608912a21
semantic/semantic-codeql
History
Patrick Thomson 3aecbcc98a Merge remote-tracking branch 'origin/master' into bazel-experiments
2020-06-23 11:03:39 -04:00
..
src/Language Merge remote-tracking branch 'origin/master' into bazel-experiments 2020-06-23 11:03:39 -04:00
test replace AST.Test with AST.TestHelpers 2020-05-20 14:39:47 -04:00
BUILD.bazel use the same GHC warnings everywhere 2020-06-23 09:45:10 -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.