Commit Graph

  • 21f6f83354 Update field name after langkit change Laurent Thévenoux 2024-09-11 15:03:08 +02:00
  • b1998ecc8e Merge branch 'mr/pmderodat/gpr2-default' into 'master' Pierre-Marie de Rodat 2024-09-11 08:47:32 +00:00
  • ecde1097c6 Libadalang.Helpers: switch App to GPR2 Pierre-Marie de Rodat 2024-09-04 13:23:03 +00:00
  • fc7ded0da6 ada_api/app/gpr_naming: new testcase Pierre-Marie de Rodat 2024-08-20 14:50:15 +00:00
  • fc557e0d80 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-09-11 08:29:13 +00:00
  • 1bc293e895 CI: do not run require_issue in the build+test job Pierre-Marie de Rodat 2024-09-09 15:32:25 +02:00
  • ba8728392f Merge branch 'topic/lkt_unparse' into 'master' Pierre-Marie de Rodat 2024-09-09 13:50:28 +00:00
  • 628d66e6d1 Fix formatting of comments in lambdas and blocks with multiple binds. Romain Beguet 2024-08-27 18:03:01 +02:00
  • 7886975687 Refactor nodes.lkt prior to pretty-printing with lkt_unparse Raphaël AMIARD 2024-08-26 14:08:22 +02:00
  • 6cd2f5eaab Merge branch 'topic/1448' into 'master' Romain Béguet 2024-09-09 12:22:23 +00:00
  • f57d7675d0 Fix type predicate for 'Access attribute. Romain Beguet 2024-09-09 11:59:06 +02:00
  • 6c27916983 Bump mako from 1.1.2 to 1.2.2 dependabot/pip/mako-1.2.2 dependabot[bot] 2024-09-09 11:23:57 +00:00
  • 1cf5528f3b Merge branch 'topic/requirements_split' into 'master' Elie Richa 2024-09-09 11:23:06 +00:00
  • bbb83f2a41 Split GitHub requirements from others Hugo Guerrier 2024-09-09 11:41:20 +02:00
  • 49e16e13aa Merge branch 'topic/1447' into 'master' Romain Béguet 2024-09-06 15:08:35 +00:00
  • dfd9659aa3 Shed rebindings after collapsing entries. Romain Beguet 2024-09-06 11:02:36 +02:00
  • 9e0665d0e9 Avoid null deref when evaluating candidate for Write attr. Romain Beguet 2024-09-04 17:29:33 +02:00
  • 6ca70ee507 Merge branch 'mr/pmderodat/gpr-autoconf-language-restrict' into 'master' Pierre-Marie de Rodat 2024-09-06 08:00:26 +00:00
  • 210f039cc6 C/Python/OCaml APIs: bind GPR2's autoconf language restriction to Ada Pierre-Marie de Rodat 2024-09-04 10:33:18 +00:00
  • 639f3a3059 Python API: add missing doc for GPRProject.__init__(config_file) Pierre-Marie de Rodat 2024-09-04 08:56:19 +00:00
  • b44f9da1b4 Merge branch 'mr/pmderodat/unparsing-join' into 'master' Pierre-Marie de Rodat 2024-09-04 15:21:37 +00:00
  • 3c5431c583 Unparsing: join adjacent "with"/"use" clauses for the same package Pierre-Marie de Rodat 2024-08-30 13:14:32 +00:00
  • c38ddac0ff Merge branch 'topic/1445' into 'master' Romain Béguet 2024-09-04 09:19:53 +00:00
  • ba8b05a951 Set from_rebound field in manually fetched generic actual. Romain Beguet 2024-09-03 15:09:18 +02:00
  • 19c250fbc0 Resolve use clauses in formal part using current generic context. Romain Beguet 2024-09-03 15:09:06 +02:00
  • 2041c5d15a Merge branch 'topic/1440' into 'master' Romain Béguet 2024-09-03 08:13:43 +00:00
  • 8857f51c2a Revert incorrect simplification. Romain Beguet 2024-09-03 09:48:19 +02:00
  • de0041b692 Merge branch 'topic/1440' into 'master' Romain Béguet 2024-09-02 13:47:21 +00:00
  • 317a344c61 Fix handling of AttributeRefs under ExplicitDerefs. Romain Beguet 2024-08-22 15:06:59 +02:00
  • 2871e6ae3d Merge branch 'prettier-ada-issues_29_30' into 'master' João Azevedo 2024-08-30 14:12:11 +00:00
  • 25c453b397 Unparsing: adapt config to changes in how breaks propagate in tables Joao Azevedo 2024-08-29 10:43:21 +00:00
  • 793b5f289e Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-08-28 15:50:14 +00:00
  • 830789dfd7 utils/nameres.gpr: add the required -gnatX compilation switch Pierre-Marie de Rodat 2024-08-28 15:33:41 +00:00
  • 699aac8a92 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-28 14:44:40 +00:00
  • b55c196194 CB: fix path for CB checkouts Pierre-Marie de Rodat 2024-08-28 15:16:00 +02:00
  • f85b913e8f Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-08-28 13:04:57 +00:00
  • cab8ba5c4c unparsing/type_def/record_type_def/record_with_variant_comments: new tc Pierre-Marie de Rodat 2024-08-28 11:57:44 +00:00
  • 0154a2958d Merge branch 'gnatformat-issue_91' into 'master' João Azevedo 2024-08-28 10:49:52 +00:00
  • 6866c8a927 Unparsing: do not align the ":=" tokens Joao Azevedo 2024-08-23 11:05:30 +00:00
  • 2c9b77f31f Merge branch 'topic/gnatx_2' into 'master' Raphaël Amiard 2024-08-28 08:30:59 +00:00
  • 88ac3a4844 Transition to -gnatX Raphaël AMIARD 2024-07-30 14:17:34 +02:00
  • 56aab8b14e Merge branch 'mr/pmderodat/gpr2-warning' into 'master' Pierre-Marie de Rodat 2024-08-27 19:13:00 +00:00
  • 970c48c2c6 c_api/gpr_error: update the test baseline Pierre-Marie de Rodat 2024-08-26 19:51:29 +00:00
  • d45e5c94f4 Merge branch 'topic/1439' into 'master' Romain Béguet 2024-08-27 10:48:50 +00:00
  • 88a6af7146 Minor: ignore unused warning. Romain Beguet 2024-08-27 12:19:48 +02:00
  • 1968369c33 Merge branch 'topic/1439' into 'master' Romain Béguet 2024-08-27 10:19:22 +00:00
  • ded466da5b Fix Short_Image for synthetic basic decls. Romain Beguet 2024-08-27 11:07:30 +02:00
  • 660584dc97 Merge branch 'topic/1436' into 'master' Romain Béguet 2024-08-27 09:12:41 +00:00
  • 90a45ad1b1 Create proper synthesized node hierarchies. Romain Beguet 2024-08-23 17:10:45 +02:00
  • 7f04cd536c Merge branch 'mr/pmderodat/gpr2-warning' into 'master' Pierre-Marie de Rodat 2024-08-27 08:21:26 +00:00
  • 82f3761e34 c_api/gpr_error: update the test baseline Pierre-Marie de Rodat 2024-08-26 19:51:29 +00:00
  • 703d3037d1 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-27 08:03:51 +00:00
  • 3c520b9a17 Fully transition the CB to generic_anod_ci Pierre-Marie de Rodat 2024-08-26 15:28:57 +02:00
  • 49dc532bde Merge branch 'topic/1437' into 'master' Romain Béguet 2024-08-27 07:42:30 +00:00
  • 377866c654 Fix visibility issue in renaming clauses. Romain Beguet 2024-08-23 16:55:45 +02:00
  • 1a66ab1514 Merge branch 'gnatformat-issue_90' into 'master' João Azevedo 2024-08-23 10:46:31 +00:00
  • 225c78b8c9 Add whitespace or line break before ConcreteFormalSubpDecl default expression Joao Azevedo 2024-08-22 18:59:33 +00:00
  • 10a37eb4a8 Merge branch 'gnatformat-issue_84' into 'master' João Azevedo 2024-08-23 10:46:11 +00:00
  • 711347ad98 Unparsing: break before case statements Joao Azevedo 2024-08-22 13:44:17 +00:00
  • ab1a306f20 Merge branch 'gnatformat-issue_85' into 'master' João Azevedo 2024-08-23 10:19:30 +00:00
  • a7ca263419 Unparsing: always add whitespace before end name Joao Azevedo 2024-08-22 12:39:42 +00:00
  • 6efaf9c2af Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-23 09:38:07 +00:00
  • 3d9ba783f5 .gitlab-ci.yml: transition to "smart CIs" Pierre-Marie de Rodat 2023-11-30 15:28:30 +01:00
  • dfc8361923 .gitlab-ci.yml: require 16 cores for the test machine Pierre-Marie de Rodat 2023-11-30 15:27:22 +01:00
  • ed1e7ec2dd Merge branch 'mr/pmderodat/sanity-check' into 'master' Pierre-Marie de Rodat 2024-08-23 08:59:02 +00:00
  • 47d98b9bb7 Add a sanity check testsuite for the customer-ready package Pierre-Marie de Rodat 2024-08-21 13:27:23 +00:00
  • aaa9b021de Merge branch 'sync/mr/pmderodat/lkt-no-overloading' into 'master' Pierre-Marie de Rodat 2024-08-23 08:28:35 +00:00
  • f58caaa03a Update .get/.get_first expressions after a recent Langkit change Pierre-Marie de Rodat 2024-08-23 07:10:38 +00:00
  • 36eddf67b5 Update iteration expressions after a recent Langkit change Pierre-Marie de Rodat 2024-08-22 15:01:35 +00:00
  • 40225a7ae3 Merge branch 'mr/pmderodat/gpr2-valgrind' into 'master' Pierre-Marie de Rodat 2024-08-23 08:17:07 +00:00
  • dd2d77a263 Propagate GPR2-specific XFAILs to C API tests that now use GPR2 Pierre-Marie de Rodat 2024-08-23 09:42:35 +02:00
  • ec247bd2fe Merge branch 'gnatformat-issue_81' into 'master' João Azevedo 2024-08-22 13:39:10 +00:00
  • f7c60ab929 Remove spurious whitespace form subp specs without name Joao Azevedo 2024-08-22 10:26:16 +00:00
  • a564788d66 Merge branch 'sync/mr/pmderodat/unparsing-main-default' into 'master' Pierre-Marie de Rodat 2024-08-22 12:40:13 +00:00
  • 856e904345 Testsuite: update the unparser driver after a Langkit change Pierre-Marie de Rodat 2024-08-21 15:47:48 +00:00
  • 1491b6854a Merge branch 'mr/pmderodat/java-cgpr-tests' into 'master' Pierre-Marie de Rodat 2024-08-22 12:00:39 +00:00
  • 103ea5c9e8 java_api/project_manager: rework configuration project checks Pierre-Marie de Rodat 2024-08-22 08:58:39 +00:00
  • bac90fe847 Testsuite: rework the "testcase custom Python setup code" feature Pierre-Marie de Rodat 2024-08-22 08:15:57 +00:00
  • 8e6b81de9f Merge branch 'topic/1229' into 'master' Laurent Thévenoux 2024-08-21 13:45:46 +00:00
  • 6d23e86b34 No_Elaboration_Code_All pragma sets No_Elaboration_Code restriction Laurent Thévenoux 2024-08-19 11:49:12 +02:00
  • 3f58f96d17 Merge branch 'mr/pmderodat/gpr2-windows' into 'master' Pierre-Marie de Rodat 2024-08-21 12:48:27 +00:00
  • ce1af25ce3 Testsuite: ignore expected Unix/Windows output discrepancies Pierre-Marie de Rodat 2024-08-21 11:53:22 +00:00
  • 2c2e29c373 base_driver.py: update stale comment Pierre-Marie de Rodat 2024-08-21 11:53:05 +00:00
  • 7beff20450 Merge branch 'topic/1434' into 'master' Laurent Thévenoux 2024-08-21 09:23:15 +00:00
  • 612b664350 Fix Warnings pragma name resolution Laurent Thévenoux 2024-08-20 17:23:06 +02:00
  • 0f37995d0e Merge branch 'mr/pmderodat/gpr2-baselines' into 'master' Pierre-Marie de Rodat 2024-08-21 08:49:06 +00:00
  • 343be52f68 Re-install test baseline updates that got reverted by mistake Pierre-Marie de Rodat 2024-08-21 06:29:17 +00:00
  • 7ecee36782 Merge branch 'mr/pmderodat/gpr2-default' into 'master' Pierre-Marie de Rodat 2024-08-20 14:53:24 +00:00
  • ffada56200 Revert "Libadalang.Helpers: switch App to GPR2" Pierre-Marie de Rodat 2024-08-20 14:25:26 +00:00
  • 4869ad8a8e Merge branch 'topic/1433' into 'master' Romain Béguet 2024-08-20 13:43:32 +00:00
  • e9be62edfa Implement name resolution for the Subprogram_Variant aspect. Romain Beguet 2024-08-19 16:55:06 +02:00
  • 09fc938335 Fix formatting in aggregate resolution. Romain Beguet 2024-08-19 16:07:31 +02:00
  • 82ec850b15 Merge branch 'mr/pmderodat/gpr2-default' into 'master' Pierre-Marie de Rodat 2024-08-20 08:39:31 +00:00
  • 0140ff8d0d Libadalang.Helpers: switch App to GPR2 Pierre-Marie de Rodat 2023-05-05 09:41:57 +00:00
  • 7c4459b84d C API: switch ada_gpr_project_* functions to GPR2 Pierre-Marie de Rodat 2023-05-03 13:52:35 +00:00
  • 558c679d28 name_resolution/gnat_xref_subp_body_self_reference: fix naming Pierre-Marie de Rodat 2024-08-19 13:30:21 +00:00
  • fab485af06 python/gpr_error: add a dummy source to avoid warnings Pierre-Marie de Rodat 2024-08-19 13:18:34 +00:00
  • 85f0b3a21b python/gpr_default_charset: add a dummy source to avoid warnings Pierre-Marie de Rodat 2024-08-19 13:16:49 +00:00
  • 71fd1a5608 c_api/gpr_config_file: robustify testcase Pierre-Marie de Rodat 2024-08-19 12:52:20 +00:00
  • 8483c61d1d c_api/gpr_config_file/main.c: fix coding style/return value issues Pierre-Marie de Rodat 2024-08-19 12:26:30 +00:00