6986 Commits

Author SHA1 Message Date
Hugo Guerrier
38fd121959 Merge branch 'topic/java_driver/native_image_warnings' into 'master'
Java test driver: Pass options to native-image to avoid warnings

See merge request eng/libadalang/libadalang!2101
2026-02-12 14:39:34 +00:00
Hugo Guerrier
624cdffb5e Java test driver: Pass options to native-image to avoid warnings 2026-02-12 15:12:03 +01:00
Pierre-Marie de Rodat
8d242318f4 Merge branch 'mr/pmderodat/ocaml-dune-cache' into 'master'
Testsuite: disable Dune's cache

See merge request eng/libadalang/libadalang!2100
2026-02-11 13:29:40 +00:00
Pierre-Marie de Rodat
ca1544d928 Testsuite: disable Dune's cache
Tests are not supposed to write outside of their working space, so dune
should not use a cache in the home directory: because of this, OCaml
tests currently fail when the Secure Control Plane is enabled. Disable
the Dune Cache to avoid this.
2026-02-11 13:04:54 +00:00
Romain Béguet
cfe7208e2e Merge branch 'topic/1670' into 'master'
Also handle non-trivial package references in renaming clauses.

See merge request eng/libadalang/libadalang!2099
2026-02-02 17:06:47 +00:00
Romain Beguet
1c5df9379b Also handle non-trivial package references in renaming clauses.
The right-hand side of a top-level package renaming actually doesn't
always correspond to the exact name of the unit that holds the designated
package. Thus, this commit partially reverts the previous change so as
to first resolve the designated package.

Only in case the resolution fails does it retry using the name on the
right-hand side, so as to emit a clear error event.
2026-02-02 16:38:47 +01:00
Romain Béguet
7ccc13a061 Merge branch 'topic/1670' into 'master'
Fix resolution of top-level unit renamings.

Closes #1670

See merge request eng/libadalang/libadalang!2098
2026-02-02 10:29:15 +00:00
Romain Beguet
f26fb1da91 Fix resolution of top-level unit renamings. 2026-02-02 10:06:33 +00:00
Pierre-Marie de Rodat
02e4002799 Merge branch 'mr/pmderodat/gpr-glob-pattern' into 'master'
Libadalang.GPR_Utils: robustify wrt glob pattern attribute indexes

Closes #1668

See merge request eng/libadalang/libadalang!2097
2026-01-30 12:11:27 +00:00
Pierre-Marie de Rodat
5f2ca0976c Libadalang.GPR_Utils: robustify wrt glob pattern attribute indexes 2026-01-30 10:49:09 +00:00
Pierre-Marie de Rodat
f7c24779d6 prep/projects: add missing testing parts 2026-01-30 09:48:34 +00:00
Romain Béguet
8eca18674b Merge branch 'topic/1626' into 'master'
Do not propagate metadata in `parent_basic_decl`.

See merge request eng/libadalang/libadalang!2096
2026-01-26 13:50:31 +00:00
Romain Beguet
c43f4b6445 Do not propagate metadata in parent_basic_decl. 2026-01-26 13:48:31 +01:00
Romain Béguet
d9ca7c3b5b Merge branch 'topic/1626' into 'master'
Fix parent_basic_decl/fqn on inherited primitives.

Closes #1626

See merge request eng/libadalang/libadalang!2094
2026-01-23 10:38:13 +00:00
Romain Beguet
9e850729ba Fix parent_basic_decl/fqn on inherited primitives. 2026-01-23 10:17:24 +00:00
Pierre-Marie de Rodat
8b31f924d4 Merge branch 'mr/pmderodat/lkt-modules' into 'master'
Update after the introduction of Lkt modules in Langkit

See merge request eng/libadalang/libadalang!2092
2026-01-21 10:23:42 +00:00
Pierre-Marie de Rodat
0c655bef5d Update after the introduction of Lkt modules in Langkit 2026-01-20 16:09:15 +00:00
Hugo Guerrier
b90fb8dbd8 Merge branch 'topic/java_support/lkql_interop' into 'master'
Java API: Adapt testing to the new packaging

See merge request eng/libadalang/libadalang!2090
2026-01-15 20:20:56 +00:00
Hugo Guerrier
29f0961977 Java API: Adapt testing to the new packaging
With recent work, we don't use shaded JARs anymore, so we have to
explicitly provide paths to Java dependencies.
2026-01-15 16:36:58 +00:00
Laurent Thévenoux
079b41d670 Merge branch 'mr/thevenoux/libadalang#1583' into 'master'
Reapply "expr_eval: add support for Range_Length attribute"

Closes #1583

See merge request eng/libadalang/libadalang!2093
2026-01-15 16:13:57 +00:00
Laurent Thévenoux
f59de7673b Reapply "expr_eval: add support for Range_Length attribute"
This reverts commit 8bc91b291d.

The Constraint_Check on Windows has been fixed by not using the Long
type but simply return static values (which is not a problem since
they are not target dependent).
2026-01-15 15:49:40 +00:00
Pierre-Marie de Rodat
453735abdf Merge branch 'mr/pmderodat/python-unit-provider' into 'master'
Update Python bindings after an internal Langkit-level API change

See merge request eng/libadalang/libadalang!2089
2026-01-14 15:54:22 +00:00
Pierre-Marie de Rodat
5aa1047d93 Update Python bindings after an internal Langkit-level API change 2026-01-14 15:03:44 +00:00
Eric Botcazou
8d09f1253a Merge branch 'mr/botcazou-libadalang#1583' into 'master'
Revert "expr_eval: add support for Range_Length attribute"

See merge request eng/libadalang/libadalang!2091
2026-01-14 00:15:13 +01:00
Eric Botcazou
8bc91b291d Revert "expr_eval: add support for Range_Length attribute"
This reverts commit 7c6899ebf2 because of

libadalang-expr_eval.adb:1559:46: error: value not in range of type "Long"
  defined at gnatcoll-gmp.ads:40

libadalang-expr_eval.adb:1559:46: error: static expression fails
  Constraint_Check

on Windows where "Long" are always 32 bits.

Issue: eng/libadalang/libadalang#1583
2026-01-13 23:53:04 +01:00