Commit Graph

  • 22a7ccfb85 Lkt: add support for the ".empty" builtin method Pierre-Marie de Rodat 2024-03-20 08:13:11 +00:00
  • d415b7862f Merge branch 'mr/pmderodat/lkt-newline-after' into 'master' Pierre-Marie de Rodat 2024-03-21 11:38:24 +00:00
  • 7d5a671c20 dsl_unparse: fix unparsing of the @unparse_newline_after annotation Pierre-Marie de Rodat 2024-03-20 14:26:41 +00:00
  • bf3c52f615 Merge branch 'mr/pmderodat/lkt-fwd-ref-match-rule' into 'master' Pierre-Marie de Rodat 2024-03-21 11:38:05 +00:00
  • a6ce81d421 Lkt lowering: fix token forward references in lexer match rules Pierre-Marie de Rodat 2024-03-20 20:01:17 +00:00
  • ca88d08fdf Merge branch 'mr/pmderodat/lkt-find-or-raise' into 'master' Pierre-Marie de Rodat 2024-03-21 11:37:13 +00:00
  • 96e63c1fd3 Remove the ".find or_raise" composed attribute Pierre-Marie de Rodat 2024-03-20 08:48:05 +00:00
  • e9b3ae798a Merge branch 'mr/pmderodat/lkt-solver-diagnostic' into 'master' Pierre-Marie de Rodat 2024-03-21 10:41:38 +00:00
  • f4233022f8 Lkt lowering: fix a typo in the SolverDiagnostic type name Pierre-Marie de Rodat 2024-03-20 19:54:39 +00:00
  • 1d4c76ff13 Merge branch 'mr/pmderodat/lkt-pattern-backslash' into 'master' Pierre-Marie de Rodat 2024-03-21 10:00:01 +00:00
  • f233d6482c dsl_unparse: fix handling of backslashes in patterns Pierre-Marie de Rodat 2024-03-19 09:04:01 +00:00
  • 0c0a6451d2 Merge branch 'mr/pmderodat/lkt-keep' into 'master' Pierre-Marie de Rodat 2024-03-21 09:24:52 +00:00
  • 6e4211cd38 Lkt: introduce ".keep[T]" expressions Pierre-Marie de Rodat 2024-03-19 10:25:52 +00:00
  • 10cec515e2 Merge branch 'mr/pmderodat/lkt-solver-diagnostics' into 'master' Pierre-Marie de Rodat 2024-03-18 19:07:08 +00:00
  • eefc4f572f Lkt: add support for solver diagnostics Pierre-Marie de Rodat 2024-03-18 13:39:06 +00:00
  • 04a756d7df Testsuite: enable types_from_lkt=True whenever possible Pierre-Marie de Rodat 2024-03-15 17:10:22 +00:00
  • 0280e5bf7c Lkt: add support for .logic_all/.logic_any expressions Pierre-Marie de Rodat 2024-03-18 12:37:48 +00:00
  • 95851aa8ac Lkt lowering: minor refactoring Pierre-Marie de Rodat 2024-03-18 12:19:39 +00:00
  • 3f056c6c3b Merge branch 'mr/pmderodat/lkt-function-signature' into 'master' Pierre-Marie de Rodat 2024-03-18 09:58:11 +00:00
  • 5924974f5b Lkt lowering: rework function arguments matching for builtins Pierre-Marie de Rodat 2024-03-15 16:04:59 +00:00
  • 42dfd6e282 Merge branch 'mr/pmderodat/lkt-block-strings' into 'master' Pierre-Marie de Rodat 2024-03-15 16:25:19 +00:00
  • 687a138cbb Lkt: introduce block strings and replace doc comments with them Pierre-Marie de Rodat 2024-01-11 12:10:06 +00:00
  • 4c9233d508 Lkt lowering: bind builtin types Address and SourceLocationRange Pierre-Marie de Rodat 2024-02-28 11:33:52 +00:00
  • 24e30a3f1a DSL: fix nullability of the SourceLocationRange compiled type Pierre-Marie de Rodat 2024-02-28 11:23:35 +00:00
  • 54b145b2a6 Merge branch 'mr/pmderodat/valgrind' into 'master' Pierre-Marie de Rodat 2024-03-15 15:10:53 +00:00
  • 04c1560cdf Unparsing: fix memory leaks on unparsing configuration loading errors Pierre-Marie de Rodat 2024-03-15 09:12:07 +00:00
  • 968bca7efc ada_api/unparsing: remove XFAIL for valgrind Pierre-Marie de Rodat 2024-03-15 08:59:43 +00:00
  • 2e7e7f91da Merge branch 'mr/pmderodat/lkt-defer-generic-checks' into 'master' Pierre-Marie de Rodat 2024-03-15 13:55:10 +00:00
  • b3c6e8a0f4 Lkt: validate actuals for generic instantiation Pierre-Marie de Rodat 2024-03-14 14:26:58 +00:00
  • b278ef7f7c TypeRepo.Defer: cache the result of resolution Pierre-Marie de Rodat 2024-03-14 14:20:51 +00:00
  • 03819c9159 Merge branch 'mr/pmderodat/lksp-comments' into 'master' Pierre-Marie de Rodat 2024-03-15 10:15:10 +00:00
  • dcf12237cb Langkit_Support: harmonize comments for internal compilation units Pierre-Marie de Rodat 2024-03-08 15:28:32 +00:00
  • 789477927d Merge branch 'mr/pmderodat/py-wheel-platform' into 'master' Pierre-Marie de Rodat 2024-03-14 16:04:51 +00:00
  • 3b9030ad87 Extend wheel packaging to support platform tags Pierre-Marie de Rodat 2024-03-14 10:54:47 +00:00
  • 1b4853f8e6 Merge branch 'sync/cache_invalidation' into 'master' Romain Béguet 2024-03-14 14:51:07 +00:00
  • c6db2b6d22 Explicitly clear env caches before reparsing an unit. Romain Beguet 2024-03-14 10:38:34 +01:00
  • 01e43ad77f Merge branch 'mr/pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2024-03-14 13:42:07 +00:00
  • bd7c9c1012 requirements-pypi.txt: add importlib-metadata Pierre-Marie de Rodat 2024-02-13 09:46:04 +00:00
  • 05f66f610b Merge branch 'pmderodat/lkt-predicates' into 'master' Pierre-Marie de Rodat 2024-03-14 12:54:31 +00:00
  • 738735a4b1 Lkt: enhance parser predicate validation Pierre-Marie de Rodat 2024-03-13 16:09:42 +00:00
  • 7bbd9f3c6b Merge branch 'topic/java_api/ni_pointers' into 'master' Hugo Guerrier 2024-03-13 18:10:14 +00:00
  • e0cf069ba2 Change 'Pointer' to 'WordPointer' when possible Hugo Guerrier 2023-07-10 15:52:51 +02:00
  • 29576673a2 Merge branch 'mr/pmderodat/utf8-preparatory' into 'master' Pierre-Marie de Rodat 2024-03-13 17:09:33 +00:00
  • 4048175e62 grammar/case_rule: extend the testcase to check non-ASCII tokens Pierre-Marie de Rodat 2023-06-28 11:48:24 +00:00
  • dbad162373 misc/unicode: new testcase Pierre-Marie de Rodat 2023-06-30 13:56:36 +00:00
  • 6f53bc0260 Merge branch 'mr/pmderodat/lkt-literals-decoding' into 'master' Pierre-Marie de Rodat 2024-03-13 16:28:38 +00:00
  • 67aada86df Lkt: rework error handling in char/string literal decoding Pierre-Marie de Rodat 2024-02-28 17:09:56 +00:00
  • d6b4ea9bdd Merge branch 'topic/java_cleanups' into 'master' Hugo Guerrier 2024-03-11 16:04:21 +00:00
  • 2ca1204d49 Correct 'AnalysisUnit.equals' method Hugo Guerrier 2024-03-11 10:24:29 +01:00
  • f4904d0996 minor: Refactor 'Token.equals' operands order Hugo Guerrier 2024-03-11 10:22:25 +01:00
  • d20c912cdc tests/java_api/general: Correct the graal_c_api run Hugo Guerrier 2023-11-27 11:08:21 +01:00
  • 5d9e7d4033 minor: Move 'SizeOf' call out of the loop in Java API arrays Hugo Guerrier 2023-11-28 10:03:18 +01:00
  • 75a993ce81 minor: Move 'AnalysisContext#increaseRefCounter' in the valid section Hugo Guerrier 2023-11-27 11:33:19 +01:00
  • 3c08faebb8 minor: Remove all mentions of "AST" because Langkit is producing a parse tree Hugo Guerrier 2024-01-31 16:01:36 +01:00
  • 5f3de1cc6d minor: Correct some typos in Java bindings Hugo Guerrier 2023-11-28 15:44:04 +01:00
  • ead41a4428 Merge branch 'sync/cache_invalidation' into 'master' Romain Béguet 2024-03-11 09:46:26 +00:00
  • be7e345064 Implement a generic collection mechanism for lexical env lookup caches. Romain Beguet 2024-01-10 15:21:03 +01:00
  • 7ea84bfb5a Merge branch 'mr/pmderodat/unparsing-if-empty' into 'master' Pierre-Marie de Rodat 2024-02-28 14:35:29 +00:00
  • 5879a2ee81 Unparsing: introduce the ifEmpty template Pierre-Marie de Rodat 2024-02-27 15:30:56 +00:00
  • a810056844 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-02-28 13:44:41 +00:00
  • d8a554a524 Unparsing: refactor the handling of recurse_flatten nodes Pierre-Marie de Rodat 2024-02-27 08:33:00 +00:00
  • 876b001ade Merge branch 'mr/pmderodat/unparsing-alt-token-text' into 'master' Pierre-Marie de Rodat 2024-02-28 10:33:28 +00:00
  • 73ef5560c0 Lexer: use the first text found for a token in order to unparse it Pierre-Marie de Rodat 2024-02-28 08:59:11 +00:00
  • cd16ac1942 Merge branch 'mr/pmderodat/token-or' into 'master' Pierre-Marie de Rodat 2024-02-28 09:51:24 +00:00
  • 6c8f3d844d Lkt: fix the handling of lexing rules with many matchers Pierre-Marie de Rodat 2024-02-28 08:50:59 +00:00
  • e009c32516 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-02-21 16:37:34 +00:00
  • dba90ec2a8 Add support for "text" nodes in field templates Pierre-Marie de Rodat 2024-02-20 15:05:13 +00:00
  • 81afbbeaac Unparsing: refactor field unparsing Pierre-Marie de Rodat 2024-02-20 14:51:17 +00:00
  • e83690fb37 Unparsing: refactor probing of template category Pierre-Marie de Rodat 2024-02-20 10:23:22 +00:00
  • 74bacabcac Merge branch 'mr/pmderodat/unparsing-comments' into 'master' Pierre-Marie de Rodat 2024-02-19 14:27:59 +00:00
  • e2f68bb610 Introduce the "is_comment" trivia annotation Pierre-Marie de Rodat 2024-02-07 14:14:21 +00:00
  • e670f4d43b Langkit_Support.Generic_API: fix handling of null token kinds Pierre-Marie de Rodat 2024-02-07 14:18:49 +00:00
  • 342b11f4d3 Merge branch 'mr/pmderodat/unparsing-group-id' into 'master' Pierre-Marie de Rodat 2024-02-19 10:06:45 +00:00
  • 97141cf288 Unparsing: add handling for group Ids Pierre-Marie de Rodat 2024-02-15 14:17:53 +00:00
  • d047c3b764 ada_api/unparsing: renumber ids instead of removing them Pierre-Marie de Rodat 2024-02-15 14:13:28 +00:00
  • 99e2721864 ada_api/unparsing: add robustness checks for "group" parsing Pierre-Marie de Rodat 2024-02-15 13:28:16 +00:00
  • 95f0819144 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-02-16 16:35:40 +00:00
  • 6aa46e5966 Unparsing: rework error message handling Pierre-Marie de Rodat 2024-02-06 11:09:39 +00:00
  • 341de08406 Merge branch 'mr/pmderodat/pull/651/head' into 'master' Pierre-Marie de Rodat 2024-02-16 15:13:02 +00:00
  • 369b9a89da setup.py: add missing langkit.scripts package to wheel Philipp Smirnov 2024-01-29 02:37:11 +01:00
  • 93d18171bf Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-02-16 14:26:46 +00:00
  • bfdd150ec9 .gitlab-ci.yml: build laldoc in addition to libadalang-doc Pierre-Marie de Rodat 2024-02-16 14:17:29 +01:00
  • 6c910cadeb Merge branch 'mr/pmderodat/exported-symbols' into 'master' Laurent Thévenoux 2024-02-13 13:21:05 +00:00
  • 6944370579 Move $.Parsers' implementation to a new $.Parsers_Impl unit Pierre-Marie de Rodat 2024-02-13 11:24:39 +00:00
  • 61a27c6ef0 Merge branch 'unparsing/inner_root' into 'master' João Azevedo 2024-02-13 12:09:31 +00:00
  • 1996b8f083 Add Inner_Root alignment kind Joao Azevedo 2024-02-06 16:33:06 +00:00
  • 54234de731 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-02-09 12:01:49 +00:00
  • a754e71010 Merge branch 'backport/eng/libadalang/langkit!998' into '24.2' Ghjuvan Lacambre 2024-02-09 09:55:47 +00:00
  • 6b91cd7016 OCaml API: add defensive code when reading an exception Daniel Mercier 2024-01-24 12:45:58 +01:00
  • 1579502720 Unparsing: fix handling of missing fields for recurse_field Pierre-Marie de Rodat 2024-02-05 20:20:24 +00:00
  • 7f769915a3 Unparsing: fix recurse_field to account for field configurations Pierre-Marie de Rodat 2024-02-05 12:57:34 +00:00
  • af7bd9ae1b Unparsing: add the "recurse_field" template Pierre-Marie de Rodat 2024-02-02 13:01:58 +00:00
  • a8e8573bd6 Unparsing: factor code out of Iterate_On_Fragments Pierre-Marie de Rodat 2024-02-02 12:57:44 +00:00
  • d980133099 Unparsing: refactor template instantiation code Pierre-Marie de Rodat 2024-02-02 10:33:00 +00:00
  • 894e2f0751 Unparsing: perform template validation during its parsing Pierre-Marie de Rodat 2024-02-02 09:23:12 +00:00
  • 7293ead459 Unparsing: fix a memory leak in case of invalid "node" template Pierre-Marie de Rodat 2024-02-01 14:47:22 +00:00
  • 1f6682f99a Unparsing: refactor error handling in templates parsing Pierre-Marie de Rodat 2024-02-01 12:57:10 +00:00
  • a69ce56546 Merge branch 'topic/robustness' into 'master' Elie Richa 2024-02-01 11:47:19 +00:00
  • 9378a7980f Make scripts robust to liblktlang import failures Elie Richa 2023-07-24 23:12:50 +00:00
  • abc6bef9ae Merge branch 'issue_756' into 'master' João Azevedo 2024-01-31 14:51:43 +00:00