Commit Graph

  • 829022a7fa Merge branch 'topic/gnatcheck/exit_code' into 'master' master Hugo Guerrier 2026-02-12 11:26:32 +00:00
  • 1551e50360 Ensure exit code reflects internal errors Hugo Guerrier 2026-02-05 12:25:06 +01:00
  • c88c5ab368 Merge branch 'mr/thevenoux/gnatcheck#81' into 'master' Laurent Thévenoux 2026-02-12 10:56:09 +00:00
  • c8cdf5d798 Add detector for KP 19238 Laurent Thévenoux 2026-02-10 11:45:52 +01:00
  • 55ae0760d9 Merge branch 'topic/struct_support' into 'master' Killian Perlin 2026-02-11 13:13:01 +00:00
  • 8acc4dbce0 Add struct destructuring support Killian Perlin 2026-02-04 11:50:53 +01:00
  • 88a69ee293 Add struct instanciation support Killian Perlin 2026-01-28 18:00:53 +01:00
  • ed72ac1a41 Refactor declaration building in LktPasses Killian Perlin 2026-01-28 17:59:01 +01:00
  • 20dc3ed4af minor: Fix typo Killian Perlin 2026-01-23 12:15:26 +01:00
  • 370a39e6d6 Change switch statements to switch expressions Killian Perlin 2026-01-23 15:43:31 +01:00
  • 9cab8b04ea Implement property pattern lowering Killian Perlin 2026-01-23 15:40:15 +01:00
  • 98c314a6c8 Merge branch 'topic/gnatcheck/log_attribute' into 'master' Hugo Guerrier 2026-02-06 08:42:30 +00:00
  • 53c94963f3 Rework how GPR switches are processed to enable logging Hugo Guerrier 2026-02-02 12:22:49 +01:00
  • a5767877c1 Disable '-log' switch in GPR 'Switches' Hugo Guerrier 2026-01-29 17:53:06 +01:00
  • 8e498d2388 minor: Fix a typo in a GPR attribute description Hugo Guerrier 2026-01-29 16:46:31 +01:00
  • 0558900718 Merge branch 'topic/gnatcheck/early_process_switches' into 'master' Hugo Guerrier 2026-02-05 15:02:08 +00:00
  • 5d9c624a96 Process help and version flags before GPR file Hugo Guerrier 2026-02-02 17:55:53 +01:00
  • ffa3ae7c51 minor: Remove trailing space in help message Hugo Guerrier 2026-02-02 17:56:37 +01:00
  • 21f6a0efe6 Merge branch 'topic/gnatcheck/empty_target_list' into 'master' Hugo Guerrier 2026-02-05 13:37:21 +00:00
  • 1af173bb41 Avoid crashes when 'gprbuild' return an empty target list Hugo Guerrier 2026-02-04 14:40:57 +01:00
  • 2dfd91dede Merge branch 'mr/thevenoux/gnatcheck#79' into 'master' Laurent Thévenoux 2026-02-04 13:39:35 +00:00
  • a6f2879ba4 Add detector for KP 20330 Laurent Thévenoux 2026-02-02 17:28:38 +01:00
  • acb7b94ff8 Merge branch 'topic/update_docs' into 'master' Killian Perlin 2026-02-02 16:49:17 +00:00
  • 98dcb866da Update docs Killian Perlin 2026-01-20 10:04:44 +01:00
  • 0befc97dc6 Merge branch 'topic/gnatcheck/forward_all_switches' into 'master' Hugo Guerrier 2026-02-02 15:14:39 +00:00
  • 02c2d63912 Forward all GPR switches when spawning a worker Hugo Guerrier 2026-01-30 12:21:09 +01:00
  • 4e9c9a8d54 Merge branch 'mr/pmderodat/langkit-e3' into 'master' Pierre-Marie de Rodat 2026-02-02 11:37:08 +00:00
  • 0638ab3dbc Makefile: decorrelate Python distribs for e3 and Langkit Pierre-Marie de Rodat 2026-01-30 18:02:14 +00:00
  • f88148d9ed Merge branch 'topic/update_lkt_lowering' into 'master' Killian Perlin 2026-01-30 11:02:27 +00:00
  • 06540f1176 Update pattern lowering in lkt frontend Killian Perlin 2026-01-16 14:32:10 +01:00
  • fb0d4b231a Merge branch 'topic/gnatcheck/gpr2_options' into 'master' Hugo Guerrier 2026-01-28 10:55:57 +00:00
  • 24b29ffabb Split GPR related option parsing from tool specific one Hugo Guerrier 2026-01-20 10:37:23 +01:00
  • 4944c83d42 Rename 'Scan_Arguments' into 'Scan_Tool_Arguments' Hugo Guerrier 2026-01-15 12:34:07 +01:00
  • 7b6b23ab4f Rename 'Arg' package into 'Tool_Args' Hugo Guerrier 2026-01-12 11:16:22 +01:00
  • d2f03bdeba Use GPR2 provided option parser to process switches Hugo Guerrier 2026-01-15 13:08:19 +01:00
  • db1f5c7f47 Remove useless storage of the aggregated project name Hugo Guerrier 2026-01-12 12:18:55 +01:00
  • 050d93c9c0 Move more procedures out of the 'Lkql_Checker.Projects' package Hugo Guerrier 2026-01-09 15:52:53 +01:00
  • 657fcd5a32 minor: Remove some unused declarations Hugo Guerrier 2026-01-12 11:37:22 +01:00
  • 6cf2e207bf Move 'Process_Rule_Options' in the 'Lkql_Checker.Options' package Hugo Guerrier 2026-01-09 15:39:58 +01:00
  • fc33165be9 minor: Fix some typos Hugo Guerrier 2026-01-15 11:12:03 +01:00
  • dc325c03a9 minor: Make some reformat in the 'Main' procedure Hugo Guerrier 2026-01-09 14:51:45 +01:00
  • 4312796e28 Move exit codes out from the 'Main' procedure Hugo Guerrier 2026-01-09 14:50:41 +01:00
  • dacf054b90 Move nested subprograms outside of the 'Main' procedure Hugo Guerrier 2026-01-09 14:46:56 +01:00
  • e0362b375d Remove the 'Initialize_Environment' procedure Hugo Guerrier 2026-01-09 14:32:47 +01:00
  • a89f9c86de minor: Reword the doc for the 'Lkql_Checker.Options' package Hugo Guerrier 2026-01-09 15:40:24 +01:00
  • 8b6e706057 Merge branch 'topic/kp_20303' into 'master' Hugo Guerrier 2026-01-27 15:29:55 +00:00
  • 39c8ffe8ab Add detector for KP 20303 Hugo Guerrier 2026-01-13 15:56:42 +01:00
  • 758c22ebc4 Merge branch 'topic/1626' into 'master' Romain Béguet 2026-01-27 08:45:55 +00:00
  • d2954295d3 Update rule following LAL change. Romain Beguet 2026-01-26 19:05:17 +01:00
  • afd49e52e8 Merge branch 'mr/thevenoux/gnatcheck#74' into 'master' Laurent Thévenoux 2026-01-20 15:19:26 +00:00
  • 4182c060a8 Fix non_ambiguous_import test category Laurent Thévenoux 2026-01-20 14:55:17 +01:00
  • a285ce097a Merge branch 'mr/thevenoux/copyrightbump' into 'master' Laurent Thévenoux 2026-01-20 10:08:10 +00:00
  • d0f777a79d Bump copyright year Laurent Thévenoux 2026-01-19 17:32:13 +01:00
  • 22c2cfcbfb Merge branch 'mr/thevenoux/phony' into 'master' Laurent Thévenoux 2026-01-20 09:52:46 +00:00
  • 2f465f81f0 Makefile: fix phony targets Laurent Thévenoux 2026-01-19 17:06:52 +01:00
  • 387421ccdd Merge branch 'mr/thevenoux/langkit-query-language#600' into 'master' Laurent Thévenoux 2026-01-16 11:59:03 +00:00
  • ebf06eecbb Remove GitHub workflows Laurent Thévenoux 2026-01-15 14:48:29 +01:00
  • 4ad24b3c86 Merge branch 'topic/update_prettier_java' into 'master' Hugo Guerrier 2026-01-16 11:04:31 +00:00
  • 7ce165c255 Reformat all Java sources Hugo Guerrier 2026-01-16 11:48:47 +01:00
  • 9d1f82fb6c Remove npm caching from CI Killian Perlin 2025-12-02 15:46:00 +01:00
  • b15d5664f3 Remove useless parser specification in prettier config Hugo Guerrier 2026-01-08 14:27:54 +01:00
  • 77da7f7b49 Upgrade prettier-java to 2.7.6 in pom.xml Killian Perlin 2025-12-02 15:01:12 +01:00
  • 6ed9951817 Merge branch 'topic/lkql_jit/enhance_interop' into 'master' Hugo Guerrier 2026-01-15 20:21:04 +00:00
  • 91bb01110c Don't output built-ins documentation on stdout anymore Hugo Guerrier 2026-01-06 15:08:25 +01:00
  • 2941edecca Move module documentation generation in the 'cli' module Hugo Guerrier 2026-01-05 19:13:24 +01:00
  • 42cbc54aa4 minor: Move methods to the right place in the 'LKQLFunction' class Hugo Guerrier 2026-01-05 19:05:37 +01:00
  • 2e92650213 Add a 'profile' method in 'LKQLCallable' to replace all specific methods Hugo Guerrier 2026-01-05 19:00:09 +01:00
  • 9e7175aad2 Move the 'TextWriter' class into the 'interoperability' module Hugo Guerrier 2026-01-05 11:55:56 +01:00
  • 77fac920e4 Create a base class for namespaces Hugo Guerrier 2025-12-19 15:45:05 +01:00
  • b69e73a372 Create a base class to all LKQL callable values Hugo Guerrier 2025-12-19 15:34:57 +01:00
  • a61924ee1b Move the base for all LKQL values to the 'interoperability' module Hugo Guerrier 2025-12-19 12:23:40 +01:00
  • 00f1430ec9 Create an interop value to represents all LKQL collections Hugo Guerrier 2025-12-18 18:14:01 +01:00
  • d634e3f3ab Create an interop value to represents all object-like values Hugo Guerrier 2025-12-18 18:00:28 +01:00
  • 9164248922 Move the 'LKQLIterator' class into the 'interoperability' module Hugo Guerrier 2025-12-18 16:24:40 +01:00
  • 85102fcd0d Move value interfaces in the 'interoperability' module Hugo Guerrier 2025-12-18 15:41:57 +01:00
  • ac7a11200b Move the 'values' package outside of the 'runtime' one Hugo Guerrier 2025-12-18 14:59:06 +01:00
  • deebdceb5e Move the 'ClosureDescriptor' class into the 'framing_utils' package Hugo Guerrier 2025-12-17 16:58:15 +01:00
  • 92f0f5a28f Move the 'Constants' class in the 'interoperability' module Hugo Guerrier 2025-12-17 16:33:16 +01:00
  • 1cc5c10547 Move the 'IteratorUtils.toStream' function in the 'TranslationPass' class Hugo Guerrier 2025-12-17 15:43:21 +01:00
  • 6ce7e07cc9 Move the 'refactorings' package in the 'cli' module Hugo Guerrier 2025-12-17 16:06:05 +01:00
  • 78fc99c4d8 Rename the 'Refactorings' package into 'refactorings' Hugo Guerrier 2025-12-17 15:34:57 +01:00
  • dc9b0ea35a Add Truffle DSL processing for the 'interoperability' module Hugo Guerrier 2025-12-19 12:27:38 +01:00
  • d6af8cc55b Rename the 'options' module into 'interoperability' Hugo Guerrier 2025-12-17 15:32:22 +01:00
  • 1c6fe90b29 Merge branch 'topic/refactor_selector_patterns' into 'master' Killian Perlin 2026-01-13 10:04:15 +00:00
  • 2ca673317f Add any/all as builtins Killian Perlin 2025-12-12 17:45:02 +01:00
  • a3b2dfa890 Refactoring for selector patterns Killian Perlin 2025-12-11 15:22:27 +01:00
  • 12fba4afc8 Merge branch 'topic/flatten_pattern_ast' into 'master' Killian Perlin 2026-01-12 15:09:03 +00:00
  • ee4af9dd5e Remove useless components in the 'Rule_Command' record Hugo Guerrier 2025-12-17 14:48:10 +01:00
  • aca16cffac Remove ValuePattern abstract class Killian Perlin 2026-01-05 16:06:02 +01:00
  • f7b4dcb18c Flatten AST for patterns Killian Perlin 2025-12-16 11:36:42 +01:00
  • 7bb76403dd Merge branch 'mr/thevenoux/release#2236' into '26.2' 26.2 Laurent Thévenoux 2026-01-12 14:24:58 +00:00
  • 4cc72c35ff gnatcheck test driver: make the version suffix optional Laurent Thévenoux 2026-01-09 10:26:25 +01:00
  • 2b0084d722 Merge branch 'mr/thevenoux/release#2236' into 'master' Laurent Thévenoux 2026-01-09 11:01:41 +00:00
  • a630f65ff9 gnatcheck test driver: make the version suffix optional Laurent Thévenoux 2026-01-09 10:26:25 +01:00
  • 1f88d628fa Merge branch 'mr/thevenoux/libadalang#1642' into 'master' Laurent Thévenoux 2026-01-08 15:04:43 +00:00
  • 3476acf1c9 Fix rules after Libadalang update Laurent Thévenoux 2025-12-02 14:29:28 +01:00
  • 84004fb245 Merge branch 'mr/thevenoux/gnatcheck#72' into 'master' Laurent Thévenoux 2026-01-08 14:30:25 +00:00
  • 4c444acbd2 Add detector for KP 20149 Laurent Thévenoux 2026-01-06 17:10:19 +01:00
  • 061be7135b Merge branch 'mr/thevenoux/gnatcheck#19' into 'master' Laurent Thévenoux 2026-01-08 14:09:10 +00:00
  • 783ba97b85 gnatcheck test driver: canonicalize temporary rules file slocs Laurent Thévenoux 2026-01-06 11:35:36 +01:00