Commit Graph

  • 5b8c467cac Improve rule duplicates handling Laurent Thévenoux 2026-01-05 17:22:13 +01:00
  • 412a4e26f1 Merge branch 'mr/thevenoux/gnatcheck#68' into 'master' Laurent Thévenoux 2026-01-08 13:46:33 +00:00
  • 75644bd8e8 Add detector for KP 20273 Laurent Thévenoux 2026-01-07 11:49:15 +01:00
  • fecd6aa82f Merge branch 'topic/autofix_reformatting_2' into 'master' Romain Béguet 2026-01-06 15:51:55 +00:00
  • 055113dd56 Update baselines following partial formatting improvement. Romain Beguet 2025-10-14 12:10:46 +02:00
  • b96e35e343 Fix formatting of bool_negations. Romain Beguet 2025-10-15 17:04:30 +02:00
  • 2f0b0b70e2 Merge branch 'topic/lkql_jit/fallback_dumb_repl' into 'master' Hugo Guerrier 2026-01-05 10:39:46 +00:00
  • 906f973c11 Fallback on a 'dumb' terminal when failing to create a system one Hugo Guerrier 2025-12-16 08:28:45 -08:00
  • 8b89ca0150 Merge branch 'topic/finally_part' into 'master' Hugo Guerrier 2025-12-19 08:50:39 +00:00
  • ada7a312fe Update test baselines following the 'finally' part support in Libadalang Hugo Guerrier 2025-12-18 11:05:56 +01:00
  • f3c76a87d2 Merge branch 'topic/rework_prod' into 'master' Hugo Guerrier 2025-12-17 09:16:47 +00:00
  • bbd7776513 Update .gitignore to ignore generated doc files Hugo Guerrier 2025-12-08 16:28:14 +01:00
  • f8799c2861 Remove generated documentation from the repo Hugo Guerrier 2025-12-08 16:24:06 +01:00
  • 5c6d0f9a4f Generate all documentations when calling top-level 'doc' target Hugo Guerrier 2025-12-08 15:55:24 +01:00
  • db654dc59e Ensure all paths are escaped in the Makefile Hugo Guerrier 2025-12-15 15:45:50 +01:00
  • e5288e5127 Remove 'NPMRC' and 'NPM_INSTALL_CACHE' Makefile variable Hugo Guerrier 2025-12-02 14:25:53 +01:00
  • 3ac7b9dc29 Remove the 'automated' Makefile target Hugo Guerrier 2025-12-02 14:24:40 +01:00
  • 4dc291fc46 Add a 'ADDITIONAL_MAVEN_ARGS' Makefile variable Hugo Guerrier 2025-12-02 12:58:53 +01:00
  • 6588ff2878 Forward 'PROCS' when possible Hugo Guerrier 2025-12-02 12:05:42 +01:00
  • 739a937060 Always use the 'GPRBUILD' variable to spawn 'gprbuild' Hugo Guerrier 2025-12-02 12:05:28 +01:00
  • ff6ab69dca Remove 'doc' from the 'all' dependencies Hugo Guerrier 2025-12-01 16:05:35 +01:00
  • fd0389c643 minor: Rename 'gnatcheck' target into 'lkql_checker' Hugo Guerrier 2025-12-01 15:56:13 +01:00
  • ee82ae071d Change order of targets to be more clear Hugo Guerrier 2025-12-01 15:55:32 +01:00
  • c0663f2b95 Rename 'build_lkql_native_jit' target into 'lkql_jit' Hugo Guerrier 2025-12-01 15:51:01 +01:00
  • ca69f709e7 Rework the 'lkql' target Hugo Guerrier 2025-12-01 16:13:36 +01:00
  • 34173f402f Split LKQL bindings installation phase Hugo Guerrier 2025-12-01 15:31:06 +01:00
  • 915b0dcec8 Simplify Lkm command and arguments computing Hugo Guerrier 2025-12-01 15:17:06 +01:00
  • 2d4af8ef16 Remove some unused things in Makefile Hugo Guerrier 2025-12-01 14:45:32 +01:00
  • 4e69e57865 minor: Rewrite the 'clean_lkql_jit' target Hugo Guerrier 2025-12-01 15:27:37 +01:00
  • 5911e1c4f1 minor: Reformat variable declarations in Makefile Hugo Guerrier 2025-12-01 12:40:27 +01:00
  • 0c33909d6c Merge branch 'topic/remove_selector_pattern_binding' into 'master' Killian Perlin 2025-12-16 16:36:27 +00:00
  • 30f3846b17 Remove selector pattern binding Killian Perlin 2025-12-15 12:44:48 +01:00
  • 2498f7878c Merge branch 'mr/thevenoux/gnatcheck#69' into 'master' Laurent Thévenoux 2025-12-15 14:55:58 +00:00
  • 06b71ab34f GNATcheck: improve documentation about default LKQL rule file Laurent Thévenoux 2025-12-15 14:39:16 +01:00
  • 89d00485c0 Merge branch 'topic/query_comprehension' into 'master' Killian Perlin 2025-12-11 09:31:36 +00:00
  • 1a42f990e4 Add lowering for the safe access 'DotExpr' Lkt node Killian Perlin 2025-11-25 13:25:53 +01:00
  • ec7bb5cc04 Update new passing lkt_refactor flags Killian Perlin 2025-11-25 13:28:53 +01:00
  • 25efc21b1e Add QueryComprehension Killian Perlin 2025-11-21 15:29:29 +01:00
  • 32a51d2421 Simplify ListComprehension node Killian Perlin 2025-11-18 15:51:08 +01:00
  • 78aa8500d5 Simplify ListComprehension framing Killian Perlin 2025-11-18 12:00:19 +01:00
  • fb602a7051 Refactoring for query comprehension Killian Perlin 2025-11-13 15:11:20 +01:00
  • c349fe363a Add all_nodes to prelude Killian Perlin 2025-12-01 14:39:33 +01:00
  • 410c3d63b3 Make 'units()' primitive lazy Killian Perlin 2025-11-28 15:54:46 +01:00
  • d95d17d19e Merge branch 'topic/backport_26.1/gnatformat_version' into '26.1' 26.1 Hugo Guerrier 2025-12-05 10:52:54 +00:00
  • 0f9d752a03 Disable source format checking in the CI Hugo Guerrier 2025-09-29 14:58:06 +02:00
  • 833955132e Merge branch 'mr/pmderodat/26.1-ci' into '26.1' Pierre-Marie de Rodat 2025-12-05 10:36:14 +00:00
  • 75a3ecc3fd Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2025-12-05 10:36:11 +00:00
  • 985e7baee3 CI: use the same version of e3-testsuite as the Anod sandbox Pierre-Marie de Rodat 2025-12-05 11:04:50 +01:00
  • 584048cd3b CI: use the same version of e3-testsuite as the Anod sandbox Pierre-Marie de Rodat 2025-12-05 11:04:50 +01:00
  • 74a2166bf9 Merge branch 'mr/thevenoux/release#2175' into '26.1' Laurent Thévenoux 2025-12-04 16:51:30 +00:00
  • be41f7925d Merge branch 'mr/thevenoux/gnatcheck#67' into 'master' Laurent Thévenoux 2025-12-04 14:08:25 +00:00
  • 668c188225 gnatcheck driver: make version output refiner release candidate compatible Laurent Thévenoux 2025-12-04 14:39:56 +01:00
  • ccbf9f83c9 gnatcheck driver: make version output refiner release candidate compatible Laurent Thévenoux 2025-12-04 14:39:56 +01:00
  • b7969a69df Merge branch 'mr/thevenoux/langkit-query-language#471' into 'master' Laurent Thévenoux 2025-12-01 10:49:46 +00:00
  • 8d8b14aad2 GNATcheck/LKQL: get rid of LKQL_RULES_PATH env variable Laurent Thévenoux 2025-11-28 16:01:04 +01:00
  • 9a9f779904 Merge branch 'topic/pre_commit/add_python_hooks' into 'master' Hugo Guerrier 2025-11-27 16:17:26 +00:00
  • e03fff91ac Resolved all violations reported by Flake8 Hugo Guerrier 2025-11-26 12:21:41 +01:00
  • b7783289be Add a Flake8 phase in pre-commit hooks Hugo Guerrier 2025-11-26 12:21:22 +01:00
  • 47d779bc8e Format all Python sources with Black Hugo Guerrier 2025-11-26 10:37:29 +01:00
  • 73f4708b13 Add a Black formatting phase in pre-commit hooks Hugo Guerrier 2025-11-26 10:37:06 +01:00
  • f1296560da Merge branch 'topic/lkql_jit/add_streams' into 'master' Hugo Guerrier 2025-11-27 10:10:21 +00:00
  • 85cf31a418 Merge 'builtins/str_length' and 'builtins/list_length' test cases Hugo Guerrier 2025-11-24 17:40:56 +01:00
  • 5fe220ebbd Move all test cases about built-ins in a specific directory Hugo Guerrier 2025-11-24 17:39:19 +01:00
  • 1c0ca34674 Remove the 'interpreter/user_fn_doc' test case Hugo Guerrier 2025-11-24 17:35:58 +01:00
  • 679e82a6fd Introduce the 'flat_map' built-in method in the ''Iterable' type Hugo Guerrier 2025-11-24 17:26:02 +01:00
  • 860a3b24f8 Introduce the 'flatten' built-in method Hugo Guerrier 2025-11-24 14:38:56 +01:00
  • 2c73b420f5 Rework the 'map' built-in Hugo Guerrier 2025-11-21 14:50:41 +01:00
  • a625ac3369 Add lowering for the 'LambdaExpr' Lkt node Hugo Guerrier 2025-11-20 17:39:19 +01:00
  • a59efd7919 Add Streams in the LKQL engine Hugo Guerrier 2025-11-19 15:55:11 +01:00
  • 8f334ed36c Add special lowering for the 'Unit()' function call Hugo Guerrier 2025-11-19 14:16:21 +01:00
  • 56d130e5fe Add lowering for the 'SubscriptExpr' Lkt node Hugo Guerrier 2025-11-19 14:15:08 +01:00
  • 22c25f02ce Add lowering for the 'ArrayLiteral' Lkt node Hugo Guerrier 2025-11-19 14:11:34 +01:00
  • 07a9c4d56e Add lowering for the 'ParenExpr' Lkt node Hugo Guerrier 2025-11-19 14:10:12 +01:00
  • f0161825e2 Don't call the 'compute_diff' function when expecting a 'lkt_refactor' test to fail Hugo Guerrier 2025-11-24 15:24:00 +01:00
  • 90a9aeec92 Correct a syntax error in LKQL to Lkt emitted code Hugo Guerrier 2025-11-24 15:25:03 +01:00
  • 719a594407 Rework the 'BaseLKQLLazyList' interface Hugo Guerrier 2025-11-14 16:18:50 +01:00
  • c2ffa241dc Rename 'LKQLLazyList' into 'BaseLKQLLazyList' Hugo Guerrier 2025-11-13 17:10:54 +01:00
  • 280d877351 minor: Remove the useless method 'BaseRootNode.getRealCallTarget' Hugo Guerrier 2025-11-14 17:18:50 +01:00
  • 3142fd871b minor: Remove a useless parameter in 'BaseLKQLLazyList.toDisplayString' Hugo Guerrier 2025-11-14 16:52:46 +01:00
  • a2d84c9c1e Merge branch 'topic/quick_fix_test_rewrite' into 'master' Killian Perlin 2025-11-21 15:24:29 +00:00
  • 76569ac6e9 Fix: Rewriting tests was broken by previous changes Killian Perlin 2025-11-21 16:05:42 +01:00
  • 8d6e084a37 Merge branch 'mr/thevenoux/gnatcheck#2' into 'master' Laurent Thévenoux 2025-11-21 14:43:58 +00:00
  • a701ebba1b lkql_checker: move main into lkql_checker package. Laurent Thévenoux 2025-11-21 11:36:19 +01:00
  • 6c84fb287a lkql_checker: remove useless references to gnatkp Laurent Thévenoux 2025-10-17 14:57:31 +02:00
  • 7c7c6e1c1e lkql_checker: base executable name on Lkql_Checker_Mode Laurent Thévenoux 2025-10-17 14:41:42 +02:00
  • ecee2e2909 lkql_checker: make gnatcheck and gnatkp separate objects Laurent Thévenoux 2025-10-16 17:04:48 +02:00
  • 76c2e0e1a0 Merge branch 'mr/thevenoux/langkit-query-language#549' into 'master' Laurent Thévenoux 2025-11-21 14:24:13 +00:00
  • ca1fd8af77 Fix polyglot engine cache directory location Laurent Thévenoux 2025-11-20 17:08:39 +01:00
  • 3076994115 Merge branch 'topic/gnatcheck/fix_symlink_restrictions' into 'master' Hugo Guerrier 2025-11-21 14:07:39 +00:00
  • a88bd014a0 Ensure the ADC file path is normalized Hugo Guerrier 2025-11-12 14:49:00 +01:00
  • 0fd8bfccc0 Merge branch 'mr/thevenoux/gnatcheck/66' into 'master' Laurent Thévenoux 2025-11-21 13:30:34 +00:00
  • 70c6a45571 Remove the gnatkp detector issue template Laurent Thévenoux 2025-11-20 15:53:25 +01:00
  • c0e99d91b0 Merge branch 'mr/thevenoux/langkit-query-language#587' into 'master' Laurent Thévenoux 2025-11-21 13:13:51 +00:00
  • 141e1d041b Add detector for KP 20229 Laurent Thévenoux 2025-11-20 14:52:02 +01:00
  • ec28e536c7 Merge branch 'topic/auto_lkt_flag_test' into 'master' Killian Perlin 2025-11-21 08:54:01 +00:00
  • 5dd3181e4d Systematically test Lkt translation Killian Perlin 2025-11-20 15:06:20 +01:00
  • d18be81d02 Merge branch 'topic/kp_20227' into 'master' Hugo Guerrier 2025-11-19 13:40:40 +00:00
  • d5e80b66a5 Add detector for KP 20227 Hugo Guerrier 2025-11-19 11:47:24 +01:00
  • 4d40f1b2d0 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2025-11-18 10:11:32 +00:00
  • b88b9cb215 lkql_jit: remove useless call to setConfigPragmasMapping Pierre-Marie de Rodat 2025-11-18 09:27:24 +00:00