This website requires JavaScript.
Explore
Help
Sign In
ada
/
langkit
Watch
0
Star
0
Fork
0
You've already forked langkit
mirror of
https://github.com/AdaCore/langkit.git
synced
2026-02-12 12:28:12 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
langkit
/
testsuite
/
tests
/
grammar
/
invalid_node_traits
History
Pierre-Marie de Rodat
6e88d6ec25
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
..
derived_node.lkt
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
non_node.lkt
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
root_error.lkt
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
root_no_node.lkt
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
root_token.lkt
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
test.out
Lkt: remove the root type argument for builtin generic types
2024-07-04 12:37:30 +00:00
test.yaml
Lkt lowering: robustify traits checking for nodes
2022-07-26 12:46:52 +00:00
unknown_trait.lkt
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00