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

• b3abde4b63 Bind target information type and primitives to the OCaml API Daniel Mercier 2024-10-10 16:56:42 +02:00
• 6f0385172b Extend Initialize_Context_From_Project to the runtime's target info Pierre-Marie de Rodat 2024-10-09 12:55:53 +00:00
• 665b8cd8f4 Bind target information type and primitives to the Python API Pierre-Marie de Rodat 2024-10-08 14:25:45 +00:00
• 86b411b8b6 Bind target information type and primitives to the C API Pierre-Marie de Rodat 2024-10-08 14:03:14 +00:00
• b68e0e90c1 Adapt Standard declarations from target information Pierre-Marie de Rodat 2024-10-04 18:37:27 +00:00
• 6a6be32ce0 properties/discrete_range: avoid references to the Standard package Pierre-Marie de Rodat 2024-10-10 08:30:17 +00:00
• 4f6b85b1b9 Introduce a Libadalang.Target_Info package Pierre-Marie de Rodat 2024-10-08 13:00:42 +00:00
• e6b932943e Libadalang.Sources: add Ada source formatting for integers/reals Pierre-Marie de Rodat 2024-10-08 08:25:07 +00:00
• 3796f9eae3 Add Vim settings for OCaml extensions Pierre-Marie de Rodat 2024-10-08 15:05:45 +00:00
• 3e54f4516c extensions/analysis/c_api/header: add missing section comment Pierre-Marie de Rodat 2024-10-08 13:10:49 +00:00
• bc2f456057 libadalang-expr_eval.ads: minor reformatting Pierre-Marie de Rodat 2024-10-08 12:23:22 +00:00
• 52804ce4e2 libadalang-semantic_diagnostics.ads: minor reformatting Pierre-Marie de Rodat 2024-10-08 09:26:21 +00:00
• b7f265726b Merge branch 'mr/pmderodat/25.1-9-1471' into '25.1' Pierre-Marie de Rodat 2024-11-28 14:52:27 +00:00
• 27bb4248f2 Hide the sloc range for nodes in the Standard unit from Image Pierre-Marie de Rodat 2024-10-09 14:07:36 +00:00
• bd3556f9f3 Merge branch 'mr/pmderodat/25.1-8-1457' into '25.1' Pierre-Marie de Rodat 2024-11-28 14:42:24 +00:00
• 0ed3b97f69 Preprocessing: improve error messages for '$' in directives Pierre-Marie de Rodat 2024-10-14 18:15:14 +00:00
• ac71f221bc Emit parsing errors by default when preprocessor directives are found Pierre-Marie de Rodat 2024-10-10 10:45:56 +00:00
• 0552af1482 Update baselines after introducing diagnostics sorting in Langkit Pierre-Marie de Rodat 2024-10-11 09:45:41 +00:00
• 74350fb149 Merge branch 'mr/pmderodat/25.1-7-1456' into '25.1' Pierre-Marie de Rodat 2024-11-28 14:31:42 +00:00
• ca761dd53b Set expected type of discriminant access. Romain Beguet 2024-10-07 10:10:58 +02:00
• 990a4922e8 Merge branch 'mr/pmderodat/25.1-6-349' into '25.1' Pierre-Marie de Rodat 2024-11-28 14:24:39 +00:00
• d126c5732b Canonicalize target names in Java ProjectManager tests Hugo Guerrier 2024-10-14 14:44:16 +02:00
• 1f0c0c9c9b Add 'ada_only' support in the Java API Hugo Guerrier 2024-09-24 11:50:15 +02:00
• 4c7f3fcd49 minor: Correct 'ada_only' Python test printing order Hugo Guerrier 2024-09-24 11:42:04 +02:00
• e342c55f10 Merge branch 'mr/pmderodat/25.1-5-1102' into '25.1' Pierre-Marie de Rodat 2024-11-28 10:51:21 +00:00
• db2ab9d2ba Fix aggregates resolution when discriminant is set by OthersDesignator Laurent Thévenoux 2024-07-17 16:04:59 +02:00
• 760f80277d Merge branch 'mr/pmderodat/25.1-3-722' into '25.1' Pierre-Marie de Rodat 2024-11-28 09:34:09 +00:00
• 182991903e user_manual/building.rst: rework setup steps wrt. Python Pierre-Marie de Rodat 2024-09-27 07:37:57 +00:00
• 4a321b3160 Merge branch 'mr/pmderodat/25.1-2-838' into '25.1' Pierre-Marie de Rodat 2024-11-28 09:19:08 +00:00
• 7ce5c754a3 Enable style checks for Lkt code and fix existing issues Pierre-Marie de Rodat 2024-09-27 14:05:17 +00:00
• acf3e7459b ada/nodes.lkt: reformat using lkt_unparse Pierre-Marie de Rodat 2024-09-27 13:38:45 +00:00
• d395891d14 ada/nodes.lkt: rewrap to 80 columns Pierre-Marie de Rodat 2024-09-27 12:08:31 +00:00
• e42fb4706c ada/nodes.lkt: remove useless parens Pierre-Marie de Rodat 2024-09-27 11:29:21 +00:00
• 20d9f56db3 Apply lkt_unparse on LAL lkt sources Raphaël AMIARD 2024-09-27 13:18:58 +02:00
• d7ef1c8703 Merge branch 'mr/pmderodat/25.1-1-824' into '25.1' Pierre-Marie de Rodat 2024-11-28 09:12:25 +00:00
• 8e4a3d3d9a ada/nodes.lkt: update for the @property addition in built in properties Pierre-Marie de Rodat 2024-09-23 08:14:38 +00:00
• b3e5c0fe13 Merge branch 'mr/pmderodat/25.1' into '25.1' Pierre-Marie de Rodat 2024-11-27 14:29:52 +00:00
• 31ba84b3eb Merge branch 'topic/1485' into 'master' Laurent Thévenoux 2024-11-27 14:27:23 +00:00
• e7ab1fd6c1 Add support for the Finalizable and No_Raise aspects Laurent Thévenoux 2024-10-31 14:29:22 +01:00
• 5f042d39e0 ada/nodes.lkt: update for the logic DSL syntax revamp in Langkit Pierre-Marie de Rodat 2024-09-16 13:18:27 +00:00
• b667650598 ada/nodes.lkt: update for builtin dynvars in Langkit Pierre-Marie de Rodat 2024-09-16 09:20:29 +00:00
• 8ccd6fe75a ada/nodes.lkt: always go through the logic_context dynamic variable Pierre-Marie de Rodat 2024-09-13 19:57:31 +00:00
• 1dea62e4bf ada/nodes.lkt: introduce a dynvar for non-self predicate error locations Pierre-Marie de Rodat 2024-09-13 07:01:08 +00:00
• 383873242b ada/nodes.lkt: update after the introduction of %and/%or in Langkit Pierre-Marie de Rodat 2024-09-12 14:28:54 +00:00
• 6ee0287520 Merge branch 'mr/gnatformat_110' into 'master' João Azevedo 2024-11-27 11:49:18 +00:00
• 813bcaf4d1 Unparsing AttributeRef: add soft line and indentation before args Joao Azevedo 2024-11-14 10:35:41 +00:00
• ddd5875d79 Merge branch 'mr/gnatformat_111' into 'master' João Azevedo 2024-11-27 10:53:30 +00:00
• 42bf6c1b97 Unparsing AspectSpec: align => after aspect id Joao Azevedo 2024-11-14 10:48:31 +00:00
• 11971994cd Merge branch 'mr/pmderodat/unparsing-autochecks' into 'master' Pierre-Marie de Rodat 2024-11-27 09:27:54 +00:00
• 53294f0d77 Unparsing tests: enable Langkit's auto-checks Pierre-Marie de Rodat 2024-11-20 16:21:15 +00:00
• 073914b2ed Merge branch 'mr/pmderodat/unparsing-config-completeness' into 'master' Pierre-Marie de Rodat 2024-11-20 10:12:22 +00:00
• 1dfe262af0 Add an explicit unparsing configuration for all nodes Pierre-Marie de Rodat 2024-11-19 14:16:21 +00:00
• ccaf1b898f Unparsing configuration: reorder entries for node configurations Pierre-Marie de Rodat 2024-11-19 13:48:37 +00:00
• d4a2fbdb8c Merge branch 'mr/pmderodat/gpr-conflict' into 'master' Pierre-Marie de Rodat 2024-11-20 08:24:07 +00:00
• 90254fc629 Testsuite: canonicalize Unix/Windows output discrepancies Pierre-Marie de Rodat 2024-11-19 14:59:37 +00:00
• 33b117142e Libadalang.Project_Provider: fix memory leak in case of source conflict Pierre-Marie de Rodat 2024-11-19 14:56:53 +00:00
• abf9f0f187 Merge branch 'mr/pmderodat/gpr-conflict' into 'master' Pierre-Marie de Rodat 2024-11-18 15:31:55 +00:00
• c1cacb1301 Project provider: give useful details with Unsupported_View_Error Pierre-Marie de Rodat 2024-11-15 15:31:10 +00:00
• 3f837111f1 Merge branch 'mr/pmderodat/incremental' into 'master' Pierre-Marie de Rodat 2024-11-15 16:03:39 +00:00
• 4efcfb15d2 lexical_envs/incremental_1: remove XFAIL after the fix in Langkit Pierre-Marie de Rodat 2024-11-15 15:33:10 +00:00
• 44ada3edf7 Merge branch 'topic/1499' into 'master' Romain Béguet 2024-11-14 16:58:01 +00:00
• d0a0a96006 Expose the is_predefined_operator property. Romain Beguet 2024-11-14 15:32:16 +01:00
• b4a7c340e4 Merge branch 'topic/1478' into 'master' Romain Béguet 2024-11-14 16:32:29 +00:00
• c1ab002584 Add support for evaluating standard attributes. Romain Beguet 2024-11-13 15:05:26 +01:00
• dc40f20317 Merge branch 'topic/1461' into 'master' Romain Béguet 2024-11-14 16:08:50 +00:00
• ed35a42794 Fix gnat_compare with synthetic neq operators. Romain Beguet 2024-11-14 14:15:17 +01:00
• 5d89aadbe3 Change gnat_compare xref_wrapper to work on all subp bodies. Romain Beguet 2024-11-14 12:46:52 +01:00
• 2281c90759 Reformat code around p_gnat_xref. Romain Beguet 2024-11-14 12:05:46 +01:00
• 29ad37166e Merge branch 'mr/pmderodat/gpr2-empty-unit-name' into 'master' Pierre-Marie de Rodat 2024-11-14 15:42:33 +00:00
• 3007580155 GPR2 project provider: fix handling of empty unit names Pierre-Marie de Rodat 2024-11-05 14:23:18 +00:00
• 8e9828b3e6 Merge branch 'mr/pmderodat/unparsing-null-field-analysis' into 'master' Pierre-Marie de Rodat 2024-11-14 15:05:44 +00:00
• a48e5ea76e New ElsePart and ThenAbortPart nodes to avoid unparsing ambiguities Pierre-Marie de Rodat 2024-11-08 10:52:12 +00:00
• a5aea4f1d9 Merge branch 'topic/1461' into 'master' Romain Béguet 2024-11-13 11:18:30 +00:00
• 76f99cd5c6 Remove obselete behavior of p_find_all_references. Romain Beguet 2024-11-12 17:40:33 +01:00
• 53b95d1106 Synthesize corresponding "/=" operator. Romain Beguet 2024-11-12 15:52:07 +01:00
• 21264b87a3 Minor: remove duplicate alternative. Romain Beguet 2024-11-12 15:52:40 +01:00
• 71746430e0 Minor: reformat some code around primitives. Romain Beguet 2024-11-07 16:54:08 +01:00
• 71aabea6eb Merge branch 'topic/1494' into 'master' Romain Béguet 2024-11-13 10:55:11 +00:00
• 00fd19a4e8 Add utility properties for subaggregates. Romain Beguet 2024-11-12 12:28:43 +01:00
• 94f8f4b11f Merge branch 'topic/1491' into 'master' Romain Béguet 2024-11-12 13:37:41 +00:00
• 5d12805697 Avoid building huge equations for aggregates. Romain Beguet 2024-11-05 16:30:12 +01:00
• 1ba28d583e Merge branch 'topic/1484' into 'master' Romain Béguet 2024-11-12 11:46:00 +00:00
• 36abb6908f Allow all documented big integer types in *_Variant aspects. Romain Beguet 2024-11-05 17:30:32 +01:00
• 594c061533 Minor: reattach comments to corresponding blocks. Romain Beguet 2024-11-06 09:16:32 +01:00
• 659fc0acd8 Merge branch 'mr/pmderodat/incremental' into 'master' Pierre-Marie de Rodat 2024-11-12 10:20:01 +00:00
• e61f2d9747 Libadalang.Env_Hooks: run PLE even on unit that could not be parsed Pierre-Marie de Rodat 2024-11-08 13:45:01 +00:00
• 900b62c459 Merge branch 'mr/pmderodat/target_info' into 'master' Pierre-Marie de Rodat 2024-11-12 09:43:13 +00:00
• d08a3919bc Libadalang.Target_Info: make Long_Long_Long_Size optional Pierre-Marie de Rodat 2024-11-06 18:57:23 +00:00
• 012f5dae71 Merge branch 'mr/pmderodat/lkt-add-to-env' into 'master' Pierre-Marie de Rodat 2024-11-06 19:02:12 +00:00
• 932a95c055 Update after recent Langkit breaking changes Pierre-Marie de Rodat 2024-11-05 15:33:16 +00:00
• afe236bc66 Merge branch 'topic/lkt/remove_logicassign_node_promoting' into 'master' Rémi Segard 2024-11-06 15:53:35 +00:00
• 7908845aee Change all occurences of implicit node promoting in LogicAssigns Remi SEGARD 2024-10-22 14:35:50 +02:00
• c5e3a9c439 Merge branch 'mr/pmderodat/gpr2-workaround' into 'master' Pierre-Marie de Rodat 2024-11-06 11:01:41 +00:00
• 0791ef11b0 Nameres driver: allow testcases to specify the current working directory Pierre-Marie de Rodat 2024-11-06 10:43:42 +00:00
• 85a5d9fc42 Merge branch 'mr/pmderodat/target_info' into 'master' Pierre-Marie de Rodat 2024-11-05 15:58:36 +00:00
• bc0897def0 Make Create_Context_From_Project consider -gnateT for target info Pierre-Marie de Rodat 2024-10-25 13:27:31 +00:00
• dc8b408fdf Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2024-11-05 09:26:36 +00:00
• 9a2939be96 Update after recent Langkit breaking changes Pierre-Marie de Rodat 2024-10-18 12:35:59 +00:00
• e0e7540caf Merge branch 'topic/1480' into 'master' Romain Béguet 2024-11-04 13:32:02 +00:00
• 1c6362a4a9 Fix origin node in base_subp_decls. Romain Beguet 2024-11-04 11:30:01 +01:00