AdaCore langkit-query-language issues

AdaCore / langkit-query-language

query language for Libadalang and Langkit

Other

3 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump pygments from 2.8.0 to 2.15.0

#57 dependabot[bot] opened 1 year ago
1
integer_types_as_enum: missing case

#56 Heziode opened 1 year ago
5
U308-038 Replace BinTray with AWS S3

#55 reznikmm closed 3 years ago
2
Rule: anonymous arrays

#54 leogermond closed 3 years ago
0
Smoke-test adb and ads for `checks` Ada project

#53 leogermond closed 3 years ago
1
Rule: address specifications for local objects

#52 leogermond closed 3 years ago
0
Fixup function_style_procedures Ada test sources

#51 leogermond closed 3 years ago
0
Rule: address specifications for initialized objects

#50 leogermond closed 3 years ago
0
Rule: address attribute for non volatile objects

#49 leogermond closed 3 years ago
0
Rules as predicates

#48 raph-amiard closed 3 years ago
0
Rules: access to local objects

#47 leogermond closed 3 years ago
1
internal_dev_guide.md: create a custom Python distribution

#46 pmderodat closed 3 years ago
1
Workaround GNAT bugs for coverage builds

#45 pmderodat closed 3 years ago
0
Repl empty line is a no-op

#44 leogermond closed 3 years ago
0
Add pygments to pip deps

#43 leogermond closed 3 years ago
1
Anonymous_Subtypes rule

#42 leogermond closed 3 years ago
0
Fix GitHub action shortened commit SHA error

#41 leogermond closed 3 years ago
0
Rules/recursive subprograms

#40 leogermond closed 3 years ago
0
New improvements and fixes

#39 raph-amiard closed 3 years ago
0
"checks" project `main.adb` does not need `with`

#38 leogermond closed 3 years ago
1
GitHub actions: update the URL for the Libadalang prebuilt package

#37 pmderodat closed 3 years ago
0
Adapt LKQL after langkit changes

#36 raph-amiard closed 3 years ago
0
internal_dev_guide.md: remove compiler=bootstrap qualifiers

#35 pmderodat closed 3 years ago
0
Unify syntax, express checkers fully in LKQL

#34 raph-amiard closed 3 years ago
0
To_Unbounded_Text (S : String)

#33 leogermond closed 3 years ago
1
Rename String_Set to Unbounded_Text_Set

#32 leogermond closed 3 years ago
2
Various work on LKQL

#31 raph-amiard closed 3 years ago
0
Rules set to match GNAT check

#30 leogermond closed 3 years ago
2
Error recovery + repl improvements

#29 raph-amiard closed 3 years ago
0
GitHub Action workflows: fix the name of the binary LAL archive

#28 pmderodat closed 3 years ago
0
Fix the GH Actions workflow to build Langkit_Support

#27 pmderodat closed 3 years ago
1
Update internal dev guide to allow building liblkqllang

#26 pmderodat closed 3 years ago
0
Rework filtered patterns + userman work

#25 raph-amiard closed 3 years ago
0
Add infrastructure support to compute code coverage

#24 pmderodat closed 3 years ago
0
Continue writing the usermanual

#23 raph-amiard closed 3 years ago
0
Refactor the inner workings of queries

#22 raph-amiard closed 3 years ago
0
internal_dev_guide.md: fix "git checkout"

#21 pmderodat closed 3 years ago
1
Fix some obvious typos

#20 t-14 closed 3 years ago
2
Update the internal dev guide

#19 pmderodat closed 3 years ago
1
Update internal dev guide

#18 raph-amiard closed 3 years ago
0
Add documentation

#17 raph-amiard closed 3 years ago
1
Reorganize the project to ease productization

#16 pmderodat closed 4 years ago
0
Add python REPL for LKQL

#15 raph-amiard closed 4 years ago
0
Topic/update lkql

#14 raph-amiard closed 4 years ago
0
LKQL/Libadalang decoupling

#13 geoffreycopin closed 5 years ago
0
Selectors

#12 geoffreycopin closed 5 years ago
0
Properties

#11 geoffreycopin closed 5 years ago
0
Functions

#10 geoffreycopin closed 5 years ago
0
List comprehensions

#9 geoffreycopin closed 5 years ago
0
Pattern matching

#8 geoffreycopin closed 5 years ago
0