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

• a1627ad54d Make discrete range parsing more error-resilient Pierre-Marie de Rodat 2025-09-05 08:05:36 +00:00
• f312cca4c1 Merge branch 'mr/thevenoux-libadalang#1603' into 'master' Laurent Thévenoux 2025-10-15 13:37:42 +00:00
• 71b15427bb Add implementation for TargetName.env_elements_impl Laurent Thévenoux 2025-10-08 14:32:02 +02:00
• aef738ae02 Merge branch 'mr/thevenoux-langkit-query-language#571' into 'master' Laurent Thévenoux 2025-10-14 12:34:28 +00:00
• 3d75ef5613 Fix p_decl_part to not return Generic*Internal nodes Laurent Thévenoux 2025-10-13 16:02:05 +02:00
• fa7e8e7ae1 Merge branch 'topic/java_api/fix_native_image_build' into 'master' Hugo Guerrier 2025-10-03 12:47:46 +00:00
• fb367de077 java_driver.py: Disable strict code compilation in the native-image process Hugo Guerrier 2025-10-03 14:21:11 +02:00
• a60267d7ef Merge branch 'mr/pmderodat/prep' into 'master' Pierre-Marie de Rodat 2025-10-01 12:19:50 +00:00
• 6830a1a07d Preprocessing: add handling for the new -e gnatprep switch Pierre-Marie de Rodat 2025-09-17 14:15:27 +00:00
• d5583d78d6 Merge branch 'mr/pmderodat/gpr-options' into 'master' Pierre-Marie de Rodat 2025-09-30 15:22:05 +00:00
• a85b984040 c_api/gpr_config_file: fix a memory leak Pierre-Marie de Rodat 2025-09-30 13:39:43 +00:00
• 9210a43f81 Merge branch 'mr/thevenoux-libadalang#1595' into 'master' Laurent Thévenoux 2025-09-26 09:31:29 +00:00
• ee06ab636e Fix ExceptionHandler initial environment Laurent Thévenoux 2025-09-19 14:16:08 +02:00
• 7bdc00c1cd Merge branch 'mr/pmderodat/gpr-options' into 'master' Pierre-Marie de Rodat 2025-09-26 07:51:22 +00:00
• f39ebe979e C/Python/OCaml/Java: bind all GPR loading options Pierre-Marie de Rodat 2025-09-15 14:54:56 +00:00
• 977da17628 Merge branch 'topic/1469' into 'master' v26.0.0 26.0 Romain Béguet 2025-09-17 15:28:14 +00:00
• f5b50901b2 Reformat %and/%or sequences of equations. Romain Beguet 2025-09-17 12:44:03 +02:00
• 2e679821e8 Merge branch 'topic/1379' into 'master' Romain Béguet 2025-09-17 13:58:28 +00:00
• f5e1dcbc86 Add test case for implicit formal subprograms. Romain Beguet 2025-09-17 11:49:26 +02:00
• 6ddc7ddcbf Merge branch 'topic/1593' into 'master' Romain Béguet 2025-09-17 08:50:02 +00:00
• 2610e7dc57 Use proper symbolization to reference parent named env. Romain Beguet 2025-09-16 17:59:43 +02:00
• 6d83aa0592 Merge branch 'topic/1585' into 'master' Romain Béguet 2025-09-16 13:11:20 +00:00
• ba5cb29d8d Add nameres support for enum representation clauses. Romain Beguet 2025-09-09 15:15:24 +02:00
• 759268cb33 Merge branch 'topic/1590' into 'master' Romain Béguet 2025-09-16 12:40:09 +00:00
• acc61e86a9 Allow classwide type on incomplete type. Romain Beguet 2025-09-12 15:42:21 +02:00
• 7402161b60 Merge branch 'topic/1587' into 'master' Romain Béguet 2025-09-16 12:17:45 +00:00
• 8e60cbb977 Instance of classwide formal type should be classwide. Romain Beguet 2025-09-15 15:57:58 +02:00
• c33dfebe52 Resolve default formal subprograms. Romain Beguet 2025-09-08 18:36:17 +02:00
• d49033e339 Fix resolution of 'Base attribute on integer types. Romain Beguet 2025-09-08 15:30:43 +02:00
• 32431a826c Merge branch 'mr/typos' into 'master' Ronan Desplanques 2025-09-15 09:43:34 +02:00
• eb4755661b Fix typos in documentation Ronan Desplanques 2025-09-12 17:39:14 +02:00
• 063ec29c52 Merge branch 'mr/pmderodat/target_info' into 'master' Pierre-Marie de Rodat 2025-09-11 15:18:06 +00:00
• 175c0b9ede Libadalang.Target_Info: support all known GCC floating point types Pierre-Marie de Rodat 2025-09-11 14:43:03 +00:00
• 5315f44c69 Libadalang.Target_Info: minor refactoring Pierre-Marie de Rodat 2025-09-11 14:17:28 +00:00
• f98439216b Merge branch 'topic/1552-fix-2' into 'master' Romain Béguet 2025-09-02 13:48:03 +00:00
• 598ed2efff Optimize actual lookup of formal package. Romain Beguet 2025-08-07 11:44:18 +02:00
• e461819c3f Avoid recomputing instantiations' ParamMatch arrays. Romain Beguet 2025-08-07 11:43:14 +02:00
• 64fe7006ce Memoize hot properties. Romain Beguet 2025-07-02 16:13:03 +02:00
• 29635a3fe2 Remove now obselete wrapper around logic_val. Romain Beguet 2025-08-07 11:41:49 +02:00
• d6918ea5d6 Make resolution properties work on bare nodes. Romain Beguet 2025-04-18 16:25:55 +02:00
• 37c02dbb14 Handle attribute subprograms of instantiated types. Romain Beguet 2025-08-05 15:17:38 +02:00
• 74ec8ff754 Add formal array subtype test. Romain Beguet 2025-05-13 14:28:45 +02:00
• d252f2e12b Keep precise subtype of loop variables. Romain Beguet 2025-05-12 17:38:37 +02:00
• 67797547e3 Implement corresponding_actual for attribute subps. Romain Beguet 2025-08-18 16:13:27 +02:00
• 3adc66e48a Always evaluate DiscreteBaseSubtypeDecl when possible. Romain Beguet 2025-05-09 16:34:56 +02:00
• ca5ad000fd Implement corresponding_actual on DiscreteBaseSubtypeDecl. Romain Beguet 2025-05-06 10:47:05 +02:00
• 9a5244a715 BaseFormalParamHolder may be of a discriminant part. Romain Beguet 2025-04-30 09:32:46 +02:00
• 7a5674e830 Use actual base types for scalar attributes. Romain Beguet 2025-05-06 15:54:17 +02:00
• 87c6c15410 Update nameres driver. Romain Beguet 2025-07-02 16:13:21 +02:00
• 97ef55f5a7 Merge branch 'mr/pmderodat/target-info' into 'master' Pierre-Marie de Rodat 2025-09-02 07:53:30 +00:00
• 5fd8863230 Libadalang.Target_Info: do not require "long double" descriptors Pierre-Marie de Rodat 2025-09-01 09:51:05 +00:00
• ebc7d6f5ba Merge branch 'topic/1580' into 'master' Romain Béguet 2025-09-01 08:55:12 +00:00
• 28a8d875ad Update user manual section on origin parameter. Romain Beguet 2025-08-27 13:05:22 +02:00
• 89f9e6b8c9 Merge branch 'mr/gnatformat_issue_195_2' into 'master' João Azevedo 2025-08-31 10:18:18 +00:00
• 1335776e5d Unparsing: fix alignment of => in case expr/stmts Joao Azevedo 2025-08-28 14:51:44 +00:00
• a31018f147 Merge branch 'mr/gnatformat_issue_205' into 'master' João Azevedo 2025-08-29 13:32:24 +00:00
• 44fa0c2bb8 Unparsing: allow blank line between return and expr Joao Azevedo 2025-08-28 16:00:14 +00:00
• 565ee2fdaa Merge branch 'mr/gnatformat_issue_195' into 'master' João Azevedo 2025-08-27 16:01:20 +00:00
• a3034398b5 Unparsing: uniform alignment of => on aggregates and case exprs/stmts Joao Azevedo 2025-08-27 14:42:55 +00:00
• 689b535710 Merge branch 'mr/pmderodat/gpr2' into 'master' Pierre-Marie de Rodat 2025-08-27 13:19:35 +00:00
• a95a069908 Pass Check_Drivers => False to GPR2.Project.Tree.Load Pierre-Marie de Rodat 2025-08-27 12:51:38 +00:00
• 5f80113597 Merge branch 'topic/1582' into 'master' Romain Béguet 2025-08-26 15:03:44 +00:00
• be41940d2c Fix implementation of Name.dispatching_call. Romain Beguet 2025-08-26 15:58:39 +02:00
• aa80c8f07e Fix nameres of raise statements/exprs. Romain Beguet 2025-08-26 15:39:32 +02:00
• e3d2c5ae88 Merge branch 'topic/1582' into 'master' Romain Béguet 2025-08-26 09:10:09 +00:00
• 1fcf2937b8 Dispatching call detection should rely on p_call_params. Romain Beguet 2025-08-25 18:01:25 +02:00
• 06521d167d Fix p_call_params called on a DottedName's suffix. Romain Beguet 2025-08-25 18:00:09 +02:00
• 307fd4d44f Merge branch 'topic/java/upgrade_graalvm_version' into 'master' Hugo Guerrier 2025-08-22 14:39:23 +00:00
• 40d6464677 Adapt testing tools to the new GraalVM version Hugo Guerrier 2025-07-04 14:31:57 +02:00
• 96ee2f0580 Merge branch 'mr/lambourg/gnatcoll-fixes' into 'master' Jerome Lambourg 2025-08-20 18:31:47 +02:00
• 5c3b607c07 Add explicitly the dependency over gnatcoll_projects Jerome Lambourg 2025-08-19 10:46:00 +02:00
• b6bdc222e0 Have the nameres gpr project use gnatcoll_core instead of gnatcoll Jerome Lambourg 2025-08-19 10:44:40 +02:00
• 4bc164ae57 Merge branch 'mr/thevenoux-libadalang#1577' into 'master' Laurent Thévenoux 2025-08-20 13:23:58 +00:00
• 74cca1315c Make GenericSubpInstantiation.designated_subp private Laurent Thévenoux 2025-08-13 14:37:12 +02:00
• 4c7724f0f9 Merge branch 'mr/thevenoux-libadalang' into 'master' Laurent Thévenoux 2025-08-19 15:03:23 +00:00
• 9bffa6929d minor: fix new compilation warnings Laurent Thévenoux 2025-08-19 15:50:22 +02:00
• 5fa8d1cbcc Merge branch 'mr/gnatformat_issue_202' into 'master' João Azevedo 2025-08-19 14:09:40 +00:00
• 80b00c6bd7 Unparsing: fix comments after RelationOp Joao Azevedo 2025-08-05 22:48:05 +00:00
• 3ab7c6717d Merge branch 'mr/gnatformat_issue_131' into 'master' João Azevedo 2025-08-19 13:52:45 +00:00
• 01ef9fcc1b Unparsing: add test for comment between params and return Joao Azevedo 2025-08-06 09:52:05 +00:00
• 7589eb1d76 Merge branch 'mr/pmderodat/gpr2-valgrind' into 'master' Pierre-Marie de Rodat 2025-08-18 13:47:40 +00:00
• b9f15f034d Set XFAIL under Valgrind/x86-linux for a couple of tests Pierre-Marie de Rodat 2025-08-18 13:23:14 +00:00
• 74f019431a testsuite/testsuite.py: minor refactoring Pierre-Marie de Rodat 2025-08-18 13:15:25 +00:00
• 7ce2bbba9c Merge branch 'topic/987' into 'master' Romain Béguet 2025-08-18 10:29:38 +00:00
• 8fc1dc9ced Remove obselete references to GNATCOLL.Projects. Romain Beguet 2025-08-13 10:28:53 +02:00
• c9d29eff39 Merge branch 'topic/taint_aspects' into 'master' Daniel Mercier 2025-08-18 09:11:15 +00:00
• 1598a47e99 Implement equations for the improved version of taint aspects Daniel Mercier 2025-08-07 23:19:17 +02:00
• 23a913ba70 Merge branch 'mr/thevenoux-libadalang#1578' into 'master' Laurent Thévenoux 2025-08-13 13:44:55 +00:00
• c2e8e2df18 Improve documentation for *fully_qualified_name properties Laurent Thévenoux 2025-08-13 15:20:10 +02:00
• c947ef605b Merge branch 'topic/is_abstract_type' into 'master' Rémi Segard 2025-08-13 10:07:33 +00:00
• f8aa9a8493 Add is_abstract_type property Remi Segard 2025-07-30 14:37:25 +02:00
• f7cf55370c Merge branch 'topic/subprogram_formal_access' into 'master' Raphaël Amiard 2025-08-07 10:24:09 +00:00
• 2daacb8359 Handle ExplicitDeref to access to subp in FormalSubpDecl Raphaël AMIARD 2025-08-07 11:10:42 +02:00
• e658403f6e Create a SyntheticDefiningName for AnonymousExprDecls Raphaël AMIARD 2025-08-07 11:09:02 +02:00
• bc5076e2ce Merge branch 'topic/gnat/1422' into 'master' Laurent Thévenoux 2025-08-07 08:54:36 +00:00
• 5b98a8db71 Update tests baselines after gnat runtime change Laurent Thévenoux 2025-08-06 15:42:41 +02:00
• 44cd8819c9 Merge branch 'backport/25-sustained/issue-1556' into '25-sustained' 25-sustained Hugo Guerrier 2025-08-05 14:14:06 +00:00
• 7ae046a37d Fix is_definite_subtype for chained subtype declarations. Romain Beguet 2025-05-07 16:11:59 +02:00
• 968c876746 Merge branch 'topic/1570' into 'master' Laurent Thévenoux 2025-08-04 12:38:47 +00:00
• 6c1abd84dd Fix has_dynamic_context property Laurent Thévenoux 2025-07-31 16:07:11 +02:00