Commit Graph

  • 759ccdb0e8 Extend test case to cover subtypes. Romain Beguet 2025-11-14 11:40:45 +01:00
  • a90460bf39 Support evaluation of 'Size on types deriving from standard ones. Romain Beguet 2025-11-14 11:33:37 +01:00
  • ed39f0d107 Support evaluation of 'Size on types for which it is defined. Romain Beguet 2025-11-13 17:41:05 +01:00
  • 7349fbbe70 Merge branch 'topic/1610' into 'master' Romain Béguet 2025-11-19 14:54:24 +00:00
  • fe4ae0d5f0 Expr eval: test unconstrained/non-statically constrained arrays. Romain Beguet 2025-11-19 14:41:45 +01:00
  • 2f477cd5c0 Expr eval: support range attributes on derived array types. Romain Beguet 2025-11-19 10:05:50 +01:00
  • 5809a80222 Expr eval: support 'Length on statically constrained arrays. Romain Beguet 2025-11-18 19:04:26 +01:00
  • 58b6680ef7 Expr eval: support 'First and 'Last on statically constrained arrays. Romain Beguet 2025-11-18 14:27:39 +01:00
  • 03f0373a7c Expr eval: support 'First and 'Last on all static strings. Romain Beguet 2025-11-18 19:03:08 +01:00
  • 67c0647a3f Expr eval: fix 'Last of string concatenation. Romain Beguet 2025-11-18 17:41:59 +01:00
  • 608fd4e801 Merge branch 'topic/1631' into 'master' Romain Béguet 2025-11-19 11:22:33 +00:00
  • 666204c1e1 Expr eval: Fix evaluation of 'Pos on enums. Romain Beguet 2025-11-14 16:24:20 +01:00
  • 95f04bec34 Merge branch 'topic/1634' into 'master' Rémi Segard 2025-11-18 16:42:57 +00:00
  • 3d12baf2d7 Fix null dereference of discriminants_list with access to subp Remi Segard 2025-11-18 14:49:53 +01:00
  • 0560b27485 Merge branch 'mr/pmderodat/26.1-1628' into '26.1' Pierre-Marie de Rodat 2025-11-18 16:01:06 +00:00
  • 7db58b2479 Data Decomposition: fix the handling of unchecked unions Pierre-Marie de Rodat 2025-11-17 08:57:11 +00:00
  • 90c5320d29 Data Decomposition: fix the handling of interface types Pierre-Marie de Rodat 2025-11-14 16:30:18 +00:00
  • 403b34ca38 Data Decomposition: fix processing of constrained subtypes for variants Pierre-Marie de Rodat 2025-11-14 16:17:23 +00:00
  • 99478dd106 dda/bad_sloc: disable test with --dda-compile Pierre-Marie de Rodat 2025-11-17 09:02:46 +00:00
  • 7ecac044a8 Data Decomposition: correctly initialize the Next link for type entries Pierre-Marie de Rodat 2025-11-13 14:08:03 +00:00
  • 7b707f32ff Merge branch 'mr/thevenoux/libadalang#1632' into 'master' Laurent Thévenoux 2025-11-17 15:16:23 +00:00
  • dd7733ce5c Python requirements: add gnat-testsuite-base Laurent Thévenoux 2025-11-17 15:40:10 +01:00
  • 918f715a7b Merge branch 'mr/pmderodat/26.1-1623' into '26.1' Pierre-Marie de Rodat 2025-11-17 13:50:19 +00:00
  • e9a992858c Merge branch 'mr/pmderodat/dda-compile' into 'master' Pierre-Marie de Rodat 2025-11-17 13:50:08 +00:00
  • d1e3fc2571 tests/dda/generic: complete testcase from bug report Pierre-Marie de Rodat 2025-11-12 09:08:34 +00:00
  • c8572ea1cf Data decomposition: cope with bogous ?? alignment fields Pierre-Marie de Rodat 2025-11-10 09:24:43 +00:00
  • c1d646632a Merge branch 'mr/pmderodat/26.1-1624' into '26.1' Pierre-Marie de Rodat 2025-11-17 13:49:50 +00:00
  • 47a7d7f994 Testsuite: extend the DDA driver to recompile project files Pierre-Marie de Rodat 2025-11-17 09:43:01 +00:00
  • 269df141f0 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-17 13:49:24 +00:00
  • 73541138d8 Libadalang.Data_Decomposition: remove the obsolete experimental disclaimer Pierre-Marie de Rodat 2025-11-10 11:06:38 +00:00
  • 69d35acf61 Libadalang.Data_Decomposition: add a missing comment for a public type Pierre-Marie de Rodat 2025-11-10 11:06:19 +00:00
  • 98a655af7c Libadalang.Data_Decomposition: fix a comment pasto Pierre-Marie de Rodat 2025-11-10 11:06:08 +00:00
  • 3bbad98003 Libadalang.Data_Decomposition: add :ada:ref: directives in comments Pierre-Marie de Rodat 2025-11-10 11:05:54 +00:00
  • 86d111a678 Libadalang.Data_Decomposition: add %belongs-to doc directives Pierre-Marie de Rodat 2025-11-10 11:00:38 +00:00
  • aa1362f8d0 Data Decomposition: fix the handling of unchecked unions Pierre-Marie de Rodat 2025-11-17 08:57:11 +00:00
  • 14fbdd5edb Data Decomposition: fix the handling of interface types Pierre-Marie de Rodat 2025-11-14 16:30:18 +00:00
  • 0d574dfc06 Data Decomposition: fix processing of constrained subtypes for variants Pierre-Marie de Rodat 2025-11-14 16:17:23 +00:00
  • 9c93beae1f dda/bad_sloc: disable test with --dda-compile Pierre-Marie de Rodat 2025-11-17 09:02:46 +00:00
  • 14240fb479 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-14 16:28:33 +00:00
  • 4e2f1b3f16 Data Decomposition: correctly initialize the Next link for type entries Pierre-Marie de Rodat 2025-11-13 14:08:03 +00:00
  • 2abe5fa4b4 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2025-11-14 16:27:57 +00:00
  • b053ce3e8a Revert "expr_eval: workaround possible compiler issue" Pierre-Marie de Rodat 2025-11-14 08:47:45 +00:00
  • b0cb68d2de Merge branch 'topic/1625' into 'master' Romain Béguet 2025-11-13 16:08:52 +00:00
  • ebf7cd3feb Add basic support for 'Size in expression evaluator. Romain Beguet 2025-11-13 15:25:04 +01:00
  • b90df7c3c6 Merge branch 'mr/thevenoux/libadalang#1627' into 'master' Laurent Thévenoux 2025-11-13 13:22:53 +00:00
  • 2bb06c3b6a expr_eval: workaround possible compiler issue Laurent Thévenoux 2025-11-13 13:08:35 +01:00
  • 27b98d9152 Merge branch 'mr/pmderodat/dda-doc' into 'master' Pierre-Marie de Rodat 2025-11-13 12:56:14 +00:00
  • 6bb46826b4 Libadalang.Data_Decomposition: remove the obsolete experimental disclaimer Pierre-Marie de Rodat 2025-11-10 11:06:38 +00:00
  • 52090dcabb Libadalang.Data_Decomposition: add a missing comment for a public type Pierre-Marie de Rodat 2025-11-10 11:06:19 +00:00
  • b0969c1ba0 Libadalang.Data_Decomposition: fix a comment pasto Pierre-Marie de Rodat 2025-11-10 11:06:08 +00:00
  • fd63228973 Libadalang.Data_Decomposition: add :ada:ref: directives in comments Pierre-Marie de Rodat 2025-11-10 11:05:54 +00:00
  • b1b911ec6e Libadalang.Data_Decomposition: add %belongs-to doc directives Pierre-Marie de Rodat 2025-11-10 11:00:38 +00:00
  • 260765c332 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-12 21:19:30 +00:00
  • 5f9a14a12c tests/dda/generic: complete testcase from bug report Pierre-Marie de Rodat 2025-11-12 09:08:34 +00:00
  • df345f21e7 Merge branch 'mr/thevenoux/libadalang#1622' into 'master' Laurent Thévenoux 2025-11-12 10:34:23 +00:00
  • 1ead137b40 Make is_statically_predicated property public Laurent Thévenoux 2025-11-05 15:56:08 +01:00
  • b74e23afb2 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-12 08:54:31 +00:00
  • 3d404ca4d2 Data decomposition: cope with bogous ?? alignment fields Pierre-Marie de Rodat 2025-11-10 09:24:43 +00:00
  • 6be47cb77b Merge branch 'mr/thevenoux/libadalang#1617' into 'master' Laurent Thévenoux 2025-11-07 14:01:28 +00:00
  • b3ead1fd79 Clarify BaseTypeDecl.is_statically_constrained documentation Laurent Thévenoux 2025-11-06 16:59:27 +01:00
  • 9632a4448a Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-11-06 14:28:47 +00:00
  • 1151a892be libadalang-preprocessing.ads: fix ReST markup Pierre-Marie de Rodat 2025-11-06 11:16:00 +01:00
  • 69822478d8 Merge branch 'topic/1620' into 'master' Rémi Segard 2025-11-04 10:21:18 +00:00
  • 07ed771b6f Expose the discrete_static_values and support not Remi Segard 2025-10-31 17:35:33 +01:00
  • ed85760302 Merge branch 'topic/1608' into 'master' Rémi Segard 2025-10-30 16:39:52 +00:00
  • 969f6db5fa Expose the is_classwide property Remi Segard 2025-10-22 17:48:22 +02:00
  • 63451ef452 Merge branch 'mr/thevenoux-libadalang#1609' into 'master' Laurent Thévenoux 2025-10-30 14:25:54 +00:00
  • ad759c7a62 user_nanual: bump copyrigth year Laurent Thévenoux 2025-10-24 17:56:17 +02:00
  • 4c444d0dae user_manual: update documentation build steps Laurent Thévenoux 2025-10-24 15:47:54 +02:00
  • 3d8cd2b970 laldoc: get rid of the legacy mode Laurent Thévenoux 2025-10-23 18:06:19 +02:00
  • 69a1d12cec user_manual: add missing langkit_support-slocs documentation Laurent Thévenoux 2025-10-23 17:39:51 +02:00
  • 67ef3766dc user_manual: clean Makefile Laurent Thévenoux 2025-10-23 16:50:03 +02:00
  • 5dadfd9130 Documentation: fix minor docstring issues Laurent Thévenoux 2025-10-23 16:41:05 +02:00
  • cdf2f69467 user_manual: fix a few sphinx warnings Laurent Thévenoux 2025-10-22 16:35:22 +02:00
  • cc52a9ce12 requirements-pypi.txt: unfreeze sphinx-rtd-theme version Laurent Thévenoux 2025-10-22 16:18:27 +02:00
  • 5407cec40d requirements-pypi.txt: unfreeze docutils version Laurent Thévenoux 2025-10-22 16:11:05 +02:00
  • d8eadff847 user_manual: fix Makefile's LANGKIT_DIR var default value to fit ancr envs Laurent Thévenoux 2025-10-22 16:04:04 +02:00
  • 1756d6159f Merge branch 'mr/thevenoux-gnat#1098' into 'master' Laurent Thévenoux 2025-10-30 14:01:24 +00:00
  • 326f01a921 testsuite: update baselines after runtime changes Laurent Thévenoux 2025-10-30 14:33:56 +01:00
  • b0a5a70c2a Merge branch 'topic/java_api/add_setenv' into 'master' Hugo Guerrier 2025-10-27 09:18:25 +00:00
  • 4620507871 Use the string conversion functions Native Image C API library Hugo Guerrier 2025-10-23 14:25:12 +02:00
  • 710d667515 Merge branch 'mr/pmderodat/26.1-1589' into '26.1' Pierre-Marie de Rodat 2025-10-23 12:24:15 +00:00
  • 9ee657851a c_api/gpr_config_file: fix a memory leak Pierre-Marie de Rodat 2025-09-30 13:39:43 +00:00
  • 859f5701dd C/Python/OCaml/Java: bind all GPR loading options Pierre-Marie de Rodat 2025-09-15 14:54:56 +00:00
  • d9e66192bf Merge branch 'mr/pmderodat/26.1-1594' into '26.1' Pierre-Marie de Rodat 2025-10-23 12:21:58 +00:00
  • ffc9ef287c Merge branch 'mr/thevenoux-libadalang#1607' into 'master' Laurent Thévenoux 2025-10-22 14:23:21 +00:00
  • 38010dfb3f Remove the now obsolete dev_manual Laurent Thévenoux 2025-10-22 15:56:52 +02:00
  • 48ed641f81 Merge branch 'topic/1606' into 'master' Rémi Segard 2025-10-21 15:26:26 +00:00
  • 6e4b71509d Add the corresponding_neq_subprogram property Remi Segard 2025-10-21 16:54:02 +02:00
  • 60c63ad79f Preprocessing: add handling for the new -e gnatprep switch Pierre-Marie de Rodat 2025-09-17 14:15:27 +00:00
  • 6266c06a79 Merge branch 'topic/better_forward_decls' into 'master' Pierre-Marie de Rodat 2025-10-21 13:49:01 +00:00
  • 490179ebf8 Adapt LAL grammar to langkit changes Raphaël AMIARD 2025-05-26 16:19:54 +02:00
  • 97600bb346 Merge branch 'topic/1605' into 'master' Rémi Segard 2025-10-21 13:39:54 +00:00
  • 97c0b6b487 Fix the is_operator_name property Remi Segard 2025-10-21 14:25:37 +02:00
  • bd9264f853 Merge branch 'mr/thevenoux-libadalang#1596' into 'master' Laurent Thévenoux 2025-10-17 11:37:31 +00:00
  • bbbb17e116 Fix the most_visible_part property Laurent Thévenoux 2025-10-07 14:43:44 +02:00
  • 120559fac3 minor: reformart is_visible property error message Laurent Thévenoux 2025-09-26 15:59:13 +02:00
  • f6defada4f minor: reformat most_visible_forward_part_for_name comments Laurent Thévenoux 2025-09-19 16:00:24 +02:00
  • fb394b7c8a Merge branch 'mr/pmderodat/diagnostics-branch' into 'master' Pierre-Marie de Rodat 2025-10-16 13:34:13 +00:00
  • 510bea6c7a Testsuite: update baselines after Langkit parser engine fixes Pierre-Marie de Rodat 2025-09-03 14:22:35 +00:00