Commit Graph

  • 5f2a4be656 Python bindings: make the version number PEP 440-compliant Pierre-Marie de Rodat 2023-11-29 15:57:48 +00:00
  • cec1bff0d7 Merge branch 'pmderodat/stylecheck' into 'master' Pierre-Marie de Rodat 2023-11-29 16:29:42 +00:00
  • 84a6d244ef langkit.java_api: fix a coding style issue Pierre-Marie de Rodat 2023-11-29 12:34:49 +00:00
  • 65087856f8 Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-11-28 16:47:45 +00:00
  • 6ea1288e90 C API: make opaque pointers incompatible Pierre-Marie de Rodat 2023-11-28 14:53:01 +00:00
  • e820f2768a Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-11-27 14:53:13 +00:00
  • d399e5cbd0 C API: export symbols for the rewriting API Pierre-Marie de Rodat 2023-11-27 14:12:18 +00:00
  • d37c33e7e2 Merge branch 'topic/720' into 'master' Romain Béguet 2023-11-16 13:52:01 +00:00
  • 5043c4a506 Improve explanations of exceptions during evaluation of partial solution. Romain Beguet 2023-11-08 17:16:00 +01:00
  • 5af47a8b74 Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-11-16 13:12:21 +00:00
  • 449875fb5b Bind the rewriting API to C Pierre-Marie de Rodat 2023-11-13 13:29:52 +00:00
  • 9a956923fd C API: define the default grammar rule as a macro Pierre-Marie de Rodat 2023-11-13 14:14:13 +00:00
  • ca7030428d testsuite/c_support: avoid static functions Pierre-Marie de Rodat 2023-11-13 14:12:52 +00:00
  • 16639a7818 lexer_example: set "var" as alphanumerical Pierre-Marie de Rodat 2023-11-13 13:24:16 +00:00
  • 70ea5c8fe4 pkg_rewriting_impl_spec_ada.mako: minor comment fix Pierre-Marie de Rodat 2023-11-13 13:00:22 +00:00
  • 9f777298d6 $.Rewriting_Impl: minor reformattings Pierre-Marie de Rodat 2023-11-13 12:56:36 +00:00
  • a7efe375ad $.Implementation.C: remove the "private" package qualifier Pierre-Marie de Rodat 2023-10-26 19:37:28 +00:00
  • ee23d99815 misc/rewriting: move to ada_api/ Pierre-Marie de Rodat 2023-10-26 08:27:03 +00:00
  • 83fcccf269 Merge branch 'boris/remove-token' into 'master' Boris Yakobowski 2023-11-08 11:12:44 +00:00
  • de35cde7d0 Simulate token removal Boris Yakobowski 2023-11-02 12:26:53 +01:00
  • 8ead3c8539 Fix multiples 'rules' section Boris Yakobowski 2023-11-02 13:01:05 +01:00
  • 92abcb4a96 Do not run tests if build has failed Boris Yakobowski 2023-11-02 11:51:45 +01:00
  • b0296d9f82 Upgrade CI script to remove the need for a PAT Boris Yakobowski 2023-10-31 17:17:27 +00:00
  • 6857a61642 Merge branch 'pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2023-11-06 11:47:38 +00:00
  • 07c9023053 Langkit_Support.Generic_API.Introspection: add Eval_Syntax_Field Pierre-Marie de Rodat 2023-10-25 07:53:53 +00:00
  • 70dfeb5ee8 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-26 12:11:23 +00:00
  • d0cbf67ddc CI: rectify rules to trigger jobs Pierre-Marie de Rodat 2023-10-26 12:00:05 +02:00
  • 72970f296c Merge branch 'topic/pip_deps' into 'master' Hugo Guerrier 2023-10-26 09:54:49 +00:00
  • 2d2cf54f24 Relax the Pygments version to avoid conflicts Hugo Guerrier 2023-10-24 14:36:47 +02:00
  • 0f9eeb68e3 Merge branch 'pmderodat/ci.package' into 'master' Pierre-Marie de Rodat 2023-10-25 12:48:51 +00:00
  • 774569740c CI: fix packaging on the master branch Pierre-Marie de Rodat 2023-10-25 10:42:16 +00:00
  • 694069ff18 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-25 12:10:24 +00:00
  • 1af558cb41 CI: build Libadalang-doc Pierre-Marie de Rodat 2023-10-25 09:38:10 +00:00
  • 6211a19bd7 CI: build AdaSAT Pierre-Marie de Rodat 2023-10-25 09:36:49 +00:00
  • fed9a2ea85 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-25 10:30:08 +00:00
  • ec6a375112 Various CI cleanups Pierre-Marie de Rodat 2023-10-25 08:23:53 +00:00
  • 38cbf9a04d Merge branch 'pmderodat/rewriting.file_reader' into 'master' Pierre-Marie de Rodat 2023-10-25 08:00:00 +00:00
  • 5e8d7fb910 Allow tree rewriting in the presence of a file reader Pierre-Marie de Rodat 2023-10-24 15:16:52 +00:00
  • c8da901bff Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-10-24 16:03:24 +00:00
  • e9ec236ed2 Rewriting: free node stubs when releasing a rewriting context Pierre-Marie de Rodat 2023-10-24 15:23:16 +00:00
  • 68f4ea96de Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-10-24 12:36:31 +00:00
  • e7e454aebe Rewriting: rework the API to avoid child indexes Pierre-Marie de Rodat 2023-10-20 09:18:58 +00:00
  • de14f01e1d Fix "custom_short_image" handling in the absence of external properties Pierre-Marie de Rodat 2023-10-04 15:14:38 +00:00
  • 94803c0761 Unparsing: make iteration on list nodes explicit Pierre-Marie de Rodat 2023-10-20 15:28:14 +00:00
  • 9cfea25302 misc/rewriting: enhance testcase to cover Child/Set_Child on null fields Pierre-Marie de Rodat 2023-10-20 08:37:26 +00:00
  • b77a343cfa Merge branch 'pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2023-10-18 12:00:03 +00:00
  • e84e46f713 Generic_API: add diagnostics-related functions to Analysis Pierre-Marie de Rodat 2023-10-12 08:47:03 +00:00
  • 76d0c72b43 Generic API: add Get_From_Buffer to Analysis Pierre-Marie de Rodat 2023-10-12 12:17:59 +00:00
  • 4cd5019101 Merge branch 'pmderodat/rewriting.image' into 'master' Pierre-Marie de Rodat 2023-10-18 10:11:54 +00:00
  • 96c96fdb5a $.Rewriting: fix "tied" status for cloned and templated trees Pierre-Marie de Rodat 2023-10-17 20:05:18 +00:00
  • 8b00fb68a7 $.Rewriting: add an Image function for debugging node rewriting handles Pierre-Marie de Rodat 2023-10-17 19:51:18 +00:00
  • 42abd9abfe Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-10-16 07:38:33 +00:00
  • 9bead34b2a Add type annotations to the langkit.utils package Pierre-Marie de Rodat 2023-10-13 13:50:11 +00:00
  • fa3d76f344 Merge branch 'sync/pmderodat/symbols' into 'master' Pierre-Marie de Rodat 2023-10-11 12:28:56 +00:00
  • dc03bead54 C API: simplify type names for node/entity types Pierre-Marie de Rodat 2023-10-10 13:52:03 +00:00
  • 515c1f782a C API: fix type names for iterators Pierre-Marie de Rodat 2023-10-10 13:42:51 +00:00
  • 9f733d52b8 C API: fix type names for arrays Pierre-Marie de Rodat 2023-10-10 13:33:41 +00:00
  • 23407e8250 C API: fix code generation for iterator types Pierre-Marie de Rodat 2023-10-10 13:38:21 +00:00
  • 4aa3e4ed1a Merge branch 'pmderodat/lkt.denoted_values' into 'master' Pierre-Marie de Rodat 2023-10-11 10:35:37 +00:00
  • f03b6dacaf Lkt lowering: remove hacks to get denoted values for strings/char lits Pierre-Marie de Rodat 2023-09-15 08:52:57 +00:00
  • 6dd41e0e9d Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-11 09:31:48 +00:00
  • ddf2890e1a .gitlab-ci.yml: install the latest successful libadalang-doc build Pierre-Marie de Rodat 2023-10-11 10:38:47 +02:00
  • d5689c4726 Merge branch 'pmderodat/predicate.type_check' into 'master' Pierre-Marie de Rodat 2023-10-11 08:46:34 +00:00
  • 382cca737f langkit.parser: fix type checking for Predicate properties Pierre-Marie de Rodat 2023-10-04 09:54:04 +00:00
  • c134cb8aa7 grammar/invalid_predicate: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-10-04 09:42:36 +00:00
  • 9aebe2d1eb Merge branch 'pmderodat/lkt.diagnostics' into 'master' Pierre-Marie de Rodat 2023-10-10 14:48:19 +00:00
  • 064723b9c1 Lkt lowering: improve formatting for parsing/lexing errors Pierre-Marie de Rodat 2023-09-15 08:33:11 +00:00
  • d429d0f31a langkit.diagnostics: do not print source listing without a line number Pierre-Marie de Rodat 2023-09-15 08:37:32 +00:00
  • ce3ed42385 langkit.diagnostics: introduce the non_blocking_error() function Pierre-Marie de Rodat 2023-09-15 08:20:06 +00:00
  • 911e00a4b7 Merge branch 'pmderodat/lkt.preparatory' into 'master' Pierre-Marie de Rodat 2023-10-10 14:13:17 +00:00
  • 835a8ddb39 Lkt lowering: do not use typing to discriminate array concatenation Pierre-Marie de Rodat 2023-09-12 12:39:10 +00:00
  • dea47efd61 Lkt: add optional type information for null literals Pierre-Marie de Rodat 2023-09-12 12:37:47 +00:00
  • b314120db4 Lkt: add optional element type information for array literals Pierre-Marie de Rodat 2023-09-12 11:49:10 +00:00
  • 766efeb552 Lkt: add optional expr type information for raise expressions Pierre-Marie de Rodat 2023-09-12 09:26:29 +00:00
  • 64977e8884 langkit.lkt_lowering: document how lowering works Pierre-Marie de Rodat 2023-09-08 15:29:26 +00:00
  • b10ac8978b Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-10-10 13:40:28 +00:00
  • ff22cf6e7a langkit.expressions.base.LocalVars: add type annotations Pierre-Marie de Rodat 2023-09-08 13:27:01 +00:00
  • b42aadd5be Merge branch 'pmderodat/predicate.external_prop' into 'master' Pierre-Marie de Rodat 2023-10-10 13:08:43 +00:00
  • 80aa5c6d38 Fix codegen for exteral properties used by Predicate parsers Pierre-Marie de Rodat 2023-10-04 10:17:57 +00:00
  • bf34753306 Merge branch 'pmderodat/opt-arg-predicate' into 'master' Pierre-Marie de Rodat 2023-10-10 12:25:03 +00:00
  • ab46369830 Logic predicates: fix the handling of default values + dynamic vars Pierre-Marie de Rodat 2023-10-09 10:42:03 +00:00
  • aca3b882da Merge branch 'topic/jni_stubs_build_dir' into 'master' Hugo Guerrier 2023-10-02 15:52:31 +00:00
  • c7b36d7bbc Add JNI stubs build directory also to PATH env var Hugo Guerrier 2023-10-02 17:04:09 +02:00
  • 291c6e5204 Merge branch 'topic/python_dll_loading' into 'master' Hugo Guerrier 2023-10-02 09:51:11 +00:00
  • 62b82450bd Add flag to generate a DLL directories adding in Python bindings Hugo Guerrier 2023-09-15 17:40:32 +02:00
  • d68a9fe594 Merge branch 'topic/remove_cygwin_pathsep' into 'master' Hugo Guerrier 2023-10-02 09:15:46 +00:00
  • 207663138a Remove path separator special case for Cygwin environment Hugo Guerrier 2023-09-25 13:42:09 +02:00
  • 4cc23f9615 Merge branch 'topic/jni_makefile' into 'master' Hugo Guerrier 2023-10-02 08:34:09 +00:00
  • b87c235bbe Adapt java bindings Makefile to any system Hugo Guerrier 2023-09-20 11:35:25 +02:00
  • 694c2b902d Merge branch 'pmderodat/ci' into 'master' v24.0.0 24.0 Pierre-Marie de Rodat 2023-09-26 14:25:57 +00:00
  • a94d7b2d57 CI: add MR issue checker Pierre-Marie de Rodat 2023-09-26 15:40:02 +02:00
  • d86a022fa9 Merge branch 'sync/fix_memory_corruption' into 'master' Daniel Mercier 2023-09-15 15:45:17 +00:00
  • f9fb9b4e9b Refactor AnalysisContextStruct creation Daniel Mercier 2023-09-15 14:10:24 +02:00
  • 70ed788c04 Merge branch 'pmderodat/lkt.unary_op' into 'master' Pierre-Marie de Rodat 2023-09-15 15:25:09 +00:00
  • c5b93d16d4 Lkt: add parsing support for +/- unary operators Pierre-Marie de Rodat 2023-09-15 14:51:06 +00:00
  • 985d158554 Merge branch 'sync/ocaml_create_context_from_project' into 'master' Daniel Mercier 2023-09-14 14:55:04 +00:00
  • cd63931f2a [ocaml api] Move default extensions Daniel Mercier 2023-09-14 14:43:00 +02:00
  • ffe65566a7 Merge branch 'topic/java_jni_stubs_warnings' into 'master' Hugo Guerrier 2023-09-11 10:22:26 +00:00
  • a49e83f841 Add result value initialization in node property JNI stubs Hugo Guerrier 2023-09-11 11:35:00 +02:00
  • 547ae6aa4e Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-09-11 09:08:03 +00:00