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

• f7e4d9f993 Merge branch 'topic/incrementality_driver' into 'master' Romain Béguet 2025-04-02 13:08:12 +00:00
• 233ddefc63 Add incrementality test driver. Romain Beguet 2025-02-18 11:29:57 +01:00
• ffe3963101 Merge branch 'topic/fix_find_all_overrides' into 'master' Romain Béguet 2025-03-31 13:18:48 +00:00
• e7d6ac9ff9 Avoid considering a type completion in find_derived_types. Romain Beguet 2025-03-31 10:20:16 +02:00
• ade34e7a47 Make sure find_all_overrides doesn't contain self. Romain Beguet 2025-03-28 18:56:36 +01:00
• e83dec5e4c Merge branch 'mr/pmderodat/null-cond-subscript' into 'master' Pierre-Marie de Rodat 2025-03-27 15:45:38 +00:00
• a48826bcba Replace a?[i] with a.at(i) after a recent Lkt language change Pierre-Marie de Rodat 2025-03-26 09:04:08 +00:00
• b961247483 Merge branch 'topic/1548' into 'master' Laurent Thévenoux 2025-03-26 14:50:20 +00:00
• 69552e770f Refactor gnat_xref_decl to avoid Lkt warning Laurent Thévenoux 2025-03-26 15:20:25 +01:00
• 120e30eeee Merge branch 'mr/pmderodat/canonicalize-line-endings' into 'master' Pierre-Marie de Rodat 2025-03-26 14:03:27 +00:00
• 107fb88d93 Libadalang.Doc_Utils: do not strip trailing CR chars anymore Pierre-Marie de Rodat 2025-03-26 11:16:46 +00:00
• 9d442c2a71 Merge branch '25.2-1525' into '25.2' 25.2 Romain Béguet 2025-03-24 13:45:02 +00:00
• 9c99370f18 Avoid unnecessary lookups when resolving Ghost aspect. Romain Beguet 2025-01-20 11:56:39 +01:00
• 1a5b8b247b Minor: reformat get_aspect_on_parts property. Romain Beguet 2025-01-17 15:56:46 +01:00
• 3058ed58f2 Merge branch 'topic/1546' into 'master' Romain Béguet 2025-03-24 10:03:59 +00:00
• 4abb5fcac9 Avoid filling metadata on direct primitives. Romain Beguet 2025-03-18 12:02:40 +01:00
• 8c6ad57a21 Merge branch 'mr/pmderodat/parser-null-qualifier' into 'master' Pierre-Marie de Rodat 2025-03-24 08:59:57 +00:00
• a2960b637d Remove spurious @nullable on some parse fields after a Langkit bug fix Pierre-Marie de Rodat 2025-03-20 15:50:48 +00:00
• e35d6dfce6 Merge branch 'mr/gnatformat_issue_172' into 'master' João Azevedo 2025-03-17 15:15:01 +00:00
• 1c63cf61ce Unparsing: remove extra space after BoxExpr in OrdianryFixedPointDef Joao Azevedo 2025-03-17 12:25:01 +00:00
• 70c1cd3f2d Merge branch 'topic/1539' into 'master' Laurent Thévenoux 2025-03-14 13:56:03 +00:00
• 91865842ec Fix Result attribute reference support Laurent Thévenoux 2025-02-18 16:03:35 +01:00
• 9d4e0de433 Merge branch 'mr/pmderodat/printenv' into 'master' Pierre-Marie de Rodat 2025-03-13 13:20:56 +00:00
• de4976fcd7 User Manual: update after the renaming of "lkm setenv" to "lkm printenv" Pierre-Marie de Rodat 2025-03-10 16:09:51 +00:00
• 2fa171e6c0 Merge branch 'mr/pmderodat/gpr' into 'master' Pierre-Marie de Rodat 2025-03-12 16:56:43 +00:00
• 0321c2d7c9 Update test baselines after a change in gprconfig Pierre-Marie de Rodat 2025-03-12 16:37:46 +00:00
• 496b092fc0 Merge branch 'mr/pmderodat/lazy-stack-traces' into 'master' Pierre-Marie de Rodat 2025-03-10 13:49:40 +00:00
• cca65df6f0 Update Ada extensions after a recent Langkit API change Pierre-Marie de Rodat 2025-02-17 11:40:19 +00:00
• 99b21a2582 Merge branch 'mr/gnatformat_168' into 'master' João Azevedo 2025-03-06 18:22:24 +00:00
• cb27d46c98 Unparsing: improve comments indentation in IfStmts Joao Azevedo 2025-03-06 16:34:38 +00:00
• babb4ab742 Merge branch 'mr/gnatformat_169' into 'master' João Azevedo 2025-03-06 17:28:54 +00:00
• 96c54b0689 Improve IfExpr style by having each part on its own line Joao Azevedo 2025-03-06 16:51:05 +00:00
• 12369648de Merge branch 'topic/1465' into 'master' Laurent Thévenoux 2025-03-06 09:39:39 +00:00
• e18235c0ad Add support for the External_Initialization aspect Laurent Thévenoux 2024-10-04 17:14:05 +02:00
• 13165d7c1a Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-27 13:44:40 +00:00
• 78fbc449c2 Update after a recent Langkit internal code generation change Pierre-Marie de Rodat 2025-01-30 15:43:09 +00:00
• ff104102e9 Merge branch 'topic/1541' into 'master' Romain Béguet 2025-02-26 14:13:58 +00:00
• f8a651d71a Remove spurious binds to a null logic context. Romain Beguet 2025-02-19 14:34:42 +01:00
• cd9149a85b Merge branch 'mr/pmderodat/support-mail' into 'master' Pierre-Marie de Rodat 2025-02-26 10:16:23 +00:00
• 04adc26d7f Replace occurrences of report@adacore.com with support@ Pierre-Marie de Rodat 2025-02-25 14:41:07 +01:00
• cc17d25384 Merge branch 'mr/pmderodat/gpr2-doc' into 'master' Pierre-Marie de Rodat 2025-02-25 19:18:40 +00:00
• 94755ec059 User Manual: update the Ada API tutorial to use GPR2 Pierre-Marie de Rodat 2025-02-25 14:38:27 +01:00
• 04127ba50a Merge branch 'topic/1509' into 'master' Laurent Thévenoux 2025-02-24 09:58:54 +00:00
• 7a58e196b7 Add is_statically_constrained properties Laurent Thévenoux 2025-02-11 15:20:35 +01:00
• 9e09a926b0 Fix array index detection Laurent Thévenoux 2024-12-16 17:27:55 +01:00
• 16b02c7a04 Fix is_static_subtype implementation Laurent Thévenoux 2025-01-30 15:21:46 +01:00
• a116f45947 Fix is_static_subtype regarding predicate-static expressions Laurent Thévenoux 2025-01-22 16:15:08 +01:00
• 90787cc8e4 Fix get_aspect property regarding subtype predicates Laurent Thévenoux 2025-01-23 14:07:17 +01:00
• 623ce9b86f Fix p_is_definite_subtype Laurent Thévenoux 2025-01-21 10:41:30 +01:00
• 6df6db7fc7 Merge branch 'topic/1164' into 'master' Romain Béguet 2025-02-24 09:25:55 +00:00
• 64fffc75f8 Take predicates into account when computing a subtype's range. Romain Beguet 2025-02-11 14:39:23 +01:00
• 97b02af49f Add discrete_range for enums. Romain Beguet 2025-02-07 17:05:26 +01:00
• 0f06b11079 Implement choice match for static ranges. Romain Beguet 2025-02-04 15:13:30 +01:00
• 164a006c4f Minor: remove dead branch. Romain Beguet 2025-02-11 17:31:39 +01:00
• 7855e3da89 Merge branch 'mr/gnatformat_issue_165' into 'master' João Azevedo 2025-02-19 09:57:52 +00:00
• 4df680ff82 Unparsing: fix config for formal derived type decls Joao Azevedo 2025-02-18 17:42:51 +00:00
• e361f38b40 Merge branch 'mr/gnatformat_issue_160' into 'master' João Azevedo 2025-02-18 14:04:27 +00:00
• ad18bcc1f6 Unparsing: fix DeltaAggregate config Joao Azevedo 2025-02-11 08:24:39 +00:00
• 1a26b42dcf Merge branch 'mr/pmderodat/lkt-null-cond' into 'master' Pierre-Marie de Rodat 2025-02-12 17:18:00 +00:00
• e4c10c4c6b ada/nodes.lkt: fix invalid null-conditional expressions Pierre-Marie de Rodat 2025-02-11 16:37:45 +00:00
• b9d24c1350 Merge branch 'topic/gnat_1304' into 'master' Romain Béguet 2025-02-12 16:46:35 +00:00
• 54cf2dffae Adapt to removal of Big_Integers_Ghost package. Romain Beguet 2025-02-12 17:21:49 +01:00
• df69398777 Merge branch 'topic/1466' into 'master' Romain Béguet 2025-02-06 16:19:42 +00:00
• 6ad606842f Add regression test for toposort failure. Romain Beguet 2025-01-31 10:23:13 +01:00
• a107df39fb Merge branch 'mr/gnatformat_142' into 'master' João Azevedo 2025-02-05 11:28:50 +00:00
• 787e5b8766 Unparsing: add config for AbstractFormalSubpDecl Joao Azevedo 2025-01-29 22:41:58 +00:00
• fd03e03182 Merge branch 'mr/gnatformat_155' into 'master' João Azevedo 2025-02-05 11:05:44 +00:00
• 2d6318decb Unparsing: homogenize Type nodes config Joao Azevedo 2025-01-31 15:17:03 +00:00
• 169f87c009 Merge branch 'mku/issue_143' into 'master' Monika Kurovszky 2025-02-05 09:01:11 +00:00
• dbb367779e UNparsing: remove extra white space before ; in incomplete formal types Monika Kurovszky 2025-01-31 11:57:47 +01:00
• 216ba20d4a Merge branch 'mr/gnatformat_137' into 'master' João Azevedo 2025-02-04 19:15:58 +00:00
• 836b06b1ab Unparsing: fix comments in RelationOp nodes Joao Azevedo 2025-01-29 21:04:21 +00:00
• c920d87861 Merge branch 'mr/gnatformat_144' into 'master' João Azevedo 2025-02-04 18:43:05 +00:00
• 1d184cf269 Unparsing: add UpdateAttributeRef config Joao Azevedo 2025-01-29 22:27:30 +00:00
• a48260b475 Merge branch 'mr/gnatformat_120' into 'master' João Azevedo 2025-02-04 17:46:22 +00:00
• 55e72118e1 Unparsing: avoid line break between library item and its comment Joao Azevedo 2025-01-28 17:06:10 +00:00
• 586d477a45 Merge branch 'mku/fix_issue_136' into 'master' Monika Kurovszky 2025-02-04 16:44:57 +00:00
• 766fe4429e Unparsing: remove extra whitespace before null record in :wq!parathesis Monika Kurovszky 2025-01-31 11:02:45 +01:00
• 9bd58ca56b Merge branch 'topic/1402' into 'master' Romain Béguet 2025-02-04 16:02:35 +00:00
• 4b0b13f1b4 Add tests of private visibility. Laurent Thévenoux 2024-07-03 14:26:59 +02:00
• 900aeb26a6 Fix visibility on private declarations. Romain Beguet 2025-01-28 16:35:12 +01:00
• 20ed13e2b5 Fix visibility on private withs from nested packages. Romain Beguet 2025-01-27 17:27:24 +01:00
• d0e9775843 Merge branch 'mku/protected_decl_align' into 'master' Monika Kurovszky 2025-01-28 18:50:33 +00:00
• 20e949cb0d Unparsing: update config file to align DeclList elements Monika Kurovszky 2025-01-28 17:44:27 +01:00
• f61304a1fb Merge branch 'mr/gnatformat_114' into 'master' João Azevedo 2025-01-28 16:54:04 +00:00
• 1cc3fbd3af Unparsing: align exceptions on the colon token Joao Azevedo 2025-01-28 15:39:11 +00:00
• fa6fdfe6c6 Merge branch 'mr/gnatformat_126' into 'master' João Azevedo 2025-01-28 16:15:47 +00:00
• 9d3996d5fd Unparsing: do not add spaces before and after OpPow Joao Azevedo 2025-01-28 14:52:41 +00:00
• c955289e2f Merge branch 'mku/generic_subp_decl' into 'master' Monika Kurovszky 2025-01-24 10:45:10 +00:00
• 17bf990802 Unparsing: update configuration file to fix generics formatting issues Monika Kurovszky 2025-01-22 17:10:35 +01:00
• 28ec999953 Merge branch 'mr/pmderodat/remove-change-entries' into 'master' Pierre-Marie de Rodat 2025-01-22 15:12:52 +00:00
• 27d123fb12 Users Manual: remove change entries Pierre-Marie de Rodat 2025-01-22 14:28:30 +00:00
• db32266838 Merge branch 'mr/pmderodat/prep-doc' into 'master' Pierre-Marie de Rodat 2025-01-21 17:22:12 +00:00
• 425ce88c2d libadalang-preprocessing.ads: document prep. data extraction from GPR Pierre-Marie de Rodat 2025-01-17 09:24:12 +00:00
• b6e2e7c109 libadalang.preprocessing.ads: slightly rework the package-level doc Pierre-Marie de Rodat 2025-01-17 09:23:24 +00:00
• 158d778627 Merge branch 'topic/1293' into 'master' Romain Béguet 2025-01-21 13:55:04 +00:00
• 4c4d861f9d Rework dot calls to inherited primitives. Romain Beguet 2024-12-18 12:12:45 +01:00
• 6f146698e6 Merge branch 'mr/pmderodat/manage-py' into 'master' Pierre-Marie de Rodat 2025-01-21 13:51:09 +00:00
• e46075021b Transition manage.py to run_tests.py, a light wrapper around lkm Pierre-Marie de Rodat 2025-01-17 11:00:51 +00:00
• 6abcd04720 Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2025-01-21 13:35:05 +00:00