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
e5c1915b10
semantic/semantic-codeql
History
Rob Rix e5c1915b10
Merge branch 'bazel-experiments' into distributive-algebras
2020-07-08 13:43:04 -04:00
..
src/Language Merge remote-tracking branch 'origin/master' into bazel-experiments 2020-07-08 13:37:26 -04:00
test tag specs are still problemati 2020-07-01 21:25:51 -04:00
BUILD.bazel rename the flags and condense around compilation_mode 2020-07-01 00:35:09 -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 Bump to fused-effects 1.1. 2020-07-08 11:11:30 -04: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.