Commit Graph

  • 2b8daa645d Fix CaseExpr's xref_equation Laurent Thévenoux 2025-07-31 17:19:40 +02:00
  • c8460879df minor: reformat CaseExpr.xref_equation Laurent Thévenoux 2025-08-01 10:19:26 +02:00
  • d049acb98b Merge branch 'topic/taint_aspects' into 'master' Daniel Mercier 2025-07-25 16:03:51 +00:00
  • d2fee07951 Add equations for GNATSAS aspects Taint_<property> Daniel Mercier 2025-07-17 16:47:50 +02:00
  • 266c9b365b Merge branch 'mr/pmderodat/release-script' into 'master' Pierre-Marie de Rodat 2025-07-24 08:53:25 +00:00
  • 217c35bb90 utils/release.sh: prepare for release 26 Pierre-Marie de Rodat 2025-07-23 09:53:22 +00:00
  • d66fa86019 Merge branch 'topic/523/24-sus' into '24-sustained' Laurent Thévenoux 2025-07-23 09:43:52 +00:00
  • ac2d39df2e Fix get_primitives regarding non-inherited late primitives Laurent Thévenoux 2025-07-15 14:05:03 +02:00
  • 5bf7d97ff3 Merge branch 'topic/gnatcoll-core/132' into 'master' Laurent Thévenoux 2025-07-17 09:06:12 +00:00
  • d28ed8433b Revert "XFAIL project_error_4 test because of a GNATCOLL.Opt_Parse issue" Laurent Thévenoux 2025-07-17 09:49:45 +02:00
  • 40c28fbb39 Merge branch 'topic/lkql/523' into 'master' Laurent Thévenoux 2025-07-16 14:12:29 +00:00
  • 4080f7d81a Fix get_primitives regarding non-inherited late primitives Laurent Thévenoux 2025-07-15 14:05:03 +02:00
  • 29b01205f9 Merge branch 'topic/gnatcoll-core/132' into 'master' Laurent Thévenoux 2025-07-16 11:57:37 +00:00
  • dc225a1f4f XFAIL project_error_4 test because of a GNATCOLL.Opt_Parse issue Laurent Thévenoux 2025-07-15 17:20:11 +02:00
  • 437ad5145d Merge branch 'topic/1568' into 'master' Laurent Thévenoux 2025-07-09 13:46:28 +00:00
  • 50ca4e344e Improve error recovery when parsing incomplete package declaration Laurent Thévenoux 2025-07-09 14:22:09 +02:00
  • 60aa52af6f Merge branch 'mr/pmderodat/unparsing-record-long-comment' into 'master' Pierre-Marie de Rodat 2025-07-09 08:01:18 +00:00
  • 3c80e496f2 Unparsing: fix formatting of long comments in record type declarations Pierre-Marie de Rodat 2025-07-02 12:16:57 +00:00
  • 728e4d8c05 Merge branch 'mr/pmderodat/cb' into 'master' Pierre-Marie de Rodat 2025-07-08 14:46:53 +00:00
  • 871ed3ba42 CB: do not override GPR2 sources Pierre-Marie de Rodat 2025-07-08 14:47:28 +02:00
  • a610c2c4db gitlab-ci.plan: do not build gnatformat explicitly Pierre-Marie de Rodat 2025-07-08 14:43:20 +02:00
  • bc17bbd124 Merge branch 'mr/pmderodat/unparsing-config-error-synth' into 'master' Pierre-Marie de Rodat 2025-07-08 12:20:27 +00:00
  • 28b7af7f41 Remove node configs for error nodes from the default unparsing config Pierre-Marie de Rodat 2025-07-08 09:02:23 +00:00
  • 086de17aba Merge branch 'mr/gnatformat_issue_194' into 'master' Monika Kurovszky 2025-07-08 10:18:45 +00:00
  • b573e3cb61 Unparsing: Add whitespace around colon in ForLoopVarDecl Joao Azevedo 2025-06-11 11:02:04 +00:00
  • 461ad6bdda Merge branch 'mr/pmderodat/intra-test-jobs' into 'master' Pierre-Marie de Rodat 2025-07-03 13:52:42 +00:00
  • a0aea80489 Testsuite: add an --intra-test-jobs command line argument Pierre-Marie de Rodat 2025-06-30 15:07:55 +00:00
  • 89afac143f Merge branch 'mr/pmderodat/lkt-unused-entities' into 'master' Pierre-Marie de Rodat 2025-06-27 13:53:44 +00:00
  • c10a5391fe ada/nodes.lkt: fix warning about unused lambda args Pierre-Marie de Rodat 2025-06-11 13:54:35 +00:00
  • 57f38341bf Merge branch 'mr/gnatformat_issue_196' into 'master' Monika Kurovszky 2025-06-27 10:20:02 +00:00
  • 629b8a9520 Unparsing: fix indentation of Subunit Joao Azevedo 2025-06-11 13:31:51 +00:00
  • 8577b7473b Merge branch 'topic/1563' into 'master' Laurent Thévenoux 2025-06-25 13:41:28 +00:00
  • 569a9426ec Improve record representation clause completion suggestions Laurent Thévenoux 2025-06-09 16:51:22 +02:00
  • 307c30a2d4 Merge branch 'topic/lkql/generic' into 'master' Laurent Thévenoux 2025-06-25 12:13:04 +00:00
  • ca07fe6c69 Adapt Java API to the generic LangkitSupport interface Laurent Thévenoux 2025-04-14 15:49:58 +02:00
  • 0e9e776a5b Merge branch 'topic/1565' into 'master' Laurent Thévenoux 2025-06-25 11:23:00 +00:00
  • da8e6d4a58 Fix support for Pre/Post_Class pragmas Laurent Thévenoux 2025-06-19 12:25:20 +02:00
  • 4eb287388a Reformat get_aspect_impl property Laurent Thévenoux 2025-06-19 11:31:34 +02:00
  • bd4e6bf4db Make has_aspect test valid Ada Laurent Thévenoux 2025-06-19 11:24:32 +02:00
  • 7fce2ae90d Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-06-17 12:18:02 +00:00
  • f45544ea73 User Manual: switch to lkm Pierre-Marie de Rodat 2025-06-17 09:13:52 +00:00
  • 9645f37584 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2025-06-17 09:15:17 +00:00
  • 27f0a99c59 ada/nodes.lkt: remove unused dynamic variable bindings Pierre-Marie de Rodat 2025-06-11 13:51:00 +00:00
  • b79d62384b Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-06-09 13:19:49 +00:00
  • 439f2ecf4a Add Langkit_Support.Generic_API to Libadalang's User Manual Pierre-Marie de Rodat 2025-06-03 12:49:26 +00:00
  • 178baadfb7 Merge branch 'topic/langkit_946' into 'master' Romain Béguet 2025-06-03 14:50:47 +00:00
  • f2804bc0d2 Add documentation for 'primitives' ref category. Romain Beguet 2025-06-03 15:09:19 +02:00
  • e0f370219d Rename 'inherited_primitives' category to 'primitives'. Romain Beguet 2025-05-28 14:42:23 +02:00
  • e7e2f56262 Properly categorize use type clauses as referenced primitives. Romain Beguet 2025-03-20 08:39:44 +01:00
  • 527018ddef Merge branch 'mr/pmderodat/pred-format' into 'master' Pierre-Marie de Rodat 2025-06-03 11:54:55 +00:00
  • 4a08ab7b38 libadalang-semantic_diagnostics.adb: add a comment about escape seqs. Pierre-Marie de Rodat 2025-05-20 09:50:00 +00:00
  • 8cb529fd0f nodes.lkt: minor reformatting Pierre-Marie de Rodat 2025-05-20 09:49:33 +00:00
  • 94f77826cc Merge branch 'mr/pmderodat/reformatting' into 'master' Pierre-Marie de Rodat 2025-06-03 08:17:55 +00:00
  • e2863d9d92 Fix indentation of comments in multiple extension sources Pierre-Marie de Rodat 2025-05-22 12:47:07 +00:00
  • e98f672d86 Merge branch 'mr/pmderodat/windows' into 'master' Pierre-Marie de Rodat 2025-05-26 14:00:01 +00:00
  • 15a4e893dc ada_api/gpr2_missing_file: use To_UTF8 instead of Image Pierre-Marie de Rodat 2025-05-26 13:27:07 +00:00
  • 59add10697 Merge branch 'topic/from_origin' into 'master' Raphaël Amiard 2025-05-26 13:44:01 +00:00
  • ddeaee4806 Preemptively adapt to from being a kw in Langkit Raphaël AMIARD 2025-05-22 15:46:58 +02:00
  • 899bb774e3 Merge branch 'topic/1560' into 'master' Romain Béguet 2025-05-26 11:36:37 +00:00
  • 0dc5ed26c9 Allow any integer type in the To_Address attribute. Romain Beguet 2025-05-23 14:24:09 +02:00
  • 61c9b01b4c Merge branch 'mr/pmderodat/gpr-missing-file' into 'master' Pierre-Marie de Rodat 2025-05-23 15:22:13 +00:00
  • 8ebce96c7a Libadalang.Project_Provider.Default_Filename_For_Unit: fix crashes Pierre-Marie de Rodat 2025-05-23 13:22:17 +00:00
  • 6741a4e0bd Merge branch 'topic/1557' into 'master' Romain Béguet 2025-05-23 10:03:07 +00:00
  • f49dd0fd32 Handle arbitrary expression as container aggregate's LHS. Romain Beguet 2025-05-22 17:35:16 +02:00
  • 3547ec0121 Add missing case of specifying custom aggregates. Romain Beguet 2025-05-22 15:43:28 +02:00
  • 123fa03f85 Refactor processing of Aggregate aspect assocs. Romain Beguet 2025-05-22 15:35:45 +02:00
  • 30ab0ed62f Merge branch 'mr/pmderodat/prep-error-long-filename' into 'master' Pierre-Marie de Rodat 2025-05-23 09:24:21 +00:00
  • ced712b2f4 Preprocessing: inculde the basename only in error messages Pierre-Marie de Rodat 2025-05-22 08:49:45 +00:00
  • abb5c5aac5 Merge branch 'mr/pmderodat/gpr-missing-file' into 'master' Pierre-Marie de Rodat 2025-05-23 07:42:04 +00:00
  • 86e2d5df95 Libadalang.Project_Provider: use naming convention for missing files Pierre-Marie de Rodat 2025-04-15 09:46:22 +00:00
  • 8f1bef819f Libadalang.Unit_Files.Unit_String_Name: fix handling of chars 128 .. 255 Pierre-Marie de Rodat 2025-04-16 16:11:29 +02:00
  • 62483da15f Merge branch 'topic/inline_always' into 'master' Raphaël Amiard 2025-05-19 13:29:59 +00:00
  • d208d3f55e Add support for Inline_Always Raphaël AMIARD 2025-02-12 09:48:31 +01:00
  • 2febb4ae8d Merge branch 'mr/pmderodat/file-readers' into 'master' Pierre-Marie de Rodat 2025-05-13 16:06:24 +00:00
  • 4102860ab0 Libadalang.Preprocessing: expose file refiners for preprocessing Pierre-Marie de Rodat 2025-04-22 09:41:08 +00:00
  • 7085f9fa27 libadalang-preprocessing.adb: remove an obsolete comment Pierre-Marie de Rodat 2025-04-22 08:15:05 +00:00
  • f11400a399 Merge branch 'topic/1556' into 'master' Romain Béguet 2025-05-07 14:31:40 +00:00
  • fc5be8aa3e Fix is_definite_subtype for chained subtype declarations. Romain Beguet 2025-05-07 16:11:59 +02:00
  • 558290e47a Merge branch 'mr/gnatformat_183' into 'master' João Azevedo 2025-04-29 15:26:46 +00:00
  • c622ef2f0c Unparsing: fix (Generic)SubpRenamingDecl regression Joao Azevedo 2025-04-28 16:46:02 +00:00
  • 85d1ff68cd Merge branch 'mr/gnatformat_179_181' into 'master' João Azevedo 2025-04-23 19:41:01 +00:00
  • 57240d3ef5 Unparsing: improve loop specs, quantified exprs and iterated assocs Joao Azevedo 2025-04-15 08:13:08 +00:00
  • 1b82c278ab Merge branch 'mr/gnatformat_178' into 'master' João Azevedo 2025-04-23 17:01:29 +00:00
  • 66746ec4ae Unparsing: line break after 'renames' keyword Joao Azevedo 2025-04-15 07:24:15 +00:00
  • 0b9fe4581f Merge branch 'mr/gnatformat_180' into 'master' João Azevedo 2025-04-23 13:30:27 +00:00
  • 3116181396 Unparsing: align comments with the when keyword on case stmts Joao Azevedo 2025-04-15 10:16:11 +00:00
  • a85a5a1644 Merge branch 'topic/1550' into 'master' Romain Béguet 2025-04-17 13:16:07 +00:00
  • 11039ddf1c Remove invalid usage of custom empty env for optimization purposes. Romain Beguet 2025-03-10 16:20:42 +01:00
  • 610c640214 Merge branch 'topic/1554' into 'master' Romain Béguet 2025-04-17 09:54:58 +00:00
  • 83d068da5d Test Lkt typer on Ada spec. Romain Beguet 2025-04-17 11:13:21 +02:00
  • 5d47af3bf3 Merge branch 'mr/pmderodat/generic-rewriting' into 'master' Pierre-Marie de Rodat 2025-04-16 14:35:55 +00:00
  • 9cab4078cd extensions/src: update after recent internal API changes in Langkit Pierre-Marie de Rodat 2025-04-04 14:19:09 +00:00
  • b14012da42 Merge branch 'topic/remove_referenced_from' into 'master' Romain Béguet 2025-04-16 14:23:07 +00:00
  • 17a3204f0a Use Set types for faster lookups. Romain Beguet 2025-04-09 12:33:41 +02:00
  • 657c921ed3 Do not rely on referenced_from anymore. Romain Beguet 2025-03-28 09:59:11 +01:00
  • f960516da2 Handle package renamings in withed_units property. Romain Beguet 2025-03-28 09:53:29 +01:00
  • 40600d0eb4 Merge branch 'topic/1551' into 'master' Romain Béguet 2025-04-16 13:09:57 +00:00
  • c54deec29e Make [base/root]_subp_decls work on untagged types as well. Romain Beguet 2025-04-02 17:41:05 +02:00
  • f2cf54e56e Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2025-04-16 06:15:14 +00:00
  • 9bac71f9dc Testsuite: use lal_unparse to check unparsing Pierre-Marie de Rodat 2025-04-08 13:08:35 +00:00