Commit Graph

  • 22b09a68e6 langkit.yaml: use the default for lkt_spec:types_from_lkt Pierre-Marie de Rodat 2025-01-16 13:02:30 +00:00
  • 96e526e5c6 Merge branch 'topic/1530' into 'master' Romain Béguet 2025-01-21 09:58:58 +00:00
  • 879213c5a8 Simplify corresponding_char_literal converter. Romain Beguet 2025-01-20 17:38:00 +01:00
  • d4431fbc93 Merge branch 'topic/1525' into 'master' Romain Béguet 2025-01-20 16:10:14 +00:00
  • eb2d75900f Avoid unnecessary lookups when resolving Ghost aspect. Romain Beguet 2025-01-20 11:56:39 +01:00
  • 1e9e278813 Minor: reformat get_aspect_on_parts property. Romain Beguet 2025-01-17 15:56:46 +01:00
  • 3ce6d144d2 Merge branch 'mr/pmderodat/copyright' into 'master' Pierre-Marie de Rodat 2025-01-20 10:48:07 +00:00
  • 1f5536cb2c Update copyright notices for 2025 Pierre-Marie de Rodat 2025-01-20 11:29:08 +01:00
  • d589f61b6b Merge branch 'mr/pmderodat/target-info-doc' into 'master' Pierre-Marie de Rodat 2025-01-17 11:21:00 +00:00
  • d1a87d2305 Users Manual: update after the introduction of the Target_Info package Pierre-Marie de Rodat 2025-01-17 08:49:33 +00:00
  • 020ddb23c2 Merge branch 'mr/pmderodat/prep-gpr-switches' into 'master' Pierre-Marie de Rodat 2025-01-15 14:50:09 +00:00
  • 1fa6ebe163 Handle preprocessing switches from Builder'[Default_]Switches Pierre-Marie de Rodat 2025-01-14 19:34:57 +00:00
  • 33f7cd6ce9 Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2025-01-15 09:27:26 +00:00
  • fca2a6ff02 Update after recent Langkit breaking changes Pierre-Marie de Rodat 2024-10-25 12:21:18 +00:00
  • 9485bcb801 Merge branch 'topic/1523' into 'master' Laurent Thévenoux 2025-01-07 15:33:18 +00:00
  • 8a19cc008a Fix is_static_expr regarding StringLiterals Laurent Thévenoux 2025-01-02 09:51:29 +01:00
  • 25e44f0ca4 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2024-12-19 16:17:44 +00:00
  • 87d11c2861 Data Decomposition: fix handling of subtype decls as tagged type base Pierre-Marie de Rodat 2024-12-17 19:29:45 +00:00
  • b822c086b4 dda_driver: add a recursive mode for project files Pierre-Marie de Rodat 2024-12-17 15:35:54 +00:00
  • c9f75724e3 Data Decomposition: do not crash when base record repinfo is missing Pierre-Marie de Rodat 2024-12-17 15:24:20 +00:00
  • 4df9d9ae75 Data Decomposition: fix obsolete comment Pierre-Marie de Rodat 2024-12-17 15:11:05 +00:00
  • e665bb8a85 Data Decomposition: fix loading of JSON with overloaded entities Pierre-Marie de Rodat 2024-12-17 10:46:57 +00:00
  • e5571ab1dd Data Decomposition: minor refactoring Pierre-Marie de Rodat 2024-12-16 10:27:50 +00:00
  • 1f1350380a Data Decomposition: add a "batch" mode in the test driver Pierre-Marie de Rodat 2024-12-12 14:48:56 +00:00
  • b2d5eb0fd9 dda/basic: extend testing for derived types Pierre-Marie de Rodat 2024-12-12 15:33:21 +00:00
  • 1609058fa9 Data Decomposition: gracefully decline requests for anon. types Pierre-Marie de Rodat 2024-12-12 14:23:40 +00:00
  • 71ea9d7ba7 Data Decomposition: fix handling of non-tagged record extensions Pierre-Marie de Rodat 2024-12-12 14:00:50 +00:00
  • 246b467b9e dda/basic: reorganize test sources Pierre-Marie de Rodat 2024-12-12 13:18:31 +00:00
  • 7b5566f659 Merge branch 'topic/1521' into 'master' Romain Béguet 2024-12-19 14:44:34 +00:00
  • d0e1874556 Handle fully_qualified_name on anonymous types. Romain Beguet 2024-12-16 17:50:09 +01:00
  • 8b4695c9d4 Fix erroneous docstring. Romain Beguet 2024-12-16 11:21:45 +01:00
  • 63b91e1c56 Merge branch 'mr/pmderodat/requirements' into 'master' Pierre-Marie de Rodat 2024-12-18 13:33:27 +00:00
  • f252c22477 requirements-github.txt: remove -e (editable mode) Pierre-Marie de Rodat 2024-12-18 14:13:17 +01:00
  • c5eabbc40f Merge branch 'topic/langkit/878' into 'master' Laurent Thévenoux 2024-12-18 09:18:28 +00:00
  • 9279e77d06 requirements-pypi.txt: bump versions to align with langkit Laurent Thévenoux 2024-12-18 10:01:18 +01:00
  • 2cdbabbf96 Merge branch 'mr/pmderodat/static-expr' into 'master' Pierre-Marie de Rodat 2024-12-17 15:40:22 +00:00
  • 047653a6d3 ada/tokens.lkt: split a pattern to fit 80 columns Pierre-Marie de Rodat 2024-12-17 09:40:35 +00:00
  • 53c458db25 Merge branch 'topic/langkit/816' into 'master' Laurent Thévenoux 2024-12-16 16:23:16 +00:00
  • 50fa1eef14 Ada parser: remove workaround after unparser enhancement Laurent Thévenoux 2024-12-16 17:05:33 +01:00
  • 2ad6868cc3 Merge branch 'mr/pmderodat/reparse-same-buffer' into 'master' Pierre-Marie de Rodat 2024-12-16 09:09:03 +00:00
  • 092ae40456 Update after a recent internal API change in Langkit Pierre-Marie de Rodat 2024-12-05 16:41:12 +00:00
  • 06c13fe3ef Merge branch 'topic/1517' into 'master' Romain Béguet 2024-12-13 16:14:25 +00:00
  • 6315b28cd0 Fix name resolution of subprograms in the Iterable aspect. Romain Beguet 2024-12-13 12:38:42 +01:00
  • 88a291ce17 Minor: add missing docstring. Romain Beguet 2024-12-12 17:05:58 +01:00
  • 323c93e01d Merge branch 'topic/1516' into 'master' Romain Béguet 2024-12-13 16:13:52 +00:00
  • b619e204c6 Handle user-defined indexing after implicit deference. Romain Beguet 2024-12-11 15:01:18 +01:00
  • 4feca4ecd2 Minor: reformat properties used in next commit. Romain Beguet 2024-12-11 11:59:01 +01:00
  • a27a28a906 Merge branch 'topic/1507' into 'master' Romain Béguet 2024-12-13 10:18:13 +00:00
  • e995b7a4ad Update gnatcompare baseline following GNAT fix. Romain Beguet 2024-12-13 10:58:50 +01:00
  • 9ed4ffce29 Merge branch 'topic/iterable_nameres' into 'master' Raphaël Amiard 2024-12-12 16:50:37 +00:00
  • e274fec6ff Make resolution of Iterable more error resilient Raphaël AMIARD 2024-12-12 11:30:37 +01:00
  • 3e4c7e8d22 Merge branch 'topic/fix_xref_no_overloading' into 'master' Raphaël Amiard 2024-12-11 13:42:14 +00:00
  • a4255f8e12 Make is_subp_access_of null resilient Raphaël AMIARD 2024-11-25 12:42:03 +01:00
  • 84a25ae1f9 Make subp_decl_match_signature null resilient Raphaël AMIARD 2024-11-20 17:59:26 +01:00
  • 1e2e883c03 Get rid of expect_fail in nameres tests Raphaël AMIARD 2024-11-20 17:52:08 +01:00
  • adcfcd05a3 nameres.adb: Make Test_Block work with Expect_Fail Raphaël AMIARD 2024-11-20 17:51:40 +01:00
  • dc5053b9d2 Fix Name.xref_no_overloading Raphaël AMIARD 2024-11-18 15:56:36 +01:00
  • 81c38ec9a3 Adjust logic propagate/predicate formatting Raphaël AMIARD 2024-11-19 14:49:34 +01:00
  • 474ba2ee36 Merge branch 'mr/pmderodat/unparsing-if-then-expr-comment' into 'master' Pierre-Marie de Rodat 2024-12-11 08:21:46 +00:00
  • a28e8dc3d8 Unparsing: fix idempotency for comments after an if expr's then-expr Pierre-Marie de Rodat 2024-12-06 15:13:36 +00:00
  • f83f8708a3 Merge branch 'topic/25.1-1499' into '25.1' 25.1 Hugo Guerrier 2024-12-10 11:08:26 +00:00
  • 1ba022726e Expose the is_predefined_operator property. Romain Beguet 2024-11-14 15:32:16 +01:00
  • 45fde68323 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-12-10 10:19:11 +00:00
  • dcc80425d1 Revert "dda/project_json: mark test as XFAIL" Pierre-Marie de Rodat 2024-12-09 10:51:00 +01:00
  • 7423fda4d5 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-12-06 09:04:43 +00:00
  • 6a32ae8133 dda/project_json: mark test as XFAIL Pierre-Marie de Rodat 2024-12-06 09:44:41 +01:00
  • 470cde4805 Merge branch 'mr/gnatformat_issue_129' into 'master' João Azevedo 2024-12-05 15:18:31 +00:00
  • 5c84f5aab6 Unparsing: fix indentation of multi line Variant Joao Azevedo 2024-12-05 12:04:26 +00:00
  • 2290d8724d Merge branch 'mr/gnatformat_issue_128' into 'master' João Azevedo 2024-12-05 15:18:10 +00:00
  • 32ea6fc1ad Unparsing: fix alignment of ForLoopSpec f_iter_expr Joao Azevedo 2024-12-05 11:30:09 +00:00
  • 28db146b86 Merge branch 'gnatformat-issue_92' into 'master' João Azevedo 2024-12-05 14:24:50 +00:00
  • 33ee209807 Unparsing: fix multiple GNATformat style issues Joao Azevedo 2024-10-08 12:36:26 +00:00
  • 2339b115b4 Merge branch 'mr/if_kind_absent' into 'master' João Azevedo 2024-12-04 15:33:51 +00:00
  • 064356f597 Unparsing: update ifKind null to absent Joao Azevedo 2024-11-29 14:36:12 +00:00
  • 0e82d60942 Merge branch 'topic/1508' into 'master' Laurent Thévenoux 2024-12-04 15:30:54 +00:00
  • 001d4878bc Update some gnat_compare baselines after recent gnat changes Laurent Thévenoux 2024-12-04 15:19:44 +01:00
  • a2dbe910e0 Merge branch 'mr/pmderodat/python3.13' into 'master' Pierre-Marie de Rodat 2024-12-04 14:28:23 +00:00
  • f617e4d70e Merge branch '25.1-1822' into '25.1' Romain Béguet 2024-12-04 14:15:30 +00:00
  • 2ffad60f98 Transition uses of the Python pipes module to shlex Pierre-Marie de Rodat 2024-12-04 13:12:12 +00:00
  • 30f97801bb Merge branch 'mr/pmderodat/unparsing-trivias-lost' into 'master' Pierre-Marie de Rodat 2024-12-04 10:27:50 +00:00
  • bda545b56e Fix origin node in base_subp_decls. Romain Beguet 2024-11-04 11:30:01 +01:00
  • f7e45b5eef Merge branch '25.1-1835' into '25.1' Romain Béguet 2024-12-03 15:04:05 +00:00
  • b82edb1642 Update baselines after sloc range change for some empty lists in Langkit Pierre-Marie de Rodat 2024-12-02 10:17:13 +00:00
  • 9d35cd1cb5 Merge branch 'mr/pmderodat/gpr2' into 'master' Pierre-Marie de Rodat 2024-12-03 11:00:58 +00:00
  • 5b5219a9a3 Update baselines after error message changes in GPR2 Pierre-Marie de Rodat 2024-12-03 10:41:03 +00:00
  • 7ae49b3bac Merge branch 'mr/pmderodat/copyright' into 'master' Pierre-Marie de Rodat 2024-12-02 09:18:47 +00:00
  • 65dce5d479 Update copyright notices for 2024 Pierre-Marie de Rodat 2024-11-29 20:42:31 +01:00
  • ba7da6b481 Fix gnat_compare with synthetic neq operators. Romain Beguet 2024-11-14 14:15:17 +01:00
  • bce4485348 Change gnat_compare xref_wrapper to work on all subp bodies. Romain Beguet 2024-11-14 12:46:52 +01:00
  • 797c8dd89b Reformat code around p_gnat_xref. Romain Beguet 2024-11-14 12:05:46 +01:00
  • 5a0ed45508 Remove obselete behavior of p_find_all_references. Romain Beguet 2024-11-12 17:40:33 +01:00
  • ce274c8691 Synthesize corresponding "/=" operator. Romain Beguet 2024-11-12 15:52:07 +01:00
  • ff0f7f5786 Minor: remove duplicate alternative. Romain Beguet 2024-11-12 15:52:40 +01:00
  • e438306ee7 Minor: reformat some code around primitives. Romain Beguet 2024-11-07 16:54:08 +01:00
  • 8b63a6f64c Merge branch 'mr/pmderodat/25.1' into '25.1' Pierre-Marie de Rodat 2024-11-28 18:59:32 +00:00
  • d1470360b3 ada_api/target_info/main.adb: adapt to GPR2 25.1 Pierre-Marie de Rodat 2024-11-28 15:38:36 +00:00
  • 9c8b37adf1 Merge branch 'mr/pmderodat/25.1-d-1474' into '25.1' Pierre-Marie de Rodat 2024-11-28 16:11:08 +00:00
  • a8ef462e72 lexical_envs/incremental_1: remove XFAIL after the fix in Langkit Pierre-Marie de Rodat 2024-11-15 15:33:10 +00:00
  • fd75a5ea45 Libadalang.Env_Hooks: run PLE even on unit that could not be parsed Pierre-Marie de Rodat 2024-11-08 13:45:01 +00:00
  • a576603808 Merge branch 'mr/pmderodat/25.1-9a-1162' into '25.1' Pierre-Marie de Rodat 2024-11-28 15:03:58 +00:00