Commit Graph

  • 9a6e8f33e8 Merge branch 'mr/pmderodat/gdb-standalone' into 'master' master Pierre-Marie de Rodat 2026-02-12 15:03:47 +00:00
  • db8c410e47 GDB helpers: fix support for standalone libraries Pierre-Marie de Rodat 2026-02-09 13:01:38 +00:00
  • 4eb7586200 Merge branch 'mr/pmderodat/lkt-modules' into 'master' Pierre-Marie de Rodat 2026-02-12 12:21:22 +00:00
  • 5a1ee73a26 Liblktlang: fix handling of property references with module prefixes Pierre-Marie de Rodat 2026-01-30 09:24:24 +00:00
  • 7235199b71 lkt_toolbox: hide type info for modules (always null) Pierre-Marie de Rodat 2026-01-30 08:42:34 +00:00
  • d674f8ab4d Liblktlang: override referenced_decl for ImportedId Pierre-Marie de Rodat 2026-01-29 21:50:58 +00:00
  • 5ff4e084d7 Enhance lkt_toolbox to exercise ModuleId.referenced_decl Pierre-Marie de Rodat 2026-01-29 21:45:20 +00:00
  • 96adb4a586 Liblktlang: add missing handling of type references with module prefixes Pierre-Marie de Rodat 2026-01-29 21:20:18 +00:00
  • 1256e7a69f Liblktlang: fix semantic analysis for user-provided Metadata types Pierre-Marie de Rodat 2026-01-28 13:04:59 +00:00
  • 11c587138e Lkt frontend: update to the new prelude getters Pierre-Marie de Rodat 2026-01-28 13:04:32 +00:00
  • 842c61c9f1 Regenerate bootstrap sources Pierre-Marie de Rodat 2026-01-28 13:03:52 +00:00
  • c7bc0ca99c Liblktlang: rework properties used to handle prelude entities Pierre-Marie de Rodat 2026-01-28 13:00:41 +00:00
  • d04dc81e22 Liblktlang: minor refactoring Pierre-Marie de Rodat 2026-01-27 14:49:13 +00:00
  • 615bdc3b4f Liblktlang: add support for the revamped module system Pierre-Marie de Rodat 2026-01-27 10:57:10 +00:00
  • df0ce00bfa Liblktlang: do not assume that the root scope is the env for unit roots Pierre-Marie de Rodat 2026-01-27 10:42:18 +00:00
  • 556e670d30 Liblktlang: make LangkitRoot derive Decl Pierre-Marie de Rodat 2026-01-27 10:38:16 +00:00
  • 3fb9baf1b7 lkt/lsp/decl_details/test.py: minor refactoring Pierre-Marie de Rodat 2026-01-28 09:02:02 +00:00
  • db18c38155 lkt/lsp/complete: sort completion results Pierre-Marie de Rodat 2026-01-27 20:48:36 +00:00
  • 29ec593a46 Lkt frontend: add handling of multiple modules in import ... clauses Pierre-Marie de Rodat 2026-01-27 14:09:14 +00:00
  • 15745870c3 Lkt: regenerate bootstrap sources Pierre-Marie de Rodat 2026-01-27 13:54:18 +00:00
  • a0f8539c0c Lkt: allow multiple modules for each import ... clause Pierre-Marie de Rodat 2026-01-27 13:49:04 +00:00
  • 58598281ed lkt_toolbox: make it possible to extend Lkt lookup path on the cmd line Pierre-Marie de Rodat 2026-01-27 20:33:18 +00:00
  • 09dfe3691c lkt_toolbox: add code completion capabilities Pierre-Marie de Rodat 2026-01-27 15:36:48 +00:00
  • 135ef70c12 manage.py: use default formatting for errors Pierre-Marie de Rodat 2026-01-26 15:08:47 +00:00
  • 967577513e lkt_toolbox: widen use of P_Custom_Image to all identifiers Pierre-Marie de Rodat 2026-01-26 14:07:52 +00:00
  • 6ce4b119fa lkt_toolbox: minor reformattings/refactorings Pierre-Marie de Rodat 2026-01-26 13:45:51 +00:00
  • 098a798c6d Merge branch 'mr/pmderodat/ocaml-dune-cache' into 'master' Pierre-Marie de Rodat 2026-02-11 13:53:56 +00:00
  • 59880160c9 Testsuite: disable Dune's cache Pierre-Marie de Rodat 2026-02-11 13:22:57 +00:00
  • 84f979cae1 Merge branch 'topic/lkt/property_pattern_detail' into 'master' Killian Perlin 2026-02-11 13:12:20 +00:00
  • 8e9b0da932 Simplify parsing for PropertyPatternDetail Killian Perlin 2026-01-23 14:55:56 +01:00
  • 74a7ceaa04 Merge branch 'mr/pmderodat/gdb-root-static-prop' into 'master' Pierre-Marie de Rodat 2026-02-05 14:03:51 +00:00
  • 96afcbb61b GDB helpers: fix putting a breakpoint on a root static property Pierre-Marie de Rodat 2026-01-28 15:14:53 +00:00
  • 9dcb3ad454 Merge branch 'mr/pmderodat/gdb-lexical-env' into 'master' Pierre-Marie de Rodat 2026-02-05 13:29:30 +00:00
  • c145260502 GDB: fix handling of the various lexical env types Pierre-Marie de Rodat 2026-01-29 10:30:44 +00:00
  • 1714177f6d Merge branch 'mr/pmderodat/e3-ts' into 'master' Pierre-Marie de Rodat 2026-02-02 11:56:19 +00:00
  • b950d445c9 Testsuite: decorrelate Python distribs for e3-testsuite and Langkit Pierre-Marie de Rodat 2026-01-30 14:47:52 +00:00
  • 87f8784ac0 Merge branch 'mr/pmderodat/e3' into 'master' Pierre-Marie de Rodat 2026-02-02 11:01:05 +00:00
  • fa87b61ec1 Get rid of the dependency to the e3 Python package Pierre-Marie de Rodat 2026-01-29 14:04:06 +00:00
  • f722d7bc2b Merge branch 'mr/pmderodat/gdb' into 'master' Pierre-Marie de Rodat 2026-02-02 09:53:49 +00:00
  • 6ca298582b GDB helpers: fix analysis of Ada type names Pierre-Marie de Rodat 2026-01-27 11:24:01 +00:00
  • 3ff4453899 Merge branch 'mr/pmderodat/lkm-prelude-change' into 'master' Pierre-Marie de Rodat 2026-02-02 08:50:35 +00:00
  • 5fc8a36d3c Make it possible for plugin passes to register extra input files Pierre-Marie de Rodat 2026-01-28 13:30:09 +00:00
  • 1b6de4bb51 langkit.emitter: turn cache_extension_files into a set Pierre-Marie de Rodat 2026-01-28 09:33:26 +00:00
  • 7085108bef Merge branch 'topic/lkt/sync_lkql_patterns' into 'master' Killian Perlin 2026-01-29 14:00:10 +00:00
  • b66eafd4dc Regenerate bootstrap sources Killian Perlin 2026-01-23 12:03:39 +01:00
  • 53a7f2540e lkt: Match liblkqllang parse-tree shape for patterns Killian Perlin 2026-01-12 11:05:23 +01:00
  • 21fefabedc Merge branch 'mr/pmderodat/lkt-prelude-env-spec' into 'master' Pierre-Marie de Rodat 2026-01-27 13:34:18 +00:00
  • 2372b137a7 Liblktlang: add missing resolver arguments in prelude functions Pierre-Marie de Rodat 2026-01-27 11:01:16 +00:00
  • e5fe7d18f9 Merge branch 'mr/pmderodat/lkt-modules' into 'master' Pierre-Marie de Rodat 2026-01-26 14:02:06 +00:00
  • 5042cfdd1e Merge branch 'mr/pmderodat/24_sustained' into '24-sustained' 24-sustained Pierre-Marie de Rodat 2026-01-26 10:37:05 +00:00
  • 058b9b9f15 properties/invalid_{eq,let}: fix new flake8 issues Pierre-Marie de Rodat 2026-01-26 10:25:01 +00:00
  • f696d6b61a lexical_envs/stale_rebindings/main.py: fix a new flake8 issue Pierre-Marie de Rodat 2025-06-27 10:25:30 +02:00
  • 50a776d343 Lkt frontend: fix filename formatting Pierre-Marie de Rodat 2026-01-23 14:59:08 +00:00
  • a475752481 Merge branch 'mr/pmderodat/24_sustained' into '24-sustained' Pierre-Marie de Rodat 2026-01-23 10:17:56 +00:00
  • 9a535e0caf Fix invalid escape sequences in Python code Pierre-Marie de Rodat 2024-04-23 14:46:48 +00:00
  • a8ad44d18e Merge branch 'mr/pmderodat/24_sustained_fix' into '24-sustained' Pierre-Marie de Rodat 2026-01-23 09:24:01 +00:00
  • af87c461e3 langkit/compiled_types.py: fix an incorrect backport Pierre-Marie de Rodat 2026-01-23 09:02:17 +00:00
  • 69daca709e Merge branch 'mr/pmderodat/lkt-modules' into 'master' Pierre-Marie de Rodat 2026-01-22 12:50:59 +00:00
  • d5fafd3f76 Testsuite: fix directory separator baseline discrepancies on Windows Pierre-Marie de Rodat 2026-01-22 13:10:09 +01:00
  • b3344443c9 Merge branch 'mr/pmderodat/lkt-modules' into 'master' Pierre-Marie de Rodat 2026-01-21 10:23:39 +00:00
  • aa4a4de857 Merge branch 'mr/pmderodat/24_sustained' into '24-sustained' Pierre-Marie de Rodat 2026-01-21 08:55:04 +00:00
  • cd5b9b8dbe Testsuite: adapt Python traceback collapser for Python 3.13 Pierre-Marie de Rodat 2024-12-03 12:48:47 +00:00
  • 98cabd34b1 Transition uses of the Python pipes module to shlex Pierre-Marie de Rodat 2024-12-03 11:42:00 +00:00
  • 75309c8a14 Lkt: handle renaming parts in import clauses Pierre-Marie de Rodat 2026-01-14 11:14:33 +00:00
  • 63f7bcd73d Regenerate bootstrap sources Pierre-Marie de Rodat 2026-01-14 09:46:53 +00:00
  • 9dc51336d7 Lkt: introduce renaming parts in import clauses Pierre-Marie de Rodat 2026-01-14 09:46:45 +00:00
  • 6e88d6ec25 Lkt: revamp the module system Pierre-Marie de Rodat 2026-01-13 14:49:31 +00:00
  • d5cf4f8821 tests/lkt/import: move test to a subdirectory Pierre-Marie de Rodat 2026-01-12 08:48:11 +00:00
  • 9a1ffb91f0 Regenerate bootstrap sources Pierre-Marie de Rodat 2025-12-02 09:51:42 +00:00
  • b46f76d218 Lkt: introduce syntax for new import clauses Pierre-Marie de Rodat 2025-12-02 09:42:49 +00:00
  • 056f54bfcf Lkt frontend: add dynvars in scopes before starting the lowering Pierre-Marie de Rodat 2026-01-13 14:34:07 +00:00
  • 6cd2a8c3e7 Testsuite: extend lkt_compile.py for multi-dir Lkt sources Pierre-Marie de Rodat 2026-01-12 15:13:05 +00:00
  • 021f6a0998 langkit.vim: tidy up keywords Pierre-Marie de Rodat 2026-01-12 09:00:55 +00:00
  • 58ef2b4385 Regenerate bootstrap sources Pierre-Marie de Rodat 2026-01-12 13:47:43 +00:00
  • 68f1debb86 Liblktlang: introduce module-level doc strings Pierre-Marie de Rodat 2025-12-02 09:40:14 +00:00
  • d47ab4d282 lkt/nodes.lkt: minor docstring fix Pierre-Marie de Rodat 2025-12-02 08:08:11 +00:00
  • 42039ecd69 Lkt frontend: fix resolution of generic list type as base type Pierre-Marie de Rodat 2025-12-04 21:59:52 +00:00
  • 47c7fb62b8 Lkt frontend: fix resolution of implicit Metadata type as base type Pierre-Marie de Rodat 2025-12-04 10:00:00 +00:00
  • 2b6e31c082 Merge branch 'topic/java_api/target_lib' into 'master' Hugo Guerrier 2026-01-16 16:10:06 +00:00
  • 24175d9f38 Java API: Make the 'lib' directory creation conditional Hugo Guerrier 2026-01-16 11:11:38 +01:00
  • e7bdf50ac3 Merge branch 'topic/guerrier/lkql_interop' into 'master' Hugo Guerrier 2026-01-15 20:20:59 +00:00
  • cee9beec1a Don't use the Maven shade plugin anymore Hugo Guerrier 2026-01-06 17:10:14 +01:00
  • 79d4e399a4 Make some interfaces extending 'TruffleObject' Hugo Guerrier 2026-01-06 12:00:35 +01:00
  • 32d4bbccea Add support to get a property parameter name in LangkitSupport.java Hugo Guerrier 2025-12-19 15:00:48 +01:00
  • 36c8821273 Merge branch 'mr/pmderodat/python-unit-provider' into 'master' Pierre-Marie de Rodat 2026-01-14 15:54:24 +00:00
  • 74388746c7 Python API: make it possible to create custom unit providers Pierre-Marie de Rodat 2026-01-08 09:50:10 +00:00
  • 6a2f72aed9 C API: make it possible to create custom unit providers Pierre-Marie de Rodat 2026-01-08 09:49:32 +00:00
  • 6a4e92c634 langkit.documentation: minor comment fix Pierre-Marie de Rodat 2026-01-07 08:48:40 +00:00
  • 69b90f9292 Python API: create C callbacks only once per process Pierre-Marie de Rodat 2026-01-06 14:22:09 +00:00
  • abfa29f999 Merge branch 'mr/pmderodat/lkt-bootstrap' into 'master' Pierre-Marie de Rodat 2026-01-14 10:24:44 +00:00
  • 4c12a7cd13 Disable incrementality to generate bootstrap sources Pierre-Marie de Rodat 2026-01-12 14:43:53 +00:00
  • 8221d5df67 lkm: reset the code generation cache with --force Pierre-Marie de Rodat 2026-01-12 14:29:44 +00:00
  • bac25208b8 Merge branch 'mr/mercier/token-ctx-reference' into 'master' Daniel Mercier 2026-01-09 14:25:10 +00:00
  • d1022337b4 [ocaml api] fix correctly referencing analysis context in token Daniel Mercier 2025-12-09 16:16:17 +01:00
  • fd7516bd5c Merge branch 'mr/pmderodat/rewriting_partial_formatting' into 'master' Pierre-Marie de Rodat 2026-01-07 10:03:00 +00:00
  • 088c276bb7 Langkit_Support.Generic_API.Rewriting: fix memory leak for partial formatting Pierre-Marie de Rodat 2026-01-07 09:37:38 +00:00
  • 28fa65e327 Merge branch 'topic/rewriting_partial_formatting_3' into 'master' Romain Béguet 2026-01-06 14:30:44 +00:00
  • 68289cc67d Use default rewriting options in the C bindings. Romain Beguet 2025-11-27 14:28:03 +01:00
  • 35222957e4 Implement partial reformatting. Romain Beguet 2025-10-03 18:12:27 +02:00
  • 7fa486f689 Allow defining language-specific format options. Romain Beguet 2025-11-26 17:26:55 +01:00