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

• 759ccdb0e8 Extend test case to cover subtypes. Romain Beguet 2025-11-14 11:40:45 +01:00
• a90460bf39 Support evaluation of 'Size on types deriving from standard ones. Romain Beguet 2025-11-14 11:33:37 +01:00
• ed39f0d107 Support evaluation of 'Size on types for which it is defined. Romain Beguet 2025-11-13 17:41:05 +01:00
• 7349fbbe70 Merge branch 'topic/1610' into 'master' Romain Béguet 2025-11-19 14:54:24 +00:00
• fe4ae0d5f0 Expr eval: test unconstrained/non-statically constrained arrays. Romain Beguet 2025-11-19 14:41:45 +01:00
• 2f477cd5c0 Expr eval: support range attributes on derived array types. Romain Beguet 2025-11-19 10:05:50 +01:00
• 5809a80222 Expr eval: support 'Length on statically constrained arrays. Romain Beguet 2025-11-18 19:04:26 +01:00
• 58b6680ef7 Expr eval: support 'First and 'Last on statically constrained arrays. Romain Beguet 2025-11-18 14:27:39 +01:00
• 03f0373a7c Expr eval: support 'First and 'Last on all static strings. Romain Beguet 2025-11-18 19:03:08 +01:00
• 67c0647a3f Expr eval: fix 'Last of string concatenation. Romain Beguet 2025-11-18 17:41:59 +01:00
• 608fd4e801 Merge branch 'topic/1631' into 'master' Romain Béguet 2025-11-19 11:22:33 +00:00
• 666204c1e1 Expr eval: Fix evaluation of 'Pos on enums. Romain Beguet 2025-11-14 16:24:20 +01:00
• 95f04bec34 Merge branch 'topic/1634' into 'master' Rémi Segard 2025-11-18 16:42:57 +00:00
• 3d12baf2d7 Fix null dereference of discriminants_list with access to subp Remi Segard 2025-11-18 14:49:53 +01:00
• 0560b27485 Merge branch 'mr/pmderodat/26.1-1628' into '26.1' Pierre-Marie de Rodat 2025-11-18 16:01:06 +00:00
• 7db58b2479 Data Decomposition: fix the handling of unchecked unions Pierre-Marie de Rodat 2025-11-17 08:57:11 +00:00
• 90c5320d29 Data Decomposition: fix the handling of interface types Pierre-Marie de Rodat 2025-11-14 16:30:18 +00:00
• 403b34ca38 Data Decomposition: fix processing of constrained subtypes for variants Pierre-Marie de Rodat 2025-11-14 16:17:23 +00:00
• 99478dd106 dda/bad_sloc: disable test with --dda-compile Pierre-Marie de Rodat 2025-11-17 09:02:46 +00:00
• 7ecac044a8 Data Decomposition: correctly initialize the Next link for type entries Pierre-Marie de Rodat 2025-11-13 14:08:03 +00:00
• 7b707f32ff Merge branch 'mr/thevenoux/libadalang#1632' into 'master' Laurent Thévenoux 2025-11-17 15:16:23 +00:00
• dd7733ce5c Python requirements: add gnat-testsuite-base Laurent Thévenoux 2025-11-17 15:40:10 +01:00
• 918f715a7b Merge branch 'mr/pmderodat/26.1-1623' into '26.1' Pierre-Marie de Rodat 2025-11-17 13:50:19 +00:00
• e9a992858c Merge branch 'mr/pmderodat/dda-compile' into 'master' Pierre-Marie de Rodat 2025-11-17 13:50:08 +00:00
• d1e3fc2571 tests/dda/generic: complete testcase from bug report Pierre-Marie de Rodat 2025-11-12 09:08:34 +00:00
• c8572ea1cf Data decomposition: cope with bogous ?? alignment fields Pierre-Marie de Rodat 2025-11-10 09:24:43 +00:00
• c1d646632a Merge branch 'mr/pmderodat/26.1-1624' into '26.1' Pierre-Marie de Rodat 2025-11-17 13:49:50 +00:00
• 47a7d7f994 Testsuite: extend the DDA driver to recompile project files Pierre-Marie de Rodat 2025-11-17 09:43:01 +00:00
• 269df141f0 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-17 13:49:24 +00:00
• 73541138d8 Libadalang.Data_Decomposition: remove the obsolete experimental disclaimer Pierre-Marie de Rodat 2025-11-10 11:06:38 +00:00
• 69d35acf61 Libadalang.Data_Decomposition: add a missing comment for a public type Pierre-Marie de Rodat 2025-11-10 11:06:19 +00:00
• 98a655af7c Libadalang.Data_Decomposition: fix a comment pasto Pierre-Marie de Rodat 2025-11-10 11:06:08 +00:00
• 3bbad98003 Libadalang.Data_Decomposition: add :ada:ref: directives in comments Pierre-Marie de Rodat 2025-11-10 11:05:54 +00:00
• 86d111a678 Libadalang.Data_Decomposition: add %belongs-to doc directives Pierre-Marie de Rodat 2025-11-10 11:00:38 +00:00
• aa1362f8d0 Data Decomposition: fix the handling of unchecked unions Pierre-Marie de Rodat 2025-11-17 08:57:11 +00:00
• 14fbdd5edb Data Decomposition: fix the handling of interface types Pierre-Marie de Rodat 2025-11-14 16:30:18 +00:00
• 0d574dfc06 Data Decomposition: fix processing of constrained subtypes for variants Pierre-Marie de Rodat 2025-11-14 16:17:23 +00:00
• 9c93beae1f dda/bad_sloc: disable test with --dda-compile Pierre-Marie de Rodat 2025-11-17 09:02:46 +00:00
• 14240fb479 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-14 16:28:33 +00:00
• 4e2f1b3f16 Data Decomposition: correctly initialize the Next link for type entries Pierre-Marie de Rodat 2025-11-13 14:08:03 +00:00
• 2abe5fa4b4 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2025-11-14 16:27:57 +00:00
• b053ce3e8a Revert "expr_eval: workaround possible compiler issue" Pierre-Marie de Rodat 2025-11-14 08:47:45 +00:00
• b0cb68d2de Merge branch 'topic/1625' into 'master' Romain Béguet 2025-11-13 16:08:52 +00:00
• ebf7cd3feb Add basic support for 'Size in expression evaluator. Romain Beguet 2025-11-13 15:25:04 +01:00
• b90df7c3c6 Merge branch 'mr/thevenoux/libadalang#1627' into 'master' Laurent Thévenoux 2025-11-13 13:22:53 +00:00
• 2bb06c3b6a expr_eval: workaround possible compiler issue Laurent Thévenoux 2025-11-13 13:08:35 +01:00
• 27b98d9152 Merge branch 'mr/pmderodat/dda-doc' into 'master' Pierre-Marie de Rodat 2025-11-13 12:56:14 +00:00
• 6bb46826b4 Libadalang.Data_Decomposition: remove the obsolete experimental disclaimer Pierre-Marie de Rodat 2025-11-10 11:06:38 +00:00
• 52090dcabb Libadalang.Data_Decomposition: add a missing comment for a public type Pierre-Marie de Rodat 2025-11-10 11:06:19 +00:00
• b0969c1ba0 Libadalang.Data_Decomposition: fix a comment pasto Pierre-Marie de Rodat 2025-11-10 11:06:08 +00:00
• fd63228973 Libadalang.Data_Decomposition: add :ada:ref: directives in comments Pierre-Marie de Rodat 2025-11-10 11:05:54 +00:00
• b1b911ec6e Libadalang.Data_Decomposition: add %belongs-to doc directives Pierre-Marie de Rodat 2025-11-10 11:00:38 +00:00
• 260765c332 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-12 21:19:30 +00:00
• 5f9a14a12c tests/dda/generic: complete testcase from bug report Pierre-Marie de Rodat 2025-11-12 09:08:34 +00:00
• df345f21e7 Merge branch 'mr/thevenoux/libadalang#1622' into 'master' Laurent Thévenoux 2025-11-12 10:34:23 +00:00
• 1ead137b40 Make is_statically_predicated property public Laurent Thévenoux 2025-11-05 15:56:08 +01:00
• b74e23afb2 Merge branch 'mr/pmderodat/dda' into 'master' Pierre-Marie de Rodat 2025-11-12 08:54:31 +00:00
• 3d404ca4d2 Data decomposition: cope with bogous ?? alignment fields Pierre-Marie de Rodat 2025-11-10 09:24:43 +00:00
• 6be47cb77b Merge branch 'mr/thevenoux/libadalang#1617' into 'master' Laurent Thévenoux 2025-11-07 14:01:28 +00:00
• b3ead1fd79 Clarify BaseTypeDecl.is_statically_constrained documentation Laurent Thévenoux 2025-11-06 16:59:27 +01:00
• 9632a4448a Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-11-06 14:28:47 +00:00
• 1151a892be libadalang-preprocessing.ads: fix ReST markup Pierre-Marie de Rodat 2025-11-06 11:16:00 +01:00
• 69822478d8 Merge branch 'topic/1620' into 'master' Rémi Segard 2025-11-04 10:21:18 +00:00
• 07ed771b6f Expose the discrete_static_values and support not Remi Segard 2025-10-31 17:35:33 +01:00
• ed85760302 Merge branch 'topic/1608' into 'master' Rémi Segard 2025-10-30 16:39:52 +00:00
• 969f6db5fa Expose the is_classwide property Remi Segard 2025-10-22 17:48:22 +02:00
• 63451ef452 Merge branch 'mr/thevenoux-libadalang#1609' into 'master' Laurent Thévenoux 2025-10-30 14:25:54 +00:00
• ad759c7a62 user_nanual: bump copyrigth year Laurent Thévenoux 2025-10-24 17:56:17 +02:00
• 4c444d0dae user_manual: update documentation build steps Laurent Thévenoux 2025-10-24 15:47:54 +02:00
• 3d8cd2b970 laldoc: get rid of the legacy mode Laurent Thévenoux 2025-10-23 18:06:19 +02:00
• 69a1d12cec user_manual: add missing langkit_support-slocs documentation Laurent Thévenoux 2025-10-23 17:39:51 +02:00
• 67ef3766dc user_manual: clean Makefile Laurent Thévenoux 2025-10-23 16:50:03 +02:00
• 5dadfd9130 Documentation: fix minor docstring issues Laurent Thévenoux 2025-10-23 16:41:05 +02:00
• cdf2f69467 user_manual: fix a few sphinx warnings Laurent Thévenoux 2025-10-22 16:35:22 +02:00
• cc52a9ce12 requirements-pypi.txt: unfreeze sphinx-rtd-theme version Laurent Thévenoux 2025-10-22 16:18:27 +02:00
• 5407cec40d requirements-pypi.txt: unfreeze docutils version Laurent Thévenoux 2025-10-22 16:11:05 +02:00
• d8eadff847 user_manual: fix Makefile's LANGKIT_DIR var default value to fit ancr envs Laurent Thévenoux 2025-10-22 16:04:04 +02:00
• 1756d6159f Merge branch 'mr/thevenoux-gnat#1098' into 'master' Laurent Thévenoux 2025-10-30 14:01:24 +00:00
• 326f01a921 testsuite: update baselines after runtime changes Laurent Thévenoux 2025-10-30 14:33:56 +01:00
• b0a5a70c2a Merge branch 'topic/java_api/add_setenv' into 'master' Hugo Guerrier 2025-10-27 09:18:25 +00:00
• 4620507871 Use the string conversion functions Native Image C API library Hugo Guerrier 2025-10-23 14:25:12 +02:00
• 710d667515 Merge branch 'mr/pmderodat/26.1-1589' into '26.1' Pierre-Marie de Rodat 2025-10-23 12:24:15 +00:00
• 9ee657851a c_api/gpr_config_file: fix a memory leak Pierre-Marie de Rodat 2025-09-30 13:39:43 +00:00
• 859f5701dd C/Python/OCaml/Java: bind all GPR loading options Pierre-Marie de Rodat 2025-09-15 14:54:56 +00:00
• d9e66192bf Merge branch 'mr/pmderodat/26.1-1594' into '26.1' Pierre-Marie de Rodat 2025-10-23 12:21:58 +00:00
• ffc9ef287c Merge branch 'mr/thevenoux-libadalang#1607' into 'master' Laurent Thévenoux 2025-10-22 14:23:21 +00:00
• 38010dfb3f Remove the now obsolete dev_manual Laurent Thévenoux 2025-10-22 15:56:52 +02:00
• 48ed641f81 Merge branch 'topic/1606' into 'master' Rémi Segard 2025-10-21 15:26:26 +00:00
• 6e4b71509d Add the corresponding_neq_subprogram property Remi Segard 2025-10-21 16:54:02 +02:00
• 60c63ad79f Preprocessing: add handling for the new -e gnatprep switch Pierre-Marie de Rodat 2025-09-17 14:15:27 +00:00
• 6266c06a79 Merge branch 'topic/better_forward_decls' into 'master' Pierre-Marie de Rodat 2025-10-21 13:49:01 +00:00
• 490179ebf8 Adapt LAL grammar to langkit changes Raphaël AMIARD 2025-05-26 16:19:54 +02:00
• 97600bb346 Merge branch 'topic/1605' into 'master' Rémi Segard 2025-10-21 13:39:54 +00:00
• 97c0b6b487 Fix the is_operator_name property Remi Segard 2025-10-21 14:25:37 +02:00
• bd9264f853 Merge branch 'mr/thevenoux-libadalang#1596' into 'master' Laurent Thévenoux 2025-10-17 11:37:31 +00:00
• bbbb17e116 Fix the most_visible_part property Laurent Thévenoux 2025-10-07 14:43:44 +02:00
• 120559fac3 minor: reformart is_visible property error message Laurent Thévenoux 2025-09-26 15:59:13 +02:00
• f6defada4f minor: reformat most_visible_forward_part_for_name comments Laurent Thévenoux 2025-09-19 16:00:24 +02:00
• fb394b7c8a Merge branch 'mr/pmderodat/diagnostics-branch' into 'master' Pierre-Marie de Rodat 2025-10-16 13:34:13 +00:00
• 510bea6c7a Testsuite: update baselines after Langkit parser engine fixes Pierre-Marie de Rodat 2025-09-03 14:22:35 +00:00