Commit Graph

Select branches

Hide Pull Requests

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020-stable

dependabot/pip/mako-1.2.2

github/fork/Roldak/topic/UB30-020

github/fork/pmderodat/preprocessing

github/fork/raph-amiard/topic/composite_constraint

gpl-2017

lts-18

lts-19

lts-20

lts-21

lts-22

master

pmderodat/doc_build_fix

pmderodat/gpr

raph/fqn_fix

stable

topic/UA13-010

topic/UB16-011

topic/V504-027

topic/V629-020

topic/V708-016

topic/V719-009

topic/W302-009

topic/java_api

topic/ple_units

topic/timeout_wip

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#150

#152

#153

#154

#156

#157

#158

#159

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#170

#171

#172

#173

#175

#176

#177

#178

#179

#181

#182

#183

#184

#185

#186

#187

#188

#189

#190

#191

#192

#193

#194

#196

#197

#198

#199

#200

#201

#203

#204

#205

#206

#207

#208

#209

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#230

#231

#233

#234

#235

#236

#237

#238

#239

#242

#244

#245

#247

#248

#249

#250

#251

#252

#253

#255

#256

#257

#258

#259

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#280

#281

#282

#283

#285

#286

#288

#289

#290

#291

#292

#293

#295

#296

#297

#299

#300

#301

#302

#303

#305

#306

#307

#308

#309

#310

#311

#312

#313

#314

#315

#318

#319

#320

#321

#322

#323

#326

#327

#328

#329

#330

#331

#332

#335

#336

#337

#338

#339

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#350

#351

#352

#353

#354

#355

#356

#357

#359

#360

#361

#363

#364

#365

#366

#367

#368

#369

#370

#371

#372

#373

#374

#375

#376

#377

#378

#380

#382

#383

#384

#385

#386

#387

#388

#389

#390

#391

#392

#393

#394

#395

#396

#397

#398

#399

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#431

#432

#433

#434

#435

#436

#437

#438

#439

#440

#441

#442

#443

#444

#445

#446

#447

#448

#449

#450

#451

#452

#453

#454

#456

#457

#458

#459

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#470

#471

#472

#473

#474

#475

#476

#477

#478

#479

#480

#481

#482

#483

#484

#485

#486

#487

#488

#489

#490

#491

#492

#493

#494

#495

#496

#497

#498

#499

#500

#501

#502

#504

#505

#506

#507

#508

#509

#510

#511

#512

#514

#515

#516

#517

#518

#519

#52

#520

#521

#523

#524

#525

#526

#527

#528

#529

#530

#533

#534

#535

#536

#538

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#550

#551

#552

#554

#555

#556

#557

#558

#559

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#570

#571

#575

#576

#577

#578

#580

#581

#582

#583

#584

#585

#586

#587

#588

#589

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#610

#611

#612

#613

#614

#615

#616

#617

#618

#619

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#630

#631

#632

#633

#634

#636

#637

#638

#639

#64

#640

#641

#642

#643

#644

#645

#646

#647

#648

#649

#65

#650

#651

#652

#653

#654

#655

#656

#657

#658

#659

#66

#660

#661

#662

#664

#665

#666

#667

#668

#669

#67

#670

#671

#672

#673

#674

#675

#676

#677

#678

#679

#68

#681

#682

#683

#685

#686

#687

#688

#689

#69

#690

#691

#692

#693

#694

#695

#696

#697

#698

#699

#70

#700

#702

#703

#704

#705

#706

#707

#709

#71

#710

#711

#712

#713

#714

#715

#716

#717

#718

#719

#72

#721

#722

#723

#724

#725

#726

#727

#728

#729

#73

#730

#731

#732

#733

#734

#735

#736

#737

#738

#74

#740

#741

#742

#743

#744

#745

#746

#747

#748

#749

#75

#750

#751

#752

#753

#754

#755

#756

#757

#758

#759

#76

#760

#761

#762

#763

#764

#765

#766

#767

#768

#769

#770

#771

#772

#773

#774

#775

#776

#777

#778

#779

#78

#780

#781

#782

#783

#784

#785

#786

#787

#788

#789

#79

#790

#791

#792

#793

#794

#795

#796

#797

#798

#799

#80

#800

#801

#802

#803

#804

#805

#806

#807

#808

#809

#81

#810

#811

#812

#813

#814

#815

#816

#817

#818

#819

#82

#820

#821

#822

#823

#824

#825

#826

#827

#828

#829

#83

#830

#831

#832

#833

#834

#835

#836

#837

#838

#839

#84

#840

#841

#842

#843

#844

#845

#846

#847

#848

#849

#85

#850

#851

#852

#853

#854

#856

#857

#858

#859

#86

#860

#861

#863

#864

#865

#866

#867

#868

#869

#87

#870

#871

#872

#873

#874

#875

#876

#877

#878

#879

#880

#881

#882

#883

#884

#885

#886

#887

#888

#889

#89

#890

#891

#893

#894

#895

#896

#898

#899

#90

#900

#901

#902

#903

#904

#906

#907

#908

#909

#91

#910

#911

#912

#913

#914

#915

#916

#917

#918

#919

#92

#920

#921

#922

#923

#924

#925

#926

#927

#928

#929

#93

#930

#931

#932

#933

#934

#935

#936

#937

#938

#939

#94

#940

#941

#942

#948

#95

#951

#956

#96

#963

#968

#968

#97

#976

#98

#99

latest

v21.0.0

v22.0.0

v23.0.0

v24.0.0

v25.0.0

v26.0.0

Mono Color

• 2b8daa645d Fix CaseExpr's xref_equation Laurent Thévenoux 2025-07-31 17:19:40 +02:00
• c8460879df minor: reformat CaseExpr.xref_equation Laurent Thévenoux 2025-08-01 10:19:26 +02:00
• d049acb98b Merge branch 'topic/taint_aspects' into 'master' Daniel Mercier 2025-07-25 16:03:51 +00:00
• d2fee07951 Add equations for GNATSAS aspects Taint_<property> Daniel Mercier 2025-07-17 16:47:50 +02:00
• 266c9b365b Merge branch 'mr/pmderodat/release-script' into 'master' Pierre-Marie de Rodat 2025-07-24 08:53:25 +00:00
• 217c35bb90 utils/release.sh: prepare for release 26 Pierre-Marie de Rodat 2025-07-23 09:53:22 +00:00
• d66fa86019 Merge branch 'topic/523/24-sus' into '24-sustained' Laurent Thévenoux 2025-07-23 09:43:52 +00:00
• ac2d39df2e Fix get_primitives regarding non-inherited late primitives Laurent Thévenoux 2025-07-15 14:05:03 +02:00
• 5bf7d97ff3 Merge branch 'topic/gnatcoll-core/132' into 'master' Laurent Thévenoux 2025-07-17 09:06:12 +00:00
• d28ed8433b Revert "XFAIL project_error_4 test because of a GNATCOLL.Opt_Parse issue" Laurent Thévenoux 2025-07-17 09:49:45 +02:00
• 40c28fbb39 Merge branch 'topic/lkql/523' into 'master' Laurent Thévenoux 2025-07-16 14:12:29 +00:00
• 4080f7d81a Fix get_primitives regarding non-inherited late primitives Laurent Thévenoux 2025-07-15 14:05:03 +02:00
• 29b01205f9 Merge branch 'topic/gnatcoll-core/132' into 'master' Laurent Thévenoux 2025-07-16 11:57:37 +00:00
• dc225a1f4f XFAIL project_error_4 test because of a GNATCOLL.Opt_Parse issue Laurent Thévenoux 2025-07-15 17:20:11 +02:00
• 437ad5145d Merge branch 'topic/1568' into 'master' Laurent Thévenoux 2025-07-09 13:46:28 +00:00
• 50ca4e344e Improve error recovery when parsing incomplete package declaration Laurent Thévenoux 2025-07-09 14:22:09 +02:00
• 60aa52af6f Merge branch 'mr/pmderodat/unparsing-record-long-comment' into 'master' Pierre-Marie de Rodat 2025-07-09 08:01:18 +00:00
• 3c80e496f2 Unparsing: fix formatting of long comments in record type declarations Pierre-Marie de Rodat 2025-07-02 12:16:57 +00:00
• 728e4d8c05 Merge branch 'mr/pmderodat/cb' into 'master' Pierre-Marie de Rodat 2025-07-08 14:46:53 +00:00
• 871ed3ba42 CB: do not override GPR2 sources Pierre-Marie de Rodat 2025-07-08 14:47:28 +02:00
• a610c2c4db gitlab-ci.plan: do not build gnatformat explicitly Pierre-Marie de Rodat 2025-07-08 14:43:20 +02:00
• bc17bbd124 Merge branch 'mr/pmderodat/unparsing-config-error-synth' into 'master' Pierre-Marie de Rodat 2025-07-08 12:20:27 +00:00
• 28b7af7f41 Remove node configs for error nodes from the default unparsing config Pierre-Marie de Rodat 2025-07-08 09:02:23 +00:00
• 086de17aba Merge branch 'mr/gnatformat_issue_194' into 'master' Monika Kurovszky 2025-07-08 10:18:45 +00:00
• b573e3cb61 Unparsing: Add whitespace around colon in ForLoopVarDecl Joao Azevedo 2025-06-11 11:02:04 +00:00
• 461ad6bdda Merge branch 'mr/pmderodat/intra-test-jobs' into 'master' Pierre-Marie de Rodat 2025-07-03 13:52:42 +00:00
• a0aea80489 Testsuite: add an --intra-test-jobs command line argument Pierre-Marie de Rodat 2025-06-30 15:07:55 +00:00
• 89afac143f Merge branch 'mr/pmderodat/lkt-unused-entities' into 'master' Pierre-Marie de Rodat 2025-06-27 13:53:44 +00:00
• c10a5391fe ada/nodes.lkt: fix warning about unused lambda args Pierre-Marie de Rodat 2025-06-11 13:54:35 +00:00
• 57f38341bf Merge branch 'mr/gnatformat_issue_196' into 'master' Monika Kurovszky 2025-06-27 10:20:02 +00:00
• 629b8a9520 Unparsing: fix indentation of Subunit Joao Azevedo 2025-06-11 13:31:51 +00:00
• 8577b7473b Merge branch 'topic/1563' into 'master' Laurent Thévenoux 2025-06-25 13:41:28 +00:00
• 569a9426ec Improve record representation clause completion suggestions Laurent Thévenoux 2025-06-09 16:51:22 +02:00
• 307c30a2d4 Merge branch 'topic/lkql/generic' into 'master' Laurent Thévenoux 2025-06-25 12:13:04 +00:00
• ca07fe6c69 Adapt Java API to the generic LangkitSupport interface Laurent Thévenoux 2025-04-14 15:49:58 +02:00
• 0e9e776a5b Merge branch 'topic/1565' into 'master' Laurent Thévenoux 2025-06-25 11:23:00 +00:00
• da8e6d4a58 Fix support for Pre/Post_Class pragmas Laurent Thévenoux 2025-06-19 12:25:20 +02:00
• 4eb287388a Reformat get_aspect_impl property Laurent Thévenoux 2025-06-19 11:31:34 +02:00
• bd4e6bf4db Make has_aspect test valid Ada Laurent Thévenoux 2025-06-19 11:24:32 +02:00
• 7fce2ae90d Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-06-17 12:18:02 +00:00
• f45544ea73 User Manual: switch to lkm Pierre-Marie de Rodat 2025-06-17 09:13:52 +00:00
• 9645f37584 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2025-06-17 09:15:17 +00:00
• 27f0a99c59 ada/nodes.lkt: remove unused dynamic variable bindings Pierre-Marie de Rodat 2025-06-11 13:51:00 +00:00
• b79d62384b Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-06-09 13:19:49 +00:00
• 439f2ecf4a Add Langkit_Support.Generic_API to Libadalang's User Manual Pierre-Marie de Rodat 2025-06-03 12:49:26 +00:00
• 178baadfb7 Merge branch 'topic/langkit_946' into 'master' Romain Béguet 2025-06-03 14:50:47 +00:00
• f2804bc0d2 Add documentation for 'primitives' ref category. Romain Beguet 2025-06-03 15:09:19 +02:00
• e0f370219d Rename 'inherited_primitives' category to 'primitives'. Romain Beguet 2025-05-28 14:42:23 +02:00
• e7e2f56262 Properly categorize use type clauses as referenced primitives. Romain Beguet 2025-03-20 08:39:44 +01:00
• 527018ddef Merge branch 'mr/pmderodat/pred-format' into 'master' Pierre-Marie de Rodat 2025-06-03 11:54:55 +00:00
• 4a08ab7b38 libadalang-semantic_diagnostics.adb: add a comment about escape seqs. Pierre-Marie de Rodat 2025-05-20 09:50:00 +00:00
• 8cb529fd0f nodes.lkt: minor reformatting Pierre-Marie de Rodat 2025-05-20 09:49:33 +00:00
• 94f77826cc Merge branch 'mr/pmderodat/reformatting' into 'master' Pierre-Marie de Rodat 2025-06-03 08:17:55 +00:00
• e2863d9d92 Fix indentation of comments in multiple extension sources Pierre-Marie de Rodat 2025-05-22 12:47:07 +00:00
• e98f672d86 Merge branch 'mr/pmderodat/windows' into 'master' Pierre-Marie de Rodat 2025-05-26 14:00:01 +00:00
• 15a4e893dc ada_api/gpr2_missing_file: use To_UTF8 instead of Image Pierre-Marie de Rodat 2025-05-26 13:27:07 +00:00
• 59add10697 Merge branch 'topic/from_origin' into 'master' Raphaël Amiard 2025-05-26 13:44:01 +00:00
• ddeaee4806 Preemptively adapt to from being a kw in Langkit Raphaël AMIARD 2025-05-22 15:46:58 +02:00
• 899bb774e3 Merge branch 'topic/1560' into 'master' Romain Béguet 2025-05-26 11:36:37 +00:00
• 0dc5ed26c9 Allow any integer type in the To_Address attribute. Romain Beguet 2025-05-23 14:24:09 +02:00
• 61c9b01b4c Merge branch 'mr/pmderodat/gpr-missing-file' into 'master' Pierre-Marie de Rodat 2025-05-23 15:22:13 +00:00
• 8ebce96c7a Libadalang.Project_Provider.Default_Filename_For_Unit: fix crashes Pierre-Marie de Rodat 2025-05-23 13:22:17 +00:00
• 6741a4e0bd Merge branch 'topic/1557' into 'master' Romain Béguet 2025-05-23 10:03:07 +00:00
• f49dd0fd32 Handle arbitrary expression as container aggregate's LHS. Romain Beguet 2025-05-22 17:35:16 +02:00
• 3547ec0121 Add missing case of specifying custom aggregates. Romain Beguet 2025-05-22 15:43:28 +02:00
• 123fa03f85 Refactor processing of Aggregate aspect assocs. Romain Beguet 2025-05-22 15:35:45 +02:00
• 30ab0ed62f Merge branch 'mr/pmderodat/prep-error-long-filename' into 'master' Pierre-Marie de Rodat 2025-05-23 09:24:21 +00:00
• ced712b2f4 Preprocessing: inculde the basename only in error messages Pierre-Marie de Rodat 2025-05-22 08:49:45 +00:00
• abb5c5aac5 Merge branch 'mr/pmderodat/gpr-missing-file' into 'master' Pierre-Marie de Rodat 2025-05-23 07:42:04 +00:00
• 86e2d5df95 Libadalang.Project_Provider: use naming convention for missing files Pierre-Marie de Rodat 2025-04-15 09:46:22 +00:00
• 8f1bef819f Libadalang.Unit_Files.Unit_String_Name: fix handling of chars 128 .. 255 Pierre-Marie de Rodat 2025-04-16 16:11:29 +02:00
• 62483da15f Merge branch 'topic/inline_always' into 'master' Raphaël Amiard 2025-05-19 13:29:59 +00:00
• d208d3f55e Add support for Inline_Always Raphaël AMIARD 2025-02-12 09:48:31 +01:00
• 2febb4ae8d Merge branch 'mr/pmderodat/file-readers' into 'master' Pierre-Marie de Rodat 2025-05-13 16:06:24 +00:00
• 4102860ab0 Libadalang.Preprocessing: expose file refiners for preprocessing Pierre-Marie de Rodat 2025-04-22 09:41:08 +00:00
• 7085f9fa27 libadalang-preprocessing.adb: remove an obsolete comment Pierre-Marie de Rodat 2025-04-22 08:15:05 +00:00
• f11400a399 Merge branch 'topic/1556' into 'master' Romain Béguet 2025-05-07 14:31:40 +00:00
• fc5be8aa3e Fix is_definite_subtype for chained subtype declarations. Romain Beguet 2025-05-07 16:11:59 +02:00
• 558290e47a Merge branch 'mr/gnatformat_183' into 'master' João Azevedo 2025-04-29 15:26:46 +00:00
• c622ef2f0c Unparsing: fix (Generic)SubpRenamingDecl regression Joao Azevedo 2025-04-28 16:46:02 +00:00
• 85d1ff68cd Merge branch 'mr/gnatformat_179_181' into 'master' João Azevedo 2025-04-23 19:41:01 +00:00
• 57240d3ef5 Unparsing: improve loop specs, quantified exprs and iterated assocs Joao Azevedo 2025-04-15 08:13:08 +00:00
• 1b82c278ab Merge branch 'mr/gnatformat_178' into 'master' João Azevedo 2025-04-23 17:01:29 +00:00
• 66746ec4ae Unparsing: line break after 'renames' keyword Joao Azevedo 2025-04-15 07:24:15 +00:00
• 0b9fe4581f Merge branch 'mr/gnatformat_180' into 'master' João Azevedo 2025-04-23 13:30:27 +00:00
• 3116181396 Unparsing: align comments with the when keyword on case stmts Joao Azevedo 2025-04-15 10:16:11 +00:00
• a85a5a1644 Merge branch 'topic/1550' into 'master' Romain Béguet 2025-04-17 13:16:07 +00:00
• 11039ddf1c Remove invalid usage of custom empty env for optimization purposes. Romain Beguet 2025-03-10 16:20:42 +01:00
• 610c640214 Merge branch 'topic/1554' into 'master' Romain Béguet 2025-04-17 09:54:58 +00:00
• 83d068da5d Test Lkt typer on Ada spec. Romain Beguet 2025-04-17 11:13:21 +02:00
• 5d47af3bf3 Merge branch 'mr/pmderodat/generic-rewriting' into 'master' Pierre-Marie de Rodat 2025-04-16 14:35:55 +00:00
• 9cab4078cd extensions/src: update after recent internal API changes in Langkit Pierre-Marie de Rodat 2025-04-04 14:19:09 +00:00
• b14012da42 Merge branch 'topic/remove_referenced_from' into 'master' Romain Béguet 2025-04-16 14:23:07 +00:00
• 17a3204f0a Use Set types for faster lookups. Romain Beguet 2025-04-09 12:33:41 +02:00
• 657c921ed3 Do not rely on referenced_from anymore. Romain Beguet 2025-03-28 09:59:11 +01:00
• f960516da2 Handle package renamings in withed_units property. Romain Beguet 2025-03-28 09:53:29 +01:00
• 40600d0eb4 Merge branch 'topic/1551' into 'master' Romain Béguet 2025-04-16 13:09:57 +00:00
• c54deec29e Make [base/root]_subp_decls work on untagged types as well. Romain Beguet 2025-04-02 17:41:05 +02:00
• f2cf54e56e Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2025-04-16 06:15:14 +00:00
• 9bac71f9dc Testsuite: use lal_unparse to check unparsing Pierre-Marie de Rodat 2025-04-08 13:08:35 +00:00