Commit Graph

  • a1627ad54d Make discrete range parsing more error-resilient Pierre-Marie de Rodat 2025-09-05 08:05:36 +00:00
  • f312cca4c1 Merge branch 'mr/thevenoux-libadalang#1603' into 'master' Laurent Thévenoux 2025-10-15 13:37:42 +00:00
  • 71b15427bb Add implementation for TargetName.env_elements_impl Laurent Thévenoux 2025-10-08 14:32:02 +02:00
  • aef738ae02 Merge branch 'mr/thevenoux-langkit-query-language#571' into 'master' Laurent Thévenoux 2025-10-14 12:34:28 +00:00
  • 3d75ef5613 Fix p_decl_part to not return Generic*Internal nodes Laurent Thévenoux 2025-10-13 16:02:05 +02:00
  • fa7e8e7ae1 Merge branch 'topic/java_api/fix_native_image_build' into 'master' Hugo Guerrier 2025-10-03 12:47:46 +00:00
  • fb367de077 java_driver.py: Disable strict code compilation in the native-image process Hugo Guerrier 2025-10-03 14:21:11 +02:00
  • a60267d7ef Merge branch 'mr/pmderodat/prep' into 'master' Pierre-Marie de Rodat 2025-10-01 12:19:50 +00:00
  • 6830a1a07d Preprocessing: add handling for the new -e gnatprep switch Pierre-Marie de Rodat 2025-09-17 14:15:27 +00:00
  • d5583d78d6 Merge branch 'mr/pmderodat/gpr-options' into 'master' Pierre-Marie de Rodat 2025-09-30 15:22:05 +00:00
  • a85b984040 c_api/gpr_config_file: fix a memory leak Pierre-Marie de Rodat 2025-09-30 13:39:43 +00:00
  • 9210a43f81 Merge branch 'mr/thevenoux-libadalang#1595' into 'master' Laurent Thévenoux 2025-09-26 09:31:29 +00:00
  • ee06ab636e Fix ExceptionHandler initial environment Laurent Thévenoux 2025-09-19 14:16:08 +02:00
  • 7bdc00c1cd Merge branch 'mr/pmderodat/gpr-options' into 'master' Pierre-Marie de Rodat 2025-09-26 07:51:22 +00:00
  • f39ebe979e C/Python/OCaml/Java: bind all GPR loading options Pierre-Marie de Rodat 2025-09-15 14:54:56 +00:00
  • 977da17628 Merge branch 'topic/1469' into 'master' v26.0.0 26.0 Romain Béguet 2025-09-17 15:28:14 +00:00
  • f5b50901b2 Reformat %and/%or sequences of equations. Romain Beguet 2025-09-17 12:44:03 +02:00
  • 2e679821e8 Merge branch 'topic/1379' into 'master' Romain Béguet 2025-09-17 13:58:28 +00:00
  • f5e1dcbc86 Add test case for implicit formal subprograms. Romain Beguet 2025-09-17 11:49:26 +02:00
  • 6ddc7ddcbf Merge branch 'topic/1593' into 'master' Romain Béguet 2025-09-17 08:50:02 +00:00
  • 2610e7dc57 Use proper symbolization to reference parent named env. Romain Beguet 2025-09-16 17:59:43 +02:00
  • 6d83aa0592 Merge branch 'topic/1585' into 'master' Romain Béguet 2025-09-16 13:11:20 +00:00
  • ba5cb29d8d Add nameres support for enum representation clauses. Romain Beguet 2025-09-09 15:15:24 +02:00
  • 759268cb33 Merge branch 'topic/1590' into 'master' Romain Béguet 2025-09-16 12:40:09 +00:00
  • acc61e86a9 Allow classwide type on incomplete type. Romain Beguet 2025-09-12 15:42:21 +02:00
  • 7402161b60 Merge branch 'topic/1587' into 'master' Romain Béguet 2025-09-16 12:17:45 +00:00
  • 8e60cbb977 Instance of classwide formal type should be classwide. Romain Beguet 2025-09-15 15:57:58 +02:00
  • c33dfebe52 Resolve default formal subprograms. Romain Beguet 2025-09-08 18:36:17 +02:00
  • d49033e339 Fix resolution of 'Base attribute on integer types. Romain Beguet 2025-09-08 15:30:43 +02:00
  • 32431a826c Merge branch 'mr/typos' into 'master' Ronan Desplanques 2025-09-15 09:43:34 +02:00
  • eb4755661b Fix typos in documentation Ronan Desplanques 2025-09-12 17:39:14 +02:00
  • 063ec29c52 Merge branch 'mr/pmderodat/target_info' into 'master' Pierre-Marie de Rodat 2025-09-11 15:18:06 +00:00
  • 175c0b9ede Libadalang.Target_Info: support all known GCC floating point types Pierre-Marie de Rodat 2025-09-11 14:43:03 +00:00
  • 5315f44c69 Libadalang.Target_Info: minor refactoring Pierre-Marie de Rodat 2025-09-11 14:17:28 +00:00
  • f98439216b Merge branch 'topic/1552-fix-2' into 'master' Romain Béguet 2025-09-02 13:48:03 +00:00
  • 598ed2efff Optimize actual lookup of formal package. Romain Beguet 2025-08-07 11:44:18 +02:00
  • e461819c3f Avoid recomputing instantiations' ParamMatch arrays. Romain Beguet 2025-08-07 11:43:14 +02:00
  • 64fe7006ce Memoize hot properties. Romain Beguet 2025-07-02 16:13:03 +02:00
  • 29635a3fe2 Remove now obselete wrapper around logic_val. Romain Beguet 2025-08-07 11:41:49 +02:00
  • d6918ea5d6 Make resolution properties work on bare nodes. Romain Beguet 2025-04-18 16:25:55 +02:00
  • 37c02dbb14 Handle attribute subprograms of instantiated types. Romain Beguet 2025-08-05 15:17:38 +02:00
  • 74ec8ff754 Add formal array subtype test. Romain Beguet 2025-05-13 14:28:45 +02:00
  • d252f2e12b Keep precise subtype of loop variables. Romain Beguet 2025-05-12 17:38:37 +02:00
  • 67797547e3 Implement corresponding_actual for attribute subps. Romain Beguet 2025-08-18 16:13:27 +02:00
  • 3adc66e48a Always evaluate DiscreteBaseSubtypeDecl when possible. Romain Beguet 2025-05-09 16:34:56 +02:00
  • ca5ad000fd Implement corresponding_actual on DiscreteBaseSubtypeDecl. Romain Beguet 2025-05-06 10:47:05 +02:00
  • 9a5244a715 BaseFormalParamHolder may be of a discriminant part. Romain Beguet 2025-04-30 09:32:46 +02:00
  • 7a5674e830 Use actual base types for scalar attributes. Romain Beguet 2025-05-06 15:54:17 +02:00
  • 87c6c15410 Update nameres driver. Romain Beguet 2025-07-02 16:13:21 +02:00
  • 97ef55f5a7 Merge branch 'mr/pmderodat/target-info' into 'master' Pierre-Marie de Rodat 2025-09-02 07:53:30 +00:00
  • 5fd8863230 Libadalang.Target_Info: do not require "long double" descriptors Pierre-Marie de Rodat 2025-09-01 09:51:05 +00:00
  • ebc7d6f5ba Merge branch 'topic/1580' into 'master' Romain Béguet 2025-09-01 08:55:12 +00:00
  • 28a8d875ad Update user manual section on origin parameter. Romain Beguet 2025-08-27 13:05:22 +02:00
  • 89f9e6b8c9 Merge branch 'mr/gnatformat_issue_195_2' into 'master' João Azevedo 2025-08-31 10:18:18 +00:00
  • 1335776e5d Unparsing: fix alignment of => in case expr/stmts Joao Azevedo 2025-08-28 14:51:44 +00:00
  • a31018f147 Merge branch 'mr/gnatformat_issue_205' into 'master' João Azevedo 2025-08-29 13:32:24 +00:00
  • 44fa0c2bb8 Unparsing: allow blank line between return and expr Joao Azevedo 2025-08-28 16:00:14 +00:00
  • 565ee2fdaa Merge branch 'mr/gnatformat_issue_195' into 'master' João Azevedo 2025-08-27 16:01:20 +00:00
  • a3034398b5 Unparsing: uniform alignment of => on aggregates and case exprs/stmts Joao Azevedo 2025-08-27 14:42:55 +00:00
  • 689b535710 Merge branch 'mr/pmderodat/gpr2' into 'master' Pierre-Marie de Rodat 2025-08-27 13:19:35 +00:00
  • a95a069908 Pass Check_Drivers => False to GPR2.Project.Tree.Load Pierre-Marie de Rodat 2025-08-27 12:51:38 +00:00
  • 5f80113597 Merge branch 'topic/1582' into 'master' Romain Béguet 2025-08-26 15:03:44 +00:00
  • be41940d2c Fix implementation of Name.dispatching_call. Romain Beguet 2025-08-26 15:58:39 +02:00
  • aa80c8f07e Fix nameres of raise statements/exprs. Romain Beguet 2025-08-26 15:39:32 +02:00
  • e3d2c5ae88 Merge branch 'topic/1582' into 'master' Romain Béguet 2025-08-26 09:10:09 +00:00
  • 1fcf2937b8 Dispatching call detection should rely on p_call_params. Romain Beguet 2025-08-25 18:01:25 +02:00
  • 06521d167d Fix p_call_params called on a DottedName's suffix. Romain Beguet 2025-08-25 18:00:09 +02:00
  • 307fd4d44f Merge branch 'topic/java/upgrade_graalvm_version' into 'master' Hugo Guerrier 2025-08-22 14:39:23 +00:00
  • 40d6464677 Adapt testing tools to the new GraalVM version Hugo Guerrier 2025-07-04 14:31:57 +02:00
  • 96ee2f0580 Merge branch 'mr/lambourg/gnatcoll-fixes' into 'master' Jerome Lambourg 2025-08-20 18:31:47 +02:00
  • 5c3b607c07 Add explicitly the dependency over gnatcoll_projects Jerome Lambourg 2025-08-19 10:46:00 +02:00
  • b6bdc222e0 Have the nameres gpr project use gnatcoll_core instead of gnatcoll Jerome Lambourg 2025-08-19 10:44:40 +02:00
  • 4bc164ae57 Merge branch 'mr/thevenoux-libadalang#1577' into 'master' Laurent Thévenoux 2025-08-20 13:23:58 +00:00
  • 74cca1315c Make GenericSubpInstantiation.designated_subp private Laurent Thévenoux 2025-08-13 14:37:12 +02:00
  • 4c7724f0f9 Merge branch 'mr/thevenoux-libadalang' into 'master' Laurent Thévenoux 2025-08-19 15:03:23 +00:00
  • 9bffa6929d minor: fix new compilation warnings Laurent Thévenoux 2025-08-19 15:50:22 +02:00
  • 5fa8d1cbcc Merge branch 'mr/gnatformat_issue_202' into 'master' João Azevedo 2025-08-19 14:09:40 +00:00
  • 80b00c6bd7 Unparsing: fix comments after RelationOp Joao Azevedo 2025-08-05 22:48:05 +00:00
  • 3ab7c6717d Merge branch 'mr/gnatformat_issue_131' into 'master' João Azevedo 2025-08-19 13:52:45 +00:00
  • 01ef9fcc1b Unparsing: add test for comment between params and return Joao Azevedo 2025-08-06 09:52:05 +00:00
  • 7589eb1d76 Merge branch 'mr/pmderodat/gpr2-valgrind' into 'master' Pierre-Marie de Rodat 2025-08-18 13:47:40 +00:00
  • b9f15f034d Set XFAIL under Valgrind/x86-linux for a couple of tests Pierre-Marie de Rodat 2025-08-18 13:23:14 +00:00
  • 74f019431a testsuite/testsuite.py: minor refactoring Pierre-Marie de Rodat 2025-08-18 13:15:25 +00:00
  • 7ce2bbba9c Merge branch 'topic/987' into 'master' Romain Béguet 2025-08-18 10:29:38 +00:00
  • 8fc1dc9ced Remove obselete references to GNATCOLL.Projects. Romain Beguet 2025-08-13 10:28:53 +02:00
  • c9d29eff39 Merge branch 'topic/taint_aspects' into 'master' Daniel Mercier 2025-08-18 09:11:15 +00:00
  • 1598a47e99 Implement equations for the improved version of taint aspects Daniel Mercier 2025-08-07 23:19:17 +02:00
  • 23a913ba70 Merge branch 'mr/thevenoux-libadalang#1578' into 'master' Laurent Thévenoux 2025-08-13 13:44:55 +00:00
  • c2e8e2df18 Improve documentation for *fully_qualified_name properties Laurent Thévenoux 2025-08-13 15:20:10 +02:00
  • c947ef605b Merge branch 'topic/is_abstract_type' into 'master' Rémi Segard 2025-08-13 10:07:33 +00:00
  • f8aa9a8493 Add is_abstract_type property Remi Segard 2025-07-30 14:37:25 +02:00
  • f7cf55370c Merge branch 'topic/subprogram_formal_access' into 'master' Raphaël Amiard 2025-08-07 10:24:09 +00:00
  • 2daacb8359 Handle ExplicitDeref to access to subp in FormalSubpDecl Raphaël AMIARD 2025-08-07 11:10:42 +02:00
  • e658403f6e Create a SyntheticDefiningName for AnonymousExprDecls Raphaël AMIARD 2025-08-07 11:09:02 +02:00
  • bc5076e2ce Merge branch 'topic/gnat/1422' into 'master' Laurent Thévenoux 2025-08-07 08:54:36 +00:00
  • 5b98a8db71 Update tests baselines after gnat runtime change Laurent Thévenoux 2025-08-06 15:42:41 +02:00
  • 44cd8819c9 Merge branch 'backport/25-sustained/issue-1556' into '25-sustained' 25-sustained Hugo Guerrier 2025-08-05 14:14:06 +00:00
  • 7ae046a37d Fix is_definite_subtype for chained subtype declarations. Romain Beguet 2025-05-07 16:11:59 +02:00
  • 968c876746 Merge branch 'topic/1570' into 'master' Laurent Thévenoux 2025-08-04 12:38:47 +00:00
  • 6c1abd84dd Fix has_dynamic_context property Laurent Thévenoux 2025-07-31 16:07:11 +02:00