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

• 21f6f83354 Update field name after langkit change Laurent Thévenoux 2024-09-11 15:03:08 +02:00
• b1998ecc8e Merge branch 'mr/pmderodat/gpr2-default' into 'master' Pierre-Marie de Rodat 2024-09-11 08:47:32 +00:00
• ecde1097c6 Libadalang.Helpers: switch App to GPR2 Pierre-Marie de Rodat 2024-09-04 13:23:03 +00:00
• fc7ded0da6 ada_api/app/gpr_naming: new testcase Pierre-Marie de Rodat 2024-08-20 14:50:15 +00:00
• fc557e0d80 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-09-11 08:29:13 +00:00
• 1bc293e895 CI: do not run require_issue in the build+test job Pierre-Marie de Rodat 2024-09-09 15:32:25 +02:00
• ba8728392f Merge branch 'topic/lkt_unparse' into 'master' Pierre-Marie de Rodat 2024-09-09 13:50:28 +00:00
• 628d66e6d1 Fix formatting of comments in lambdas and blocks with multiple binds. Romain Beguet 2024-08-27 18:03:01 +02:00
• 7886975687 Refactor nodes.lkt prior to pretty-printing with lkt_unparse Raphaël AMIARD 2024-08-26 14:08:22 +02:00
• 6cd2f5eaab Merge branch 'topic/1448' into 'master' Romain Béguet 2024-09-09 12:22:23 +00:00
• f57d7675d0 Fix type predicate for 'Access attribute. Romain Beguet 2024-09-09 11:59:06 +02:00
• 6c27916983 Bump mako from 1.1.2 to 1.2.2 dependabot/pip/mako-1.2.2 dependabot[bot] 2024-09-09 11:23:57 +00:00
• 1cf5528f3b Merge branch 'topic/requirements_split' into 'master' Elie Richa 2024-09-09 11:23:06 +00:00
• bbb83f2a41 Split GitHub requirements from others Hugo Guerrier 2024-09-09 11:41:20 +02:00
• 49e16e13aa Merge branch 'topic/1447' into 'master' Romain Béguet 2024-09-06 15:08:35 +00:00
• dfd9659aa3 Shed rebindings after collapsing entries. Romain Beguet 2024-09-06 11:02:36 +02:00
• 9e0665d0e9 Avoid null deref when evaluating candidate for Write attr. Romain Beguet 2024-09-04 17:29:33 +02:00
• 6ca70ee507 Merge branch 'mr/pmderodat/gpr-autoconf-language-restrict' into 'master' Pierre-Marie de Rodat 2024-09-06 08:00:26 +00:00
• 210f039cc6 C/Python/OCaml APIs: bind GPR2's autoconf language restriction to Ada Pierre-Marie de Rodat 2024-09-04 10:33:18 +00:00
• 639f3a3059 Python API: add missing doc for GPRProject.__init__(config_file) Pierre-Marie de Rodat 2024-09-04 08:56:19 +00:00
• b44f9da1b4 Merge branch 'mr/pmderodat/unparsing-join' into 'master' Pierre-Marie de Rodat 2024-09-04 15:21:37 +00:00
• 3c5431c583 Unparsing: join adjacent "with"/"use" clauses for the same package Pierre-Marie de Rodat 2024-08-30 13:14:32 +00:00
• c38ddac0ff Merge branch 'topic/1445' into 'master' Romain Béguet 2024-09-04 09:19:53 +00:00
• ba8b05a951 Set from_rebound field in manually fetched generic actual. Romain Beguet 2024-09-03 15:09:18 +02:00
• 19c250fbc0 Resolve use clauses in formal part using current generic context. Romain Beguet 2024-09-03 15:09:06 +02:00
• 2041c5d15a Merge branch 'topic/1440' into 'master' Romain Béguet 2024-09-03 08:13:43 +00:00
• 8857f51c2a Revert incorrect simplification. Romain Beguet 2024-09-03 09:48:19 +02:00
• de0041b692 Merge branch 'topic/1440' into 'master' Romain Béguet 2024-09-02 13:47:21 +00:00
• 317a344c61 Fix handling of AttributeRefs under ExplicitDerefs. Romain Beguet 2024-08-22 15:06:59 +02:00
• 2871e6ae3d Merge branch 'prettier-ada-issues_29_30' into 'master' João Azevedo 2024-08-30 14:12:11 +00:00
• 25c453b397 Unparsing: adapt config to changes in how breaks propagate in tables Joao Azevedo 2024-08-29 10:43:21 +00:00
• 793b5f289e Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-08-28 15:50:14 +00:00
• 830789dfd7 utils/nameres.gpr: add the required -gnatX compilation switch Pierre-Marie de Rodat 2024-08-28 15:33:41 +00:00
• 699aac8a92 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-28 14:44:40 +00:00
• b55c196194 CB: fix path for CB checkouts Pierre-Marie de Rodat 2024-08-28 15:16:00 +02:00
• f85b913e8f Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-08-28 13:04:57 +00:00
• cab8ba5c4c unparsing/type_def/record_type_def/record_with_variant_comments: new tc Pierre-Marie de Rodat 2024-08-28 11:57:44 +00:00
• 0154a2958d Merge branch 'gnatformat-issue_91' into 'master' João Azevedo 2024-08-28 10:49:52 +00:00
• 6866c8a927 Unparsing: do not align the ":=" tokens Joao Azevedo 2024-08-23 11:05:30 +00:00
• 2c9b77f31f Merge branch 'topic/gnatx_2' into 'master' Raphaël Amiard 2024-08-28 08:30:59 +00:00
• 88ac3a4844 Transition to -gnatX Raphaël AMIARD 2024-07-30 14:17:34 +02:00
• 56aab8b14e Merge branch 'mr/pmderodat/gpr2-warning' into 'master' Pierre-Marie de Rodat 2024-08-27 19:13:00 +00:00
• 970c48c2c6 c_api/gpr_error: update the test baseline Pierre-Marie de Rodat 2024-08-26 19:51:29 +00:00
• d45e5c94f4 Merge branch 'topic/1439' into 'master' Romain Béguet 2024-08-27 10:48:50 +00:00
• 88a6af7146 Minor: ignore unused warning. Romain Beguet 2024-08-27 12:19:48 +02:00
• 1968369c33 Merge branch 'topic/1439' into 'master' Romain Béguet 2024-08-27 10:19:22 +00:00
• ded466da5b Fix Short_Image for synthetic basic decls. Romain Beguet 2024-08-27 11:07:30 +02:00
• 660584dc97 Merge branch 'topic/1436' into 'master' Romain Béguet 2024-08-27 09:12:41 +00:00
• 90a45ad1b1 Create proper synthesized node hierarchies. Romain Beguet 2024-08-23 17:10:45 +02:00
• 7f04cd536c Merge branch 'mr/pmderodat/gpr2-warning' into 'master' Pierre-Marie de Rodat 2024-08-27 08:21:26 +00:00
• 82f3761e34 c_api/gpr_error: update the test baseline Pierre-Marie de Rodat 2024-08-26 19:51:29 +00:00
• 703d3037d1 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-27 08:03:51 +00:00
• 3c520b9a17 Fully transition the CB to generic_anod_ci Pierre-Marie de Rodat 2024-08-26 15:28:57 +02:00
• 49dc532bde Merge branch 'topic/1437' into 'master' Romain Béguet 2024-08-27 07:42:30 +00:00
• 377866c654 Fix visibility issue in renaming clauses. Romain Beguet 2024-08-23 16:55:45 +02:00
• 1a66ab1514 Merge branch 'gnatformat-issue_90' into 'master' João Azevedo 2024-08-23 10:46:31 +00:00
• 225c78b8c9 Add whitespace or line break before ConcreteFormalSubpDecl default expression Joao Azevedo 2024-08-22 18:59:33 +00:00
• 10a37eb4a8 Merge branch 'gnatformat-issue_84' into 'master' João Azevedo 2024-08-23 10:46:11 +00:00
• 711347ad98 Unparsing: break before case statements Joao Azevedo 2024-08-22 13:44:17 +00:00
• ab1a306f20 Merge branch 'gnatformat-issue_85' into 'master' João Azevedo 2024-08-23 10:19:30 +00:00
• a7ca263419 Unparsing: always add whitespace before end name Joao Azevedo 2024-08-22 12:39:42 +00:00
• 6efaf9c2af Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-23 09:38:07 +00:00
• 3d9ba783f5 .gitlab-ci.yml: transition to "smart CIs" Pierre-Marie de Rodat 2023-11-30 15:28:30 +01:00
• dfc8361923 .gitlab-ci.yml: require 16 cores for the test machine Pierre-Marie de Rodat 2023-11-30 15:27:22 +01:00
• ed1e7ec2dd Merge branch 'mr/pmderodat/sanity-check' into 'master' Pierre-Marie de Rodat 2024-08-23 08:59:02 +00:00
• 47d98b9bb7 Add a sanity check testsuite for the customer-ready package Pierre-Marie de Rodat 2024-08-21 13:27:23 +00:00
• aaa9b021de Merge branch 'sync/mr/pmderodat/lkt-no-overloading' into 'master' Pierre-Marie de Rodat 2024-08-23 08:28:35 +00:00
• f58caaa03a Update .get/.get_first expressions after a recent Langkit change Pierre-Marie de Rodat 2024-08-23 07:10:38 +00:00
• 36eddf67b5 Update iteration expressions after a recent Langkit change Pierre-Marie de Rodat 2024-08-22 15:01:35 +00:00
• 40225a7ae3 Merge branch 'mr/pmderodat/gpr2-valgrind' into 'master' Pierre-Marie de Rodat 2024-08-23 08:17:07 +00:00
• dd2d77a263 Propagate GPR2-specific XFAILs to C API tests that now use GPR2 Pierre-Marie de Rodat 2024-08-23 09:42:35 +02:00
• ec247bd2fe Merge branch 'gnatformat-issue_81' into 'master' João Azevedo 2024-08-22 13:39:10 +00:00
• f7c60ab929 Remove spurious whitespace form subp specs without name Joao Azevedo 2024-08-22 10:26:16 +00:00
• a564788d66 Merge branch 'sync/mr/pmderodat/unparsing-main-default' into 'master' Pierre-Marie de Rodat 2024-08-22 12:40:13 +00:00
• 856e904345 Testsuite: update the unparser driver after a Langkit change Pierre-Marie de Rodat 2024-08-21 15:47:48 +00:00
• 1491b6854a Merge branch 'mr/pmderodat/java-cgpr-tests' into 'master' Pierre-Marie de Rodat 2024-08-22 12:00:39 +00:00
• 103ea5c9e8 java_api/project_manager: rework configuration project checks Pierre-Marie de Rodat 2024-08-22 08:58:39 +00:00
• bac90fe847 Testsuite: rework the "testcase custom Python setup code" feature Pierre-Marie de Rodat 2024-08-22 08:15:57 +00:00
• 8e6b81de9f Merge branch 'topic/1229' into 'master' Laurent Thévenoux 2024-08-21 13:45:46 +00:00
• 6d23e86b34 No_Elaboration_Code_All pragma sets No_Elaboration_Code restriction Laurent Thévenoux 2024-08-19 11:49:12 +02:00
• 3f58f96d17 Merge branch 'mr/pmderodat/gpr2-windows' into 'master' Pierre-Marie de Rodat 2024-08-21 12:48:27 +00:00
• ce1af25ce3 Testsuite: ignore expected Unix/Windows output discrepancies Pierre-Marie de Rodat 2024-08-21 11:53:22 +00:00
• 2c2e29c373 base_driver.py: update stale comment Pierre-Marie de Rodat 2024-08-21 11:53:05 +00:00
• 7beff20450 Merge branch 'topic/1434' into 'master' Laurent Thévenoux 2024-08-21 09:23:15 +00:00
• 612b664350 Fix Warnings pragma name resolution Laurent Thévenoux 2024-08-20 17:23:06 +02:00
• 0f37995d0e Merge branch 'mr/pmderodat/gpr2-baselines' into 'master' Pierre-Marie de Rodat 2024-08-21 08:49:06 +00:00
• 343be52f68 Re-install test baseline updates that got reverted by mistake Pierre-Marie de Rodat 2024-08-21 06:29:17 +00:00
• 7ecee36782 Merge branch 'mr/pmderodat/gpr2-default' into 'master' Pierre-Marie de Rodat 2024-08-20 14:53:24 +00:00
• ffada56200 Revert "Libadalang.Helpers: switch App to GPR2" Pierre-Marie de Rodat 2024-08-20 14:25:26 +00:00
• 4869ad8a8e Merge branch 'topic/1433' into 'master' Romain Béguet 2024-08-20 13:43:32 +00:00
• e9be62edfa Implement name resolution for the Subprogram_Variant aspect. Romain Beguet 2024-08-19 16:55:06 +02:00
• 09fc938335 Fix formatting in aggregate resolution. Romain Beguet 2024-08-19 16:07:31 +02:00
• 82ec850b15 Merge branch 'mr/pmderodat/gpr2-default' into 'master' Pierre-Marie de Rodat 2024-08-20 08:39:31 +00:00
• 0140ff8d0d Libadalang.Helpers: switch App to GPR2 Pierre-Marie de Rodat 2023-05-05 09:41:57 +00:00
• 7c4459b84d C API: switch ada_gpr_project_* functions to GPR2 Pierre-Marie de Rodat 2023-05-03 13:52:35 +00:00
• 558c679d28 name_resolution/gnat_xref_subp_body_self_reference: fix naming Pierre-Marie de Rodat 2024-08-19 13:30:21 +00:00
• fab485af06 python/gpr_error: add a dummy source to avoid warnings Pierre-Marie de Rodat 2024-08-19 13:18:34 +00:00
• 85f0b3a21b python/gpr_default_charset: add a dummy source to avoid warnings Pierre-Marie de Rodat 2024-08-19 13:16:49 +00:00
• 71fd1a5608 c_api/gpr_config_file: robustify testcase Pierre-Marie de Rodat 2024-08-19 12:52:20 +00:00
• 8483c61d1d c_api/gpr_config_file/main.c: fix coding style/return value issues Pierre-Marie de Rodat 2024-08-19 12:26:30 +00:00