File tree Expand file tree Collapse file tree 1 file changed +6
-9
lines changed Expand file tree Collapse file tree 1 file changed +6
-9
lines changed Original file line number Diff line number Diff line change @@ -7,15 +7,12 @@ The syntax is not stable for now.
77
88## High level overview
99
10- [ ` lkql/ ` ] ( lkql ) : Contains:
11- * Langkit language definition for the LKQL parser
12- * Implementation of the LKQL interpreter (in
13- [ ` lkql/extensions/src ` ] ( lkql/extensions/src ) ). Embedding the LKQL interpreter
14- only requires using the ` lkql ` project.
15- * Command line app for the interpreter
16-
17- [ ` lkql_checker ` ] ( lkql_checker ) : LKQL command line checker. Can run "checks"
18- that will flag specific lines of code in a given Ada codebase.
10+ [ ` lkql/ ` ] ( lkql ) : Langkit language definition for the LKQL parser.
11+
12+ [ ` lkql_checker/ ` ] ( lkql_checker ) : GNATcheck sources and predefined LKQL rules.
13+
14+ [ ` lkql_jit/ ` ] ( lkql_jit ) : LKQL reference implementation using the Truffle Java
15+ framework.
1916
2017## Building & using
2118
You can’t perform that action at this time.
0 commit comments