Commit Graph

  • b8e6f82e49 Unparsing: do not copy immutable leaf document nodes Pierre-Marie de Rodat 2025-06-19 13:44:53 +00:00
  • 0ba714acbc Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-07-02 14:54:42 +00:00
  • 23b09ca068 Doc: fix casing for Lkt Pierre-Marie de Rodat 2025-06-17 12:15:35 +00:00
  • 7ff336ec3d Merge branch 'mr/pmderodat/valgrind' into 'master' Pierre-Marie de Rodat 2025-06-27 14:48:52 +00:00
  • a3d5c06c05 Add Valgrind suppressions to ocaml.supp for Ubuntu 24.04 Pierre-Marie de Rodat 2025-06-27 14:13:16 +00:00
  • 18516f331a Merge branch 'mr/pmderodat/lkt-unused-entities' into 'master' Pierre-Marie de Rodat 2025-06-27 13:53:45 +00:00
  • 76218b9397 Rework the emission of "unused bindings" warnings Pierre-Marie de Rodat 2025-06-11 08:15:05 +00:00
  • 2f28532d8d Lkt frontend: remove unused context args from names handling functions Pierre-Marie de Rodat 2025-06-11 08:12:02 +00:00
  • 7a778c2037 Move dynamic variable binding checks to the Lkt frontend Pierre-Marie de Rodat 2025-06-10 14:40:12 +00:00
  • 592c29d204 Move builtin dynvar construction code to the frontend Pierre-Marie de Rodat 2025-06-10 06:48:53 +00:00
  • 8554eef2e3 Fix codegen name clash for inheritted dynvar. args with temporaries Pierre-Marie de Rodat 2025-06-11 12:41:10 +00:00
  • dd777efd58 Fix the handling of dynvar. arguments when implicitly inherited Pierre-Marie de Rodat 2025-06-11 12:11:26 +00:00
  • b34bcc5b0b Testsuite: remove unintended unused bindings Pierre-Marie de Rodat 2025-06-10 20:02:46 +00:00
  • 1d0798f99a Lkt frontend: fix handling of _ lambda args for .[i]filtermap Pierre-Marie de Rodat 2025-06-11 08:01:06 +00:00
  • f7e6bf44c2 langkit.frontend: remove redundant check Pierre-Marie de Rodat 2025-06-09 15:07:34 +00:00
  • f01e74fda5 Merge branch 'mr/pmderodat/lkt-bootstrap' into 'master' Pierre-Marie de Rodat 2025-06-27 11:06:17 +00:00
  • a61867e2d5 manage.py: include extension sources + langkit.yaml in bootstrap sources Pierre-Marie de Rodat 2025-05-30 08:12:48 +00:00
  • 7ab66f6bd7 langkit.emitter: lazily load the default unparsing configuration Pierre-Marie de Rodat 2025-06-27 12:36:03 +02:00
  • 7a8c0e963f Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2025-06-27 10:02:14 +00:00
  • 96b49d137c lexical_envs/stale_rebindings/main.py: fix a new flake8 issue Pierre-Marie de Rodat 2025-06-27 10:25:30 +02:00
  • d48a3ebdfa Merge branch 'mr/pmderodat/doc-unparsing' into 'master' Pierre-Marie de Rodat 2025-06-26 14:41:13 +00:00
  • 1730c7637c Document language spec requirements to generate unparsers Pierre-Marie de Rodat 2025-06-19 09:54:35 +00:00
  • e1b69f756a Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-06-26 08:03:45 +00:00
  • 1918347f76 Fix the build of the Langkit Sphinx documentation Pierre-Marie de Rodat 2025-06-17 12:11:09 +00:00
  • 9d9bcab904 Merge branch 'topic/lkql/generic' into 'master' Laurent Thévenoux 2025-06-25 11:44:53 +00:00
  • 031b1155d3 Java bindings: complete the LangkitSupport bindings Laurent Thévenoux 2025-03-18 14:37:05 +01:00
  • f724be81fb Merge branch 'mr/pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2025-06-17 08:54:56 +00:00
  • 2a06fa886e Rewriting: add a minimal user documentation Pierre-Marie de Rodat 2025-05-19 10:14:38 +00:00
  • 76b00d4134 langkit.stylechecks: add handling for Sphinx headings Pierre-Marie de Rodat 2025-05-21 19:23:01 +00:00
  • 6bdb30761e Merge branch 'mr/pmderodat/lkm-incremental-bug' into 'master' Pierre-Marie de Rodat 2025-06-11 15:14:16 +00:00
  • 3d8cc62639 lkm generate: fix the stale file handling logic Pierre-Marie de Rodat 2025-06-11 14:46:15 +00:00
  • 18ef2f95fa Merge branch 'mr/pmderodat/lkm-generate-incremental' into 'master' Pierre-Marie de Rodat 2025-06-09 13:18:48 +00:00
  • 802375091a lkm generate: extend caching to avoid compiling Lkt at all when possible Pierre-Marie de Rodat 2025-05-19 08:48:21 +00:00
  • 6ca7f97f5d Create the Emitter instance in the CompileCtx constructor Pierre-Marie de Rodat 2025-05-16 12:42:42 +00:00
  • 17a1e4b8ef langkit.caching: prettify the JSON cache DB Pierre-Marie de Rodat 2025-05-16 12:21:55 +00:00
  • 5b2d8145a0 langkit.template_utils: remove global state for lookup directories Pierre-Marie de Rodat 2025-05-16 08:46:40 +00:00
  • ca362c3636 Simplify extension directory handling code Pierre-Marie de Rodat 2025-05-16 08:39:14 +00:00
  • ac13655089 Merge branch 'mr/pmderodat/refd-env-leak' into 'master' Pierre-Marie de Rodat 2025-06-06 12:54:05 +00:00
  • 6b74dc9d58 Lexical envs: do not leak referenced envs on cache resets Pierre-Marie de Rodat 2025-06-06 12:07:11 +00:00
  • bfb064e8bd Merge branch 'mr/pmderodat/mmz-synth' into 'master' Pierre-Marie de Rodat 2025-06-06 08:04:13 +00:00
  • 6ba41a8b30 Remove the obsolete (unused) memoize_in_populate property attribute Pierre-Marie de Rodat 2025-06-04 14:31:59 +00:00
  • afc45b6db9 Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-06-05 11:21:31 +00:00
  • 781e4a3dc2 Langkit_Support.Generic_API: make the docstrings Sphinx-friendly Pierre-Marie de Rodat 2025-06-03 13:24:57 +00:00
  • 06c3487db5 Langkit_Support.Generic_API.Analysis: fix todo block in docstring Pierre-Marie de Rodat 2025-06-03 13:24:15 +00:00
  • b0d971353e Merge branch 'mr/pmderodat/lkt-derive-token-node' into 'master' Pierre-Marie de Rodat 2025-06-05 11:19:39 +00:00
  • 97b607cad3 Fix rejection of synthetic nodes that are error nodes by derivation Pierre-Marie de Rodat 2025-05-30 08:59:14 +00:00
  • 47a32e39c7 Fix rejection of parse fields in token nodes Pierre-Marie de Rodat 2025-05-30 08:58:12 +00:00
  • dd1f0175e1 Merge branch 'topic/1558' into 'master' Romain Béguet 2025-06-04 08:36:58 +00:00
  • 393ddaa286 Do not recompute referenced envs eagerly. Romain Beguet 2025-03-13 13:38:57 +01:00
  • 5022d7ede1 Merge branch 'topic/lkt/fix_typer_list_synthetisation_userfields' into 'master' Rémi Segard 2025-06-03 13:09:41 +00:00
  • 587b0fc9b6 Lkt: fix synthetisation of ASTLists with user fields Remi Segard 2025-05-22 15:24:24 +02:00
  • 1c1e073c0f Merge branch 'mr/pmderodat/lkm-printenv-output-file' into 'master' Pierre-Marie de Rodat 2025-06-03 09:40:56 +00:00
  • 6cee1cad6e manage.py: do not use an API introduced in Python 3.12 Pierre-Marie de Rodat 2025-06-03 09:18:35 +00:00
  • 542083150d Merge branch 'mr/pmderodat/reformatting' into 'master' Pierre-Marie de Rodat 2025-06-03 08:17:49 +00:00
  • 7dfccaebee Fix indentation of generated doc in multiple templates Pierre-Marie de Rodat 2025-05-22 12:46:28 +00:00
  • 1fcc1ce203 Merge branch 'topic/lkt/image_triggers_ple' into 'master' Rémi Segard 2025-06-02 10:15:31 +00:00
  • 4168574f42 Lkt: prevent PLE when getting custom image Remi Segard 2025-05-26 15:59:42 +02:00
  • 802a3f5661 Merge branch 'mr/pmderodat/lkm-printenv-output-file' into 'master' Pierre-Marie de Rodat 2025-05-30 15:50:04 +00:00
  • e69408afcf manage.py: use --output internally and expose it for printenv commands Pierre-Marie de Rodat 2025-05-30 13:48:31 +00:00
  • 7c90bb8dbd lkm printenv: add a -o/--output option to write the env cmds to a file Pierre-Marie de Rodat 2025-05-30 13:14:31 +00:00
  • 37eeac811d Merge branch 'mr/pmderodat/lkt-pred-error-escape' into 'master' Pierre-Marie de Rodat 2025-05-26 14:12:29 +00:00
  • 2ededd7344 Add escape sequences in predicate error message templates Pierre-Marie de Rodat 2025-05-20 09:34:53 +00:00
  • 910e74e6ac pkg_implementation_body_ada.mako: minor reformatting Pierre-Marie de Rodat 2025-05-20 09:28:17 +00:00
  • 6f6a488519 Simplify predicate error template parsing with re.Pattern.finditer Pierre-Marie de Rodat 2025-05-19 18:28:16 +00:00
  • 040be96a7e Merge branch 'mr/pmderodat/locations' into 'master' Pierre-Marie de Rodat 2025-05-26 13:53:13 +00:00
  • 6e87e1686d Remove ambient locations for diagnostics Pierre-Marie de Rodat 2025-05-21 13:00:38 +00:00
  • 9056b30a42 Remove dead code Pierre-Marie de Rodat 2025-05-21 12:25:42 +00:00
  • 2a11a7e1e6 langkit.names: get rid of the Name.check_from_* methods Pierre-Marie de Rodat 2025-05-21 12:02:47 +00:00
  • 58201373c7 langkit.lexer.regexp: transition away from ambient locations Pierre-Marie de Rodat 2025-05-20 15:06:09 +00:00
  • 7dd406b510 Parsers: move rule name validation to the Lkt frontend Pierre-Marie de Rodat 2025-05-20 14:36:23 +00:00
  • 56062e5a83 Move final+abstract legality checks for properties to the Lkt frontend Pierre-Marie de Rodat 2025-05-20 14:15:58 +00:00
  • 439685e39d Move validity checks for node annotations to the Lkt frontend Pierre-Marie de Rodat 2025-05-20 13:58:22 +00:00
  • 85709c6158 Lkt frontend: rework locations for annotation checks Pierre-Marie de Rodat 2025-05-20 12:03:53 +00:00
  • 94fc7a4dfc c_api.py/python_api.py: add explicit location for error messages Pierre-Marie de Rodat 2025-05-20 12:02:58 +00:00
  • 0eeca17ca4 Merge branch 'topic/from_origin' into 'master' Raphaël Amiard 2025-05-26 13:44:03 +00:00
  • 75882ae9d5 Rename "from" into "origin" Raphaël AMIARD 2025-05-21 15:04:55 +02:00
  • 2858f42069 Merge branch 'mr/pmderodat/lkt-domain-node' into 'master' Pierre-Marie de Rodat 2025-05-26 12:16:35 +00:00
  • 475db55a61 Stop accepting bare nodes collection in logic domain expressions Pierre-Marie de Rodat 2025-05-20 11:24:01 +00:00
  • 6e503ca4ee Merge branch 'mr/pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2025-05-23 13:03:18 +00:00
  • 66044cff7d Fix a typing issue found by mypy Pierre-Marie de Rodat 2025-05-23 12:31:56 +00:00
  • 829b233e31 Merge branch 'topic/lktql2' into 'master' Raphaël Amiard 2025-05-23 07:18:40 +00:00
  • d4da3e26c2 Add a test for invalid pattern typing case in the Lkt typer Raphaël AMIARD 2025-04-16 18:22:28 +02:00
  • fbb68730d8 Extend lkt_toolbox to log errors in name resolution Raphaël AMIARD 2025-04-16 18:19:40 +02:00
  • bf4cf11c5a Lktql: Fix some comments Raphaël AMIARD 2025-04-11 14:21:29 +02:00
  • 4f6faa70f2 Extend lkt vim syntax file to properly rewrap docstrings&comments Raphaël AMIARD 2025-04-10 14:22:17 +02:00
  • e0777db5f9 Extend tests for patterns Raphaël AMIARD 2025-04-10 13:14:29 +02:00
  • 932fb6fb1f Significantly refactor the grammar for patterns. Raphaël AMIARD 2025-04-10 11:52:18 +02:00
  • eecd91877d Lktql: Add support for patterns in match expressions Raphaël AMIARD 2025-05-22 15:32:51 +02:00
  • 00bf1a5964 Lktql: Add patterns to the Lkt grammar Raphaël AMIARD 2025-02-21 10:06:56 +01:00
  • 76679e43df Fix mypy typing error Raphaël AMIARD 2025-03-28 10:26:55 +01:00
  • 5a06f55916 Extend gitignore Raphaël AMIARD 2025-05-21 17:25:55 +02:00
  • cf4ce2486e Merge branch 'topic/lkt/invalid_propagate_first_arg_type' into 'master' Rémi Segard 2025-05-22 12:24:13 +00:00
  • b676adf800 Lkt: reject incompatible entity for propagates first argument Remi Segard 2025-05-21 16:03:24 +02:00
  • c0883d738d Merge branch 'mr/pmderodat/pyproject' into 'master' Pierre-Marie de Rodat 2025-05-21 14:37:06 +00:00
  • 23833725ed langkit.libmanage: bind the --no-isolation build option Pierre-Marie de Rodat 2025-05-21 14:05:34 +00:00
  • ff4d5018f2 Merge branch 'mr/pmderodat/pyproject' into 'master' Pierre-Marie de Rodat 2025-05-21 12:29:44 +00:00
  • 89b1d4c27b Transition Langkit itself from setup.py to pyproject.toml Pierre-Marie de Rodat 2023-11-29 14:28:18 +00:00
  • 8ead9b2b33 Transition Python bindings packaging from "setup.py" to "pyproject.toml" Pierre-Marie de Rodat 2023-11-29 14:04:35 +00:00
  • ff6b6dee04 Merge branch 'mr/pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2025-05-21 09:11:17 +00:00
  • 8060438b64 Rewriting: add safety nets to the public API to detect stale handle refs Pierre-Marie de Rodat 2025-04-11 09:07:20 +00:00