Commit Graph

  • dca25f78d6 Lkt: rename @has_abstract_list to @with_abstract_list Pierre-Marie de Rodat 2024-06-12 08:39:33 +00:00
  • eb36d66f4f Lkt: rename @export to @exported Pierre-Marie de Rodat 2024-06-12 08:34:56 +00:00
  • 49aeb231ac Merge branch 'mr/pmderodat/alire-doc' into 'master' Pierre-Marie de Rodat 2024-06-19 10:15:51 +00:00
  • f8efdf6d46 README: refresh build/testing instructions Pierre-Marie de Rodat 2024-06-11 16:48:03 +02:00
  • a64a818c34 manage.py: fix handling of static-pic library type Pierre-Marie de Rodat 2024-06-11 16:35:53 +02:00
  • 833549c4c6 Merge branch 'prettier_ada_issue_22' into 'master' João Azevedo 2024-06-18 12:34:30 +00:00
  • a701c703d5 Unparsing: adapt to Prettier-Ada API changes Joao Azevedo 2024-06-17 14:59:01 +00:00
  • 7de59386bf Merge branch 'issue_778_prototype' into 'master' João Azevedo 2024-06-14 09:04:34 +00:00
  • 3d893359dc Add ifKind unparsing template Joao Azevedo 2024-04-08 21:06:12 +00:00
  • 98e15caba1 Merge branch 'mr/pmderodat/unparsing-trivias' into 'master' Pierre-Marie de Rodat 2024-06-12 08:37:08 +00:00
  • 30ce3de98f Unparsing: fix memory leaks in case of invalid input configs Pierre-Marie de Rodat 2024-06-11 19:47:16 +00:00
  • 834c900333 Merge branch 'mr/pmderodat/vss' into 'master' Pierre-Marie de Rodat 2024-06-11 19:30:38 +00:00
  • b707c79797 langkit.packaging: update after recent VSS installation changes Pierre-Marie de Rodat 2024-06-11 19:12:34 +00:00
  • c037d26f81 Merge branch 'mercier/fix_text_from_utf8_leak' into 'master' Daniel Mercier 2024-06-11 16:32:08 +00:00
  • adf5936413 [ocaml api] Use make instead of allocate [...] make whis is equivalent Daniel Mercier 2024-06-05 12:49:49 +02:00
  • 8ae2bb1658 [ocaml api] Fix missing calls to destroy_text causing memory leaks Daniel Mercier 2024-06-05 12:44:57 +02:00
  • 4fa211ca00 Merge branch 'sync/mr/pmderodat/unparsing-trivias' into 'master' Pierre-Marie de Rodat 2024-06-10 13:46:13 +00:00
  • fa884e2190 Unparsing: introduce the "max_empty_lines" setting Pierre-Marie de Rodat 2024-06-05 14:15:04 +00:00
  • ab34de868a Unparsing: preserve comments and empty lines from original sources Pierre-Marie de Rodat 2024-06-05 09:49:58 +00:00
  • 8da114fb26 Unparsing: keep track of the link to original tokens Pierre-Marie de Rodat 2024-06-04 12:38:25 +00:00
  • 7fb0c81c8e Unparsing: minor refactoring Pierre-Marie de Rodat 2024-06-04 10:02:24 +00:00
  • 221686057b ada_api/unparsing: extend the test language Pierre-Marie de Rodat 2024-06-04 09:13:34 +00:00
  • aaff0b6111 Unparsing: introduce the Flush_Line_Breaks internal node Pierre-Marie de Rodat 2024-06-03 14:25:42 +00:00
  • b524972637 Merge branch 'mr/pmderodat/doc-derivations' into 'master' Pierre-Marie de Rodat 2024-06-07 14:29:42 +00:00
  • 9c54846290 Automatic node documentations: minor rewording Pierre-Marie de Rodat 2024-06-07 09:13:41 +00:00
  • cf4cf0d76d Merge branch 'mr/pmderodat/doc-derivations' into 'master' Pierre-Marie de Rodat 2024-06-07 08:33:40 +00:00
  • b67258d522 Add direct derivations to the docstring of all node types Pierre-Marie de Rodat 2024-06-06 08:17:20 +00:00
  • 3e9ee25f12 Merge branch 'mr/pmderodat/homonym-lazy-fields' into 'master' Pierre-Marie de Rodat 2024-06-07 08:27:16 +00:00
  • 7fc0190cbf Fix Ada code generation for homonym lazy fields Pierre-Marie de Rodat 2024-06-06 14:36:54 +00:00
  • 5c19eca93e Merge branch 'mr/pmderodat/types_from_lkt' into 'master' Pierre-Marie de Rodat 2024-06-07 08:26:48 +00:00
  • 70c211d87e properties/n_propagate: revert spurious types_from_lkt flip Pierre-Marie de Rodat 2024-06-06 14:40:49 +00:00
  • 7beb7b656b Merge branch 'sync/mr/pmderodat/unparsing-comments-preparatory' into 'master' Pierre-Marie de Rodat 2024-06-05 13:09:35 +00:00
  • 27bfd621e1 Unparsing: remove empty lists/singletons after spacing insertion Pierre-Marie de Rodat 2024-05-31 14:17:13 +00:00
  • 8681ee54df Unparsing: remove ifBreak nodes when the group is known to be broken Pierre-Marie de Rodat 2024-05-30 09:20:17 +00:00
  • f1a3d8fe5b Unparsing: add heuristics to detect broken groups Pierre-Marie de Rodat 2024-05-29 18:12:22 +00:00
  • ea35163bb9 Unparsing: introduce the Expected_Whitespaces internal node Pierre-Marie de Rodat 2024-05-29 13:20:18 +00:00
  • 39735fd0bc Unparsing: introduce the Expected_Line_Breaks internal node Pierre-Marie de Rodat 2024-05-29 09:39:19 +00:00
  • 8e9f501602 Unparsing: make --traces/-t an "accumulate" option Pierre-Marie de Rodat 2024-05-29 09:34:01 +00:00
  • 5e1fbb60d0 Langkit_Support.Names: add an Image debug helper Pierre-Marie de Rodat 2024-05-28 08:56:13 +00:00
  • 0c8799db5c Unparsing: fix a comment typo Pierre-Marie de Rodat 2024-05-28 07:36:15 +00:00
  • 6f17b90e29 Merge branch 'prettier_ada_issue_21' into 'master' João Azevedo 2024-06-04 16:03:37 +00:00
  • d7bcb229c6 Update format options due to API change in Prettier-Ada Joao Azevedo 2024-06-04 13:12:36 +00:00
  • 0b5978d640 Merge branch 'topic/791' into 'master' Romain Béguet 2024-06-03 10:32:24 +00:00
  • 056640b7f7 NPropagate: fix codegen when the array is given through a Var. Romain Beguet 2024-05-30 18:32:55 +02:00
  • bc1fa1a7ad Merge branch 'topic/java_api/array_wrappers' into 'master' Hugo Guerrier 2024-05-30 14:22:47 +00:00
  • bd2f305149 minor: Ensure that 'ast_wrapping' parameter is always named Hugo Guerrier 2024-05-30 12:22:46 +02:00
  • 5b5d8c6cc4 Add array of primitive types support Hugo Guerrier 2024-05-13 12:17:17 +02:00
  • f9a7663a44 Merge branch 'topic/791' into 'master' Romain Béguet 2024-05-30 13:26:16 +00:00
  • f5dc1b2e65 Allow using NPropagate atoms with a variable number of logic vars. Romain Beguet 2024-05-27 16:52:38 +02:00
  • 3f33af90bf Fix codegen of converters which property is defined on the root node. Romain Beguet 2024-05-28 17:36:00 +02:00
  • 5efffd335e Merge branch 'remove_camomile' into 'master' Daniel Mercier 2024-05-30 10:46:14 +00:00
  • 59164e67ff Remove dependency to Camomile Daniel Mercier 2024-05-24 16:46:22 +02:00
  • 426e137033 Merge branch 'mr/pmderodat/exc-sym-stack' into 'master' Pierre-Marie de Rodat 2024-05-29 10:22:24 +00:00
  • a998c198dd Bind libraries and programs with -E/-Es depending on build mode Pierre-Marie de Rodat 2024-05-21 15:10:56 +00:00
  • 5572114a97 Merge branch 'mr/pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2024-05-28 15:33:52 +00:00
  • 9ee978dcc1 Generic_API: bind Is_Comment to Analysis Pierre-Marie de Rodat 2024-05-21 14:20:59 +00:00
  • 7621fd4907 ada_api/generic_api: rework tests for token primitives a bit Pierre-Marie de Rodat 2024-05-21 14:18:23 +00:00
  • 3ce44aef15 Generic API: make Is_Trivia return False on No_Lk_Token Pierre-Marie de Rodat 2024-05-21 13:50:00 +00:00
  • 3315175254 Minor comment fix Raphaël AMIARD 2024-05-15 12:12:30 +02:00
  • c70f9b8d21 Merge branch 'mr/pmderodat/utf-c-converters' into 'master' Pierre-Marie de Rodat 2024-05-28 14:48:14 +00:00
  • e7507767ed C API: expose UTF8/UTF32 converters Pierre-Marie de Rodat 2024-05-23 14:58:08 +00:00
  • abf0828d20 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-05-28 14:11:17 +00:00
  • 07218ed24a Merge branch 'mr/pmderodat/24.2' into '24.2' 24.2 Pierre-Marie de Rodat 2024-05-27 09:01:43 +00:00
  • 81c164b7dc langkit/windows.py: fix Python 3.8 handling Pierre-Marie de Rodat 2024-01-18 15:24:13 +00:00
  • 646222d90d Unparsing: start using GNACOLL.Traces for logging Pierre-Marie de Rodat 2024-05-24 11:51:35 +00:00
  • 0a364c78c3 Merge branch 'mr/pmderodat/unparsing-default-config' into 'master' Pierre-Marie de Rodat 2024-05-24 13:55:07 +00:00
  • 2467c2962b Unparsing: introduce built-in default configs for generated libraries Pierre-Marie de Rodat 2024-05-23 12:00:07 +00:00
  • 2e112f8870 Merge branch 'mr/pmderodat/first-controlling-parameter' into 'master' Pierre-Marie de Rodat 2024-05-23 13:53:33 +00:00
  • ee8a85b492 $.Analysis: add the First_Controlling_Parameter aspect for node types Pierre-Marie de Rodat 2024-05-22 12:24:55 +00:00
  • eef116f039 Merge branch 'mr/pmderodat/env-get-empty-log' into 'master' Pierre-Marie de Rodat 2024-05-23 08:52:10 +00:00
  • 3b8a9d3071 Lexical envs: fix logging involving the empty environment Pierre-Marie de Rodat 2024-05-22 14:30:15 +00:00
  • 198355b7ff Merge branch 'mr/pmderodat/lkt-filter-at' into 'master' Pierre-Marie de Rodat 2024-05-22 12:59:07 +00:00
  • 160305fee7 dsl_unparse: fix unparsing of .filter(...).at(0) Pierre-Marie de Rodat 2024-05-15 14:20:16 +00:00
  • 97617a5e0b Merge branch 'mr/pmderodat/lkt-local-vars' into 'master' Pierre-Marie de Rodat 2024-05-22 12:25:39 +00:00
  • e66b862976 AbstractVariable: assert creating of local var happens before construct Pierre-Marie de Rodat 2024-05-21 13:11:38 +00:00
  • e500d6d4dd CallExpr: fix __repr__ Pierre-Marie de Rodat 2024-05-21 11:53:20 +00:00
  • 7bb4f65c9a Merge branch 'mr/pmderodat/lkt-lower-types' into 'master' Pierre-Marie de Rodat 2024-05-22 12:13:45 +00:00
  • c90be4f3d6 Lkt: resolve all deferred types before expression lowering Pierre-Marie de Rodat 2024-05-16 13:15:28 +00:00
  • 60589ebff7 Register the EntityInfo and Metadata types in the type dict Pierre-Marie de Rodat 2024-05-16 12:53:00 +00:00
  • 07651802a2 Merge branch 'topic/lal_1384' into 'master' Romain Béguet 2024-05-21 14:16:02 +00:00
  • 20490b2420 Clear a reparsed unit's set of referenced units before re-running PLE. Romain Beguet 2024-05-21 14:42:25 +02:00
  • c93398b341 Merge branch 'topic/710' into 'master' Romain Béguet 2024-05-21 10:07:36 +00:00
  • 1c1e07d314 Fix memoization being cancelled on properties being overriden. Romain Beguet 2024-05-17 15:30:43 +02:00
  • b67094e317 Merge branch 'mr/pmderodat/clean-main.py' into 'master' Pierre-Marie de Rodat 2024-05-17 12:26:40 +00:00
  • b9cc773886 Testsuite: remove useless main.py scripts Pierre-Marie de Rodat 2024-05-15 14:22:30 +00:00
  • 5bc647aa79 Merge branch 'mr/pmderodat/lkt-op-prec' into 'master' Pierre-Marie de Rodat 2024-05-16 13:15:20 +00:00
  • 2b4999ae89 Lkt: fix operator precedence for "X in Y" Pierre-Marie de Rodat 2024-05-15 13:08:11 +00:00
  • 79b0e6604d dsl_unparse: fix handling of operator precedence (parens where needed) Pierre-Marie de Rodat 2024-05-15 12:43:19 +00:00
  • b4f2ae1889 Merge branch 'mr/pmderodat/lkt-opt-error' into 'master' Pierre-Marie de Rodat 2024-05-16 08:13:31 +00:00
  • 0ba42e23e9 Lkt: add support for "opt error" parsers Pierre-Marie de Rodat 2024-05-15 14:53:34 +00:00
  • 1ad953a312 Merge branch 'mr/pmderodat/lkt-var-masking' into 'master' Pierre-Marie de Rodat 2024-05-16 08:13:17 +00:00
  • a232e92352 Lkt: fix handling of masking value declarations Pierre-Marie de Rodat 2024-05-15 13:41:44 +00:00
  • f255928a39 Merge branch 'mr/pmderodat/lkt-to-big-int' into 'master' Pierre-Marie de Rodat 2024-05-16 08:13:04 +00:00
  • d35b76e8a5 Lkt: add handling for int-to-big-int conversions Pierre-Marie de Rodat 2024-05-15 13:54:19 +00:00
  • 5c3fc74b1b Merge branch 'mr/pmderodat/lkt-mmz' into 'master' Pierre-Marie de Rodat 2024-05-16 08:12:47 +00:00
  • 130f0598e1 dsl_unparse: complete handling for memoization annotations Pierre-Marie de Rodat 2024-05-15 14:31:48 +00:00
  • e6da427f44 Merge branch 'mr/pmderodat/lkt-parens-cast' into 'master' Pierre-Marie de Rodat 2024-05-14 13:57:24 +00:00
  • 7f85637c87 dsl_unparse: add parens when needed in the prefix of cast expressions Pierre-Marie de Rodat 2024-05-14 08:14:07 +00:00
  • 6990660b7a Merge branch 'mr/pmderodat/lkt-prop-false' into 'master' Pierre-Marie de Rodat 2024-05-14 13:57:14 +00:00
  • 8c93ee6ce2 dsl_unparse: fix the handling of "False" properties Pierre-Marie de Rodat 2024-05-13 15:09:45 +00:00