Commit Graph

Select branches

Hide Pull Requests

ada_horizon_logo

add_cwe_to_coding_standards

adv-ada_resources-mgmt_access-abstraction_fix

airborne-software-booklet

codepeer-to-gnatsas

coding_standards

contact_form

cwe_minor_updates

dead_beef

dependabot/npm_and_yarn/frontend/isaacs/brace-expansion-5.0.1

dependabot/pip/frontend/pillow-12.1.1

describe_where_gnatcheck_rules_come_from

feature/Fix-race-condition

feature/Fix-some-code-blocks

feature/Lambda-executer

feature/Update-backend-URLs

feature/Update-makefile

filip-review

front-page-ebook-layout

main

minor_typos

missing-semicolon

railway_software_booklet

remove-RA-tracker

remove-gnat-ce-link

remove_fundamentals_of_ada

revert-theme-change

sttaft_review

update_training_logo

#1

#10

#100

#1000

#1001

#1002

#1003

#1004

#1005

#1006

#1007

#1008

#1009

#101

#1010

#1011

#1012

#1013

#1014

#1015

#1016

#1017

#1018

#1019

#102

#1021

#1022

#1023

#1024

#1025

#1026

#1027

#1028

#1029

#103

#1030

#1031

#1032

#1033

#1034

#1035

#1036

#1037

#1038

#1039

#1040

#1042

#1043

#1044

#1045

#1047

#1048

#1051

#1052

#1053

#1054

#1055

#1056

#1057

#1058

#1059

#1060

#1061

#1063

#1064

#1066

#1067

#1068

#1069

#1070

#1071

#1072

#1073

#1074

#1075

#1076

#1077

#1078

#1079

#1080

#1081

#1082

#1083

#1084

#1085

#1086

#1087

#1088

#1089

#1090

#1091

#1092

#1093

#1094

#1095

#1096

#1097

#1098

#1099

#11

#11

#110

#1104

#1105

#1106

#1107

#1108

#1109

#111

#1110

#1111

#1112

#1113

#1114

#1115

#1116

#1117

#1118

#1119

#1120

#1121

#1122

#1123

#1124

#1125

#1126

#1127

#1128

#1129

#1130

#1131

#1132

#1133

#1134

#1135

#1136

#1137

#1138

#1139

#114

#1140

#1141

#1142

#1143

#1144

#1145

#1146

#1147

#1149

#115

#1150

#1151

#1152

#1153

#1154

#1155

#1156

#1157

#1158

#1159

#1160

#1161

#1162

#1163

#1164

#1165

#1167

#1168

#1169

#117

#117

#1170

#1171

#1172

#1173

#1174

#1175

#1176

#1177

#1178

#1179

#1180

#1181

#1182

#1183

#1184

#1185

#1186

#1187

#1188

#1189

#1190

#1191

#1192

#1193

#1194

#1195

#1196

#1197

#1198

#1199

#12

#120

#1200

#1202

#1203

#1204

#1205

#1206

#1209

#121

#1210

#1211

#1213

#1214

#1215

#1216

#1217

#1218

#1219

#122

#1220

#1222

#1223

#1224

#1225

#1226

#1227

#1228

#1229

#123

#1230

#1231

#1232

#1233

#1234

#1235

#1236

#1237

#1239

#124

#1240

#1241

#1242

#1243

#1244

#1245

#1248

#1249

#125

#1250

#1251

#1252

#1253

#1254

#1255

#1256

#1257

#1258

#1259

#126

#1260

#1261

#1262

#1263

#1264

#1265

#1266

#1267

#1268

#1269

#1270

#1271

#1272

#1273

#1274

#1275

#1276

#1277

#1278

#1279

#128

#1280

#1281

#1282

#1283

#1284

#1285

#1286

#1287

#1288

#1289

#129

#1290

#1291

#1292

#1293

#1294

#1295

#1296

#1297

#1298

#1299

#13

#130

#1300

#1301

#1302

#1303

#1305

#1306

#1307

#1308

#1309

#1309

#131

#1310

#1311

#1312

#1313

#1313

#1314

#1314

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#142

#143

#144

#147

#148

#149

#15

#15

#152

#153

#154

#155

#156

#158

#159

#16

#161

#162

#164

#165

#166

#167

#168

#169

#17

#170

#171

#173

#174

#175

#176

#177

#178

#179

#18

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#20

#200

#202

#203

#204

#205

#206

#207

#209

#21

#211

#212

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#235

#237

#238

#239

#24

#24

#240

#241

#243

#244

#245

#246

#247

#248

#249

#25

#250

#252

#253

#255

#257

#258

#259

#26

#26

#260

#261

#262

#263

#264

#266

#267

#268

#269

#27

#270

#271

#274

#275

#276

#277

#278

#279

#28

#280

#281

#284

#285

#286

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#310

#311

#312

#313

#314

#315

#317

#318

#319

#32

#320

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#353

#354

#355

#356

#357

#358

#359

#36

#361

#363

#364

#366

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#389

#39

#392

#393

#394

#395

#397

#398

#399

#4

#40

#400

#401

#402

#403

#404

#406

#409

#41

#410

#411

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#430

#431

#432

#433

#434

#435

#436

#437

#438

#439

#44

#440

#441

#443

#444

#446

#447

#448

#449

#45

#455

#456

#458

#459

#46

#460

#461

#462

#463

#464

#465

#467

#469

#47

#474

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#485

#486

#487

#488

#489

#49

#490

#491

#492

#493

#495

#497

#498

#499

#5

#50

#500

#501

#502

#505

#507

#508

#509

#51

#510

#512

#513

#514

#516

#517

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#554

#555

#556

#557

#558

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#57

#570

#571

#572

#573

#574

#575

#579

#58

#580

#581

#582

#583

#584

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#6

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#610

#611

#612

#613

#614

#616

#617

#618

#619

#620

#621

#622

#623

#624

#625

#627

#628

#629

#630

#631

#632

#634

#637

#638

#639

#640

#641

#642

#643

#644

#645

#646

#647

#648

#650

#651

#652

#653

#654

#655

#656

#657

#658

#659

#660

#661

#662

#663

#664

#665

#666

#667

#668

#669

#670

#671

#672

#673

#674

#675

#676

#677

#678

#679

#680

#681

#682

#683

#684

#685

#686

#687

#688

#689

#690

#691

#692

#693

#694

#696

#698

#699

#7

#700

#701

#702

#703

#704

#705

#706

#707

#708

#709

#710

#711

#712

#713

#714

#715

#716

#719

#720

#721

#723

#724

#725

#726

#727

#728

#729

#730

#731

#732

#733

#734

#735

#736

#737

#738

#739

#740

#741

#742

#743

#744

#745

#746

#747

#748

#749

#750

#751

#752

#753

#754

#755

#756

#757

#758

#759

#760

#761

#763

#764

#765

#766

#767

#768

#769

#77

#770

#771

#772

#773

#774

#775

#776

#777

#778

#779

#780

#781

#782

#783

#784

#785

#786

#787

#788

#789

#790

#791

#792

#793

#794

#795

#796

#797

#798

#799

#8

#80

#800

#801

#802

#805

#806

#807

#808

#809

#810

#812

#813

#814

#815

#816

#817

#818

#819

#82

#820

#821

#822

#823

#824

#825

#826

#827

#829

#830

#831

#832

#833

#834

#835

#836

#837

#838

#839

#84

#840

#841

#842

#843

#844

#845

#846

#847

#849

#85

#850

#851

#852

#853

#854

#855

#856

#857

#858

#859

#86

#860

#861

#862

#863

#865

#866

#867

#868

#869

#87

#870

#871

#872

#873

#874

#875

#876

#877

#878

#879

#882

#883

#884

#885

#886

#887

#888

#89

#893

#894

#895

#896

#897

#898

#899

#9

#90

#900

#901

#902

#903

#904

#905

#907

#908

#909

#91

#910

#911

#912

#913

#914

#915

#916

#918

#919

#92

#920

#921

#922

#923

#924

#925

#926

#927

#928

#929

#93

#930

#931

#932

#933

#934

#935

#938

#939

#94

#941

#942

#943

#944

#945

#946

#947

#948

#949

#95

#950

#951

#952

#953

#954

#955

#956

#957

#958

#959

#96

#960

#961

#962

#963

#964

#965

#966

#967

#968

#969

#97

#970

#971

#972

#973

#974

#975

#976

#977

#978

#979

#980

#981

#982

#983

#984

#985

#986

#987

#988

#989

#99

#990

#991

#992

#993

#994

#995

#996

#997

#998

#999

2025.09.30

r2021.07.30

r2021.09.17

r2021.11.26

r2021.12.18

r2022.02.26

r2022.03.30

r2022.03.31

r2022.04.15

r2022.05.13

r2022.06.24

r2022.06.30

r2022.07.30

r2022.08.26

r2022.09.30

r2022.10.28

r2022.12.30

r2023.01.28

r2023.06.17

r2023.07.29

r2023.08.05

r2023.09.29

r2023.10.21

r2023.11.25

r2023.12.30

r2024.01.31

r2024.02.25

r2024.04.27

r2024.06.30

r2024.07.27

r2024.08.30

r2024.09.27

r2024.10.27

r2024.11.30

r2024.12.27

r2025.02.26

r2025.03.30

r2025.04.27

r2025.05.31

r2025.06.27

r2025.07.26

r2025.08.29

r2025.09.30

r2025.10.31

r2025.11.30

r2025.12.27

r2026.01.31

Mono Color

• 35e877f8e0 Merge pull request #751 from gusthoff/advanced_ada/review/editorial/access_types/20220701 Gustavo A. Hoffmann 2022-07-01 18:36:01 +02:00
• b7d8b5fbe1 Editorial change: moving section up gusthoff 2022-07-01 18:35:37 +02:00
• b7128adbc9 Minor editorial change gusthoff 2022-07-01 18:35:15 +02:00
• ba1d89a384 Fixing compilation issue in code example gusthoff 2022-07-01 18:02:19 +02:00
• b35ec6c0d7 Editorial change: adding pragma Unreferenced gusthoff 2022-07-01 18:01:05 +02:00
• af1950ab66 Editorial change: removing test application gusthoff 2022-07-01 18:00:07 +02:00
• 448e547624 Editorial change: readding section on Anonymous Access Types gusthoff 2022-07-01 16:57:32 +02:00
• 15c1bd5801 Editorial change: readding section on Accessibility Levels gusthoff 2022-07-01 16:35:57 +02:00
• 54faaf9bb4 Editorial change: moving example about "not null acccess procedure" gusthoff 2022-07-01 16:23:24 +02:00
• cf85a88503 analytics.html: remove Ruler Analytics tracker r2022.06.30 Fabien Chouteau 2022-06-30 14:25:57 +02:00
• b4d8a0eef8 Merge pull request #750 from AdaCore/remove-RA-tracker Gustavo A. Hoffmann 2022-06-30 19:19:28 +02:00
• 3da4e883e9 analytics.html: remove Ruler Analytics tracker remove-RA-tracker Fabien Chouteau 2022-06-30 14:25:57 +02:00
• 0b1f636711 Merge pull request #748 from gusthoff/topic/issues/636 Gustavo A. Hoffmann 2022-06-25 03:38:56 +02:00
• ed289fa2f5 Editorial change: correcting code language indication gusthoff 2022-06-25 02:54:41 +02:00
• d88709b560 Editorial change: removing run button gusthoff 2022-06-25 02:54:04 +02:00
• ff0347f8d1 Adding simple explanation about .ads/.adb files gusthoff 2022-06-25 02:32:51 +02:00
• 371b60cc78 Removing incorrect access type conversion gusthoff 2022-06-25 02:00:35 +02:00
• 1724001337 Adding comments on well-defined behavior of Unchecked_Conversion gusthoff 2022-06-25 01:44:53 +02:00
• d6e27ff678 Merge pull request #744 from gusthoff/intro_to_ada/review/more_about_types/20220625 Gustavo A. Hoffmann 2022-06-25 01:38:20 +02:00
• 8377b4775b Editorial changes: move sections to new chapters gusthoff 2022-06-25 00:35:27 +02:00
• c8b7b84990 Merge pull request #743 from gusthoff/topic/infrastructure/sphinx/updates/20220624 r2022.06.24 Gustavo A. Hoffmann 2022-06-24 23:19:01 +02:00
• 9bac0cea5d Python: updating package gusthoff 2022-06-24 09:57:52 +02:00
• 6b4b81ed37 Editorial change: sorting list according to pip freeze gusthoff 2022-06-24 09:57:02 +02:00
• 33f388ba8d Merge pull request #742 from gusthoff/intro-to-embedded-sys-prog/review/editorial/20220624 Gustavo A. Hoffmann 2022-06-24 11:59:33 +02:00
• 39b51d183b Editorial change: moving section to separate chapter gusthoff 2022-06-24 11:44:38 +02:00
• 139470bca2 Merge pull request #736 from gusthoff/advanced_ada/new_content/access_types/access_to_subprograms/20220604 Gustavo A. Hoffmann 2022-06-17 21:30:24 +02:00
• 937374c76c Merge pull request #730 from gusthoff/advanced_ada/new_content/packages/use_type_clause/20220527 Gustavo A. Hoffmann 2022-06-17 21:30:06 +02:00
• a521bc604d Merge pull request #739 from gusthoff/topic/infrastructure/sphinx/updates/20220617 Gustavo A. Hoffmann 2022-06-17 14:31:44 +02:00
• 3443d69858 Python: updating dev. version of Pygments gusthoff 2022-06-17 13:37:12 +02:00
• 555e322ad4 Editorial change: correcting grammar gusthoff 2022-06-17 13:31:33 +02:00
• 4ec977a7b6 Some improvements for clarification gusthoff 2022-06-17 13:31:16 +02:00
• b15ddbe6ed Editorial change: grammar correction gusthoff 2022-06-17 12:49:03 +02:00
• 4b35982c0b Editorial change: being more specific about section's scope gusthoff 2022-06-17 12:48:36 +02:00
• 07492fdd86 Editorial change: grammar correction gusthoff 2022-06-17 12:45:05 +02:00
• 37babc0b60 Clarifying references to visibility gusthoff 2022-06-17 12:44:05 +02:00
• 33608ea44d Merge pull request #731 from gusthoff/advanced_ada/new_content/access_types/ragged_arrays/20220528 Gustavo A. Hoffmann 2022-06-17 11:53:38 +02:00
• 706584d32e Merge pull request #737 from clairedross/master Gustavo A. Hoffmann 2022-06-10 19:34:38 +02:00
• 3c0859cbc5 Fix broken link Claire Dross 2022-06-10 17:31:17 +02:00
• 6f893d693b Fix broken link Claire Dross 2022-06-10 17:20:09 +02:00
• 8ed7366830 Fix broken link Claire Dross 2022-06-10 17:00:29 +02:00
• 8755c2a430 Use __ in links so they do not introduce an internal label Claire Dross 2022-06-10 16:17:16 +02:00
• 1c4f814031 Add links to the user guide in SPARK course Claire Dross 2022-06-10 15:38:37 +02:00
• d547bf338c Adding section on access to subprograms gusthoff 2022-06-04 04:58:11 +02:00
• 65ae481c00 Editorial change: removing section gusthoff 2022-06-04 04:57:27 +02:00
• cc6740dfc7 Merge pull request #735 from gusthoff/topic/infrastructure/sphinx/updates/20210603 Gustavo A. Hoffmann 2022-06-03 14:30:11 +02:00
• e3ce7f05ba Editorial change: adding Ada role gusthoff 2022-06-03 13:45:53 +02:00
• d6d69e0810 Editorial change: correcting Sphinx Ada role gusthoff 2022-06-03 13:45:32 +02:00
• 93b4d0a22f Editorial changes: correcting issues detected by Sphinx 5.0 gusthoff 2022-06-03 13:45:05 +02:00
• fc3f59af9b Sphinx: setting language to English gusthoff 2022-06-03 13:03:28 +02:00
• 0781c06c05 Merge pull request #734 from gusthoff/topic/infrastructure/sphinx/updates/20210603 Gustavo A. Hoffmann 2022-06-03 12:27:16 +02:00
• 37d5eb96a8 Python: updating some packages gusthoff 2022-06-03 12:26:00 +02:00
• b99bb8ad7a Merge pull request #733 from AdaCore/dependabot/pip/frontend/pillow-9.1.1 Gustavo A. Hoffmann 2022-06-03 11:20:04 +02:00
• 875d2a68b8 Merge pull request #732 from AdaCore/dependabot/npm_and_yarn/frontend/eventsource-1.1.1 Gustavo A. Hoffmann 2022-06-03 11:19:41 +02:00
• a15134f1f4 Bump pillow from 9.1.0 to 9.1.1 in /frontend dependabot[bot] 2022-06-02 00:04:17 +00:00
• 93dca4aaa8 Bump eventsource from 1.1.0 to 1.1.1 in /frontend dependabot[bot] 2022-06-01 13:51:37 +00:00
• c64185c8a3 Adding section on ragged arrays gusthoff 2022-05-28 02:03:25 +02:00
• 92bcd9ff05 Minor change: correcting code style gusthoff 2022-05-27 19:25:01 +02:00
• 684577d87d Editorial change: improving section title gusthoff 2022-05-27 18:22:04 +02:00
• c726dc4baf Adding section on use clause and naming conflicts gusthoff 2022-05-27 18:16:58 +02:00
• 059e4d9f8e Adding section on use type clauses gusthoff 2022-05-27 18:16:11 +02:00
• d138f590a5 Merge pull request #726 from gusthoff/advanced_ada/new_content/packages/visibility/20220514 Gustavo A. Hoffmann 2022-05-27 18:18:35 +02:00
• 6d57875b32 Merge pull request #728 from pat-rogers/master Gustavo A. Hoffmann 2022-05-27 11:32:38 +02:00
• 863cb983a1 Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2022-05-24 11:23:02 -05:00
• 9cc6a65757 udpates in response to review rogers 2022-05-24 11:08:46 -05:00
• 75536e8997 Editorial change: moving definitions to sub-bullets gusthoff 2022-05-21 02:14:52 +02:00
• e743ee2a97 Editorial change: adding Sphinx Ada role gusthoff 2022-05-21 02:14:05 +02:00
• d9f5a7a115 Editorial change: correcting typo gusthoff 2022-05-21 02:13:43 +02:00
• c8f40e0997 Editorial change: removing duplicated word gusthoff 2022-05-21 02:13:25 +02:00
• aff540f192 Editorial change: adding a couple of commas here and there gusthoff 2022-05-21 02:12:25 +02:00
• a92db78be5 Editorial change: adding links to external content gusthoff 2022-05-21 02:02:09 +02:00
• 6dbd4d1de5 Merge branch 'AdaCore:master' into master Pat Rogers 2022-05-20 10:07:21 -05:00
• b0a57d971a Merge pull request #729 from gusthoff/topic/infrastructure/vagrant/20220520 Gustavo A. Hoffmann 2022-05-20 14:07:02 +02:00
• 597273f71a Minor editorial change gusthoff 2022-05-20 13:55:42 +02:00
• 42ca0675e8 Editorial change: adding Sphinx Ada role gusthoff 2022-05-20 13:55:31 +02:00
• 3382a000fa Editorial change: correcting Sphinx Ada role gusthoff 2022-05-20 13:54:39 +02:00
• 8c0ab4396e Editorial change: correcting typo in m-dashes gusthoff 2022-05-20 13:09:03 +02:00
• ef73a0c480 Editorial change: correcting indentation of bullet points gusthoff 2022-05-20 13:07:03 +02:00
• 3b41569171 VM: pinning to correct Ubuntu VM version gusthoff 2022-05-20 12:47:16 +02:00
• 6de8e3b902 Minor editorial correction gusthoff 2022-05-17 22:56:49 +02:00
• 44ccd3bc0a final first draft rogers 2022-05-16 14:24:29 -05:00
• 21a59a16e1 Merge pull request #727 from ronan-d/minor-fixes Gustavo A. Hoffmann 2022-05-15 12:18:49 +02:00
• db33bf9dde Fixing minor issues Ronan Desplanques 2022-05-15 09:52:11 +02:00
• 88602abdd7 GitHub actions: adding plantuml package gusthoff 2022-05-14 07:44:24 +02:00
• e59edbefea Adding section on visibility gusthoff 2022-05-14 07:31:41 +02:00
• d2300217ab Merge pull request #725 from gusthoff/topic/infrastructure/sphinx/structure/20220514 Gustavo A. Hoffmann 2022-05-14 07:26:38 +02:00
• 7598add358 Sphinx: including support for PlantUML gusthoff 2022-05-14 07:00:34 +02:00
• 52b6314085 Merge branch 'master' into publication gusthoff 2022-05-13 12:50:28 +02:00
• 45c6e7a404 Merge pull request #721 from gusthoff/ada_2022_whats_new/review/editorial/20220506 Gustavo A. Hoffmann 2022-05-13 12:42:31 +02:00
• d073971595 Merge pull request #720 from gusthoff/topic/infrastructure/sphinx/structure/20220506 Gustavo A. Hoffmann 2022-05-13 12:42:22 +02:00
• 87f1d96f8f Merge pull request #724 from gusthoff/publication Gustavo A. Hoffmann 2022-05-13 11:24:23 +02:00
• 8904ba035f Merge branch 'ada_2022_whats_new/review/editorial/20220506' into gh-pages r2022.05.13 gusthoff 2022-05-13 11:13:53 +02:00
• c23797dec1 Merge branch 'topic/infrastructure/sphinx/structure/20220506' into gh-pages gusthoff 2022-05-13 11:12:33 +02:00
• 675a446da0 Merge pull request #723 from AdaCore/ruler-analytics-tracker Gustavo A. Hoffmann 2022-05-11 20:49:54 +02:00
• 4e15855046 Update analytics.html Fabien Chouteau 2022-05-11 10:09:08 +02:00
• 7143095d9c Update analytics.html Fabien Chouteau 2022-05-10 11:17:55 +02:00
• 3ec82bff3c analytics.html: add Ruler Analytics tracker Fabien Chouteau 2022-05-09 11:10:51 +02:00
• 1047574ce9 Editorial change: adding syntax highlighting to code blocks gusthoff 2022-05-06 15:51:20 +02:00
• b0961d233b Editorial change: correcting JSON code gusthoff 2022-05-06 15:50:42 +02:00
• d374e817a4 Editorial change: activating syntax highlighting on Ada code blocks gusthoff 2022-05-06 15:50:25 +02:00
• e082837a12 Python: redirecting to dev. version of Pygments gusthoff 2022-05-06 15:12:05 +02:00