Commit Graph

  • f7e4d9f993 Merge branch 'topic/incrementality_driver' into 'master' Romain Béguet 2025-04-02 13:08:12 +00:00
  • 233ddefc63 Add incrementality test driver. Romain Beguet 2025-02-18 11:29:57 +01:00
  • ffe3963101 Merge branch 'topic/fix_find_all_overrides' into 'master' Romain Béguet 2025-03-31 13:18:48 +00:00
  • e7d6ac9ff9 Avoid considering a type completion in find_derived_types. Romain Beguet 2025-03-31 10:20:16 +02:00
  • ade34e7a47 Make sure find_all_overrides doesn't contain self. Romain Beguet 2025-03-28 18:56:36 +01:00
  • e83dec5e4c Merge branch 'mr/pmderodat/null-cond-subscript' into 'master' Pierre-Marie de Rodat 2025-03-27 15:45:38 +00:00
  • a48826bcba Replace a?[i] with a.at(i) after a recent Lkt language change Pierre-Marie de Rodat 2025-03-26 09:04:08 +00:00
  • b961247483 Merge branch 'topic/1548' into 'master' Laurent Thévenoux 2025-03-26 14:50:20 +00:00
  • 69552e770f Refactor gnat_xref_decl to avoid Lkt warning Laurent Thévenoux 2025-03-26 15:20:25 +01:00
  • 120e30eeee Merge branch 'mr/pmderodat/canonicalize-line-endings' into 'master' Pierre-Marie de Rodat 2025-03-26 14:03:27 +00:00
  • 107fb88d93 Libadalang.Doc_Utils: do not strip trailing CR chars anymore Pierre-Marie de Rodat 2025-03-26 11:16:46 +00:00
  • 9d442c2a71 Merge branch '25.2-1525' into '25.2' 25.2 Romain Béguet 2025-03-24 13:45:02 +00:00
  • 9c99370f18 Avoid unnecessary lookups when resolving Ghost aspect. Romain Beguet 2025-01-20 11:56:39 +01:00
  • 1a5b8b247b Minor: reformat get_aspect_on_parts property. Romain Beguet 2025-01-17 15:56:46 +01:00
  • 3058ed58f2 Merge branch 'topic/1546' into 'master' Romain Béguet 2025-03-24 10:03:59 +00:00
  • 4abb5fcac9 Avoid filling metadata on direct primitives. Romain Beguet 2025-03-18 12:02:40 +01:00
  • 8c6ad57a21 Merge branch 'mr/pmderodat/parser-null-qualifier' into 'master' Pierre-Marie de Rodat 2025-03-24 08:59:57 +00:00
  • a2960b637d Remove spurious @nullable on some parse fields after a Langkit bug fix Pierre-Marie de Rodat 2025-03-20 15:50:48 +00:00
  • e35d6dfce6 Merge branch 'mr/gnatformat_issue_172' into 'master' João Azevedo 2025-03-17 15:15:01 +00:00
  • 1c63cf61ce Unparsing: remove extra space after BoxExpr in OrdianryFixedPointDef Joao Azevedo 2025-03-17 12:25:01 +00:00
  • 70c1cd3f2d Merge branch 'topic/1539' into 'master' Laurent Thévenoux 2025-03-14 13:56:03 +00:00
  • 91865842ec Fix Result attribute reference support Laurent Thévenoux 2025-02-18 16:03:35 +01:00
  • 9d4e0de433 Merge branch 'mr/pmderodat/printenv' into 'master' Pierre-Marie de Rodat 2025-03-13 13:20:56 +00:00
  • de4976fcd7 User Manual: update after the renaming of "lkm setenv" to "lkm printenv" Pierre-Marie de Rodat 2025-03-10 16:09:51 +00:00
  • 2fa171e6c0 Merge branch 'mr/pmderodat/gpr' into 'master' Pierre-Marie de Rodat 2025-03-12 16:56:43 +00:00
  • 0321c2d7c9 Update test baselines after a change in gprconfig Pierre-Marie de Rodat 2025-03-12 16:37:46 +00:00
  • 496b092fc0 Merge branch 'mr/pmderodat/lazy-stack-traces' into 'master' Pierre-Marie de Rodat 2025-03-10 13:49:40 +00:00
  • cca65df6f0 Update Ada extensions after a recent Langkit API change Pierre-Marie de Rodat 2025-02-17 11:40:19 +00:00
  • 99b21a2582 Merge branch 'mr/gnatformat_168' into 'master' João Azevedo 2025-03-06 18:22:24 +00:00
  • cb27d46c98 Unparsing: improve comments indentation in IfStmts Joao Azevedo 2025-03-06 16:34:38 +00:00
  • babb4ab742 Merge branch 'mr/gnatformat_169' into 'master' João Azevedo 2025-03-06 17:28:54 +00:00
  • 96c54b0689 Improve IfExpr style by having each part on its own line Joao Azevedo 2025-03-06 16:51:05 +00:00
  • 12369648de Merge branch 'topic/1465' into 'master' Laurent Thévenoux 2025-03-06 09:39:39 +00:00
  • e18235c0ad Add support for the External_Initialization aspect Laurent Thévenoux 2024-10-04 17:14:05 +02:00
  • 13165d7c1a Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-27 13:44:40 +00:00
  • 78fbc449c2 Update after a recent Langkit internal code generation change Pierre-Marie de Rodat 2025-01-30 15:43:09 +00:00
  • ff104102e9 Merge branch 'topic/1541' into 'master' Romain Béguet 2025-02-26 14:13:58 +00:00
  • f8a651d71a Remove spurious binds to a null logic context. Romain Beguet 2025-02-19 14:34:42 +01:00
  • cd9149a85b Merge branch 'mr/pmderodat/support-mail' into 'master' Pierre-Marie de Rodat 2025-02-26 10:16:23 +00:00
  • 04adc26d7f Replace occurrences of report@adacore.com with support@ Pierre-Marie de Rodat 2025-02-25 14:41:07 +01:00
  • cc17d25384 Merge branch 'mr/pmderodat/gpr2-doc' into 'master' Pierre-Marie de Rodat 2025-02-25 19:18:40 +00:00
  • 94755ec059 User Manual: update the Ada API tutorial to use GPR2 Pierre-Marie de Rodat 2025-02-25 14:38:27 +01:00
  • 04127ba50a Merge branch 'topic/1509' into 'master' Laurent Thévenoux 2025-02-24 09:58:54 +00:00
  • 7a58e196b7 Add is_statically_constrained properties Laurent Thévenoux 2025-02-11 15:20:35 +01:00
  • 9e09a926b0 Fix array index detection Laurent Thévenoux 2024-12-16 17:27:55 +01:00
  • 16b02c7a04 Fix is_static_subtype implementation Laurent Thévenoux 2025-01-30 15:21:46 +01:00
  • a116f45947 Fix is_static_subtype regarding predicate-static expressions Laurent Thévenoux 2025-01-22 16:15:08 +01:00
  • 90787cc8e4 Fix get_aspect property regarding subtype predicates Laurent Thévenoux 2025-01-23 14:07:17 +01:00
  • 623ce9b86f Fix p_is_definite_subtype Laurent Thévenoux 2025-01-21 10:41:30 +01:00
  • 6df6db7fc7 Merge branch 'topic/1164' into 'master' Romain Béguet 2025-02-24 09:25:55 +00:00
  • 64fffc75f8 Take predicates into account when computing a subtype's range. Romain Beguet 2025-02-11 14:39:23 +01:00
  • 97b02af49f Add discrete_range for enums. Romain Beguet 2025-02-07 17:05:26 +01:00
  • 0f06b11079 Implement choice match for static ranges. Romain Beguet 2025-02-04 15:13:30 +01:00
  • 164a006c4f Minor: remove dead branch. Romain Beguet 2025-02-11 17:31:39 +01:00
  • 7855e3da89 Merge branch 'mr/gnatformat_issue_165' into 'master' João Azevedo 2025-02-19 09:57:52 +00:00
  • 4df680ff82 Unparsing: fix config for formal derived type decls Joao Azevedo 2025-02-18 17:42:51 +00:00
  • e361f38b40 Merge branch 'mr/gnatformat_issue_160' into 'master' João Azevedo 2025-02-18 14:04:27 +00:00
  • ad18bcc1f6 Unparsing: fix DeltaAggregate config Joao Azevedo 2025-02-11 08:24:39 +00:00
  • 1a26b42dcf Merge branch 'mr/pmderodat/lkt-null-cond' into 'master' Pierre-Marie de Rodat 2025-02-12 17:18:00 +00:00
  • e4c10c4c6b ada/nodes.lkt: fix invalid null-conditional expressions Pierre-Marie de Rodat 2025-02-11 16:37:45 +00:00
  • b9d24c1350 Merge branch 'topic/gnat_1304' into 'master' Romain Béguet 2025-02-12 16:46:35 +00:00
  • 54cf2dffae Adapt to removal of Big_Integers_Ghost package. Romain Beguet 2025-02-12 17:21:49 +01:00
  • df69398777 Merge branch 'topic/1466' into 'master' Romain Béguet 2025-02-06 16:19:42 +00:00
  • 6ad606842f Add regression test for toposort failure. Romain Beguet 2025-01-31 10:23:13 +01:00
  • a107df39fb Merge branch 'mr/gnatformat_142' into 'master' João Azevedo 2025-02-05 11:28:50 +00:00
  • 787e5b8766 Unparsing: add config for AbstractFormalSubpDecl Joao Azevedo 2025-01-29 22:41:58 +00:00
  • fd03e03182 Merge branch 'mr/gnatformat_155' into 'master' João Azevedo 2025-02-05 11:05:44 +00:00
  • 2d6318decb Unparsing: homogenize Type nodes config Joao Azevedo 2025-01-31 15:17:03 +00:00
  • 169f87c009 Merge branch 'mku/issue_143' into 'master' Monika Kurovszky 2025-02-05 09:01:11 +00:00
  • dbb367779e UNparsing: remove extra white space before ; in incomplete formal types Monika Kurovszky 2025-01-31 11:57:47 +01:00
  • 216ba20d4a Merge branch 'mr/gnatformat_137' into 'master' João Azevedo 2025-02-04 19:15:58 +00:00
  • 836b06b1ab Unparsing: fix comments in RelationOp nodes Joao Azevedo 2025-01-29 21:04:21 +00:00
  • c920d87861 Merge branch 'mr/gnatformat_144' into 'master' João Azevedo 2025-02-04 18:43:05 +00:00
  • 1d184cf269 Unparsing: add UpdateAttributeRef config Joao Azevedo 2025-01-29 22:27:30 +00:00
  • a48260b475 Merge branch 'mr/gnatformat_120' into 'master' João Azevedo 2025-02-04 17:46:22 +00:00
  • 55e72118e1 Unparsing: avoid line break between library item and its comment Joao Azevedo 2025-01-28 17:06:10 +00:00
  • 586d477a45 Merge branch 'mku/fix_issue_136' into 'master' Monika Kurovszky 2025-02-04 16:44:57 +00:00
  • 766fe4429e Unparsing: remove extra whitespace before null record in :wq!parathesis Monika Kurovszky 2025-01-31 11:02:45 +01:00
  • 9bd58ca56b Merge branch 'topic/1402' into 'master' Romain Béguet 2025-02-04 16:02:35 +00:00
  • 4b0b13f1b4 Add tests of private visibility. Laurent Thévenoux 2024-07-03 14:26:59 +02:00
  • 900aeb26a6 Fix visibility on private declarations. Romain Beguet 2025-01-28 16:35:12 +01:00
  • 20ed13e2b5 Fix visibility on private withs from nested packages. Romain Beguet 2025-01-27 17:27:24 +01:00
  • d0e9775843 Merge branch 'mku/protected_decl_align' into 'master' Monika Kurovszky 2025-01-28 18:50:33 +00:00
  • 20e949cb0d Unparsing: update config file to align DeclList elements Monika Kurovszky 2025-01-28 17:44:27 +01:00
  • f61304a1fb Merge branch 'mr/gnatformat_114' into 'master' João Azevedo 2025-01-28 16:54:04 +00:00
  • 1cc3fbd3af Unparsing: align exceptions on the colon token Joao Azevedo 2025-01-28 15:39:11 +00:00
  • fa6fdfe6c6 Merge branch 'mr/gnatformat_126' into 'master' João Azevedo 2025-01-28 16:15:47 +00:00
  • 9d3996d5fd Unparsing: do not add spaces before and after OpPow Joao Azevedo 2025-01-28 14:52:41 +00:00
  • c955289e2f Merge branch 'mku/generic_subp_decl' into 'master' Monika Kurovszky 2025-01-24 10:45:10 +00:00
  • 17bf990802 Unparsing: update configuration file to fix generics formatting issues Monika Kurovszky 2025-01-22 17:10:35 +01:00
  • 28ec999953 Merge branch 'mr/pmderodat/remove-change-entries' into 'master' Pierre-Marie de Rodat 2025-01-22 15:12:52 +00:00
  • 27d123fb12 Users Manual: remove change entries Pierre-Marie de Rodat 2025-01-22 14:28:30 +00:00
  • db32266838 Merge branch 'mr/pmderodat/prep-doc' into 'master' Pierre-Marie de Rodat 2025-01-21 17:22:12 +00:00
  • 425ce88c2d libadalang-preprocessing.ads: document prep. data extraction from GPR Pierre-Marie de Rodat 2025-01-17 09:24:12 +00:00
  • b6e2e7c109 libadalang.preprocessing.ads: slightly rework the package-level doc Pierre-Marie de Rodat 2025-01-17 09:23:24 +00:00
  • 158d778627 Merge branch 'topic/1293' into 'master' Romain Béguet 2025-01-21 13:55:04 +00:00
  • 4c4d861f9d Rework dot calls to inherited primitives. Romain Beguet 2024-12-18 12:12:45 +01:00
  • 6f146698e6 Merge branch 'mr/pmderodat/manage-py' into 'master' Pierre-Marie de Rodat 2025-01-21 13:51:09 +00:00
  • e46075021b Transition manage.py to run_tests.py, a light wrapper around lkm Pierre-Marie de Rodat 2025-01-17 11:00:51 +00:00
  • 6abcd04720 Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2025-01-21 13:35:05 +00:00