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

• ff996b57d6 Editorial change: minor English improvement gusthoff 2024-05-25 01:35:43 +02:00
• 5a78c1bc4a Adding suggested explanation about unconstrained private types gusthoff 2024-05-25 01:35:08 +02:00
• d454c8201f Minor improvements to paragraphs gusthoff 2024-05-25 01:33:02 +02:00
• ea011f8dad Adding small test application for Private_Constrained_Array gusthoff 2024-05-25 01:31:42 +02:00
• 6866341f6b Editorial change: updating subsection title gusthoff 2024-05-25 01:30:29 +02:00
• e4560771c9 Editorial change: correcting phrase gusthoff 2024-05-25 01:29:39 +02:00
• 1a66e414cb Merge pull request #1053 from AdaCore/dependabot/pip/frontend/requests-2.32.0 Gustavo A. Hoffmann 2024-05-24 14:09:37 +02:00
• ceb16c7293 Merge pull request #1045 from AdaCore/dependabot/pip/frontend/jinja2-3.1.4 Gustavo A. Hoffmann 2024-05-24 14:09:17 +02:00
• b7e004183f --- updated-dependencies: - dependency-name: requests dependency-type: direct:production ... dependabot[bot] 2024-05-21 05:40:49 +00:00
• b020e24ef8 Editorial change: correcting project name in code examples gusthoff 2024-05-18 04:08:51 +02:00
• 63cca979e0 Adding package body to code example gusthoff 2024-05-18 03:35:09 +02:00
• c58cd92d5d Adding subsection on evaluation of default expressions gusthoff 2024-05-18 03:25:20 +02:00
• 68cbd23442 Adding section on immutably limited types gusthoff 2024-05-18 03:02:05 +02:00
• b6e3de0813 Editorial change: adding anchor gusthoff 2024-05-18 03:00:33 +02:00
• 133775df89 Editorial change: moving subsection about defaults gusthoff 2024-05-17 18:38:22 +02:00
• e21d9ee15a Adding section on default initialization of records gusthoff 2024-05-17 18:28:20 +02:00
• fe354d6094 Editorial change: adding new section as todo item gusthoff 2024-05-17 17:27:27 +02:00
• 1170390334 Merge pull request #1043 from gusthoff/content/ada_idioms/new_section/interrupt_handling/20240504 Gustavo A. Hoffmann 2024-05-17 11:14:27 +02:00
• 14af3533af Merge pull request #1048 from gusthoff/content/advanced_ada/review/editorial/general/20240510/changelog Gustavo A. Hoffmann 2024-05-11 02:47:09 +02:00
• 8a30648a84 Adding changelog for previous releases gusthoff 2024-05-11 02:06:33 +02:00
• 37713391f2 Editorial change: moving changelog to separate file gusthoff 2024-05-11 02:05:40 +02:00
• 3bc1dc0ade Editorial change: no check for erroneous code example gusthoff 2024-05-10 22:47:30 +02:00
• 2978cf057b Editorial change: correcting code style gusthoff 2024-05-10 22:20:36 +02:00
• af9ecc00d9 Adding section on subtypes of limited types gusthoff 2024-05-10 21:47:06 +02:00
• ad1951d43c Adding subsection on non-record limited types gusthoff 2024-05-10 21:03:31 +02:00
• 55b9df31a2 Editorial change: adding anchor gusthoff 2024-05-10 21:00:09 +02:00
• 79475c678a Adding subsection on limitations for non-record types in full view gusthoff 2024-05-10 20:59:33 +02:00
• aa786ffaa6 Minor change: adding phrase after code example gusthoff 2024-05-10 20:50:31 +02:00
• 6d01591ea8 Editorial change: converting admonition to subsection gusthoff 2024-05-10 20:48:20 +02:00
• 070be65779 Editorial change: correcting formatting of code snippets gusthoff 2024-05-10 14:46:31 +02:00
• d82c76e762 Editorial change: correcting "nonlimited" gusthoff 2024-05-10 14:35:54 +02:00
• 95fa946bad Editorial change: adding missing word / correcting type name gusthoff 2024-05-10 14:31:37 +02:00
• 57db335ec7 Editorial change: moving code snippet to separate project gusthoff 2024-05-10 14:31:01 +02:00
• 528ffe1775 Editorial change: adding subsection gusthoff 2024-05-10 14:30:39 +02:00
• 772815456f Enhancing subsection on partial and full view of limited types gusthoff 2024-05-10 14:30:13 +02:00
• 22b1d3b3b1 Bump jinja2 from 3.1.3 to 3.1.4 in /frontend dependabot[bot] 2024-05-06 21:00:59 +00:00
• 490cb2bc5e Adding reference to explicitly limited types gusthoff 2024-05-04 05:35:04 +02:00
• 2888e8b906 Elaborating on copying of non-explicitly limited types gusthoff 2024-05-04 05:34:38 +02:00
• e0b4d77a42 Elaborating on non-limitedness gusthoff 2024-05-04 05:32:42 +02:00
• d32bae995e New subsection: "deriving from non-explicitly limited private types" gusthoff 2024-05-04 05:30:36 +02:00
• 9a5f5b40e5 Adding section: explicitly limited types gusthoff 2024-05-04 05:28:23 +02:00
• 180d77cf73 Adding comment about tagged limited private types and nonlimited full view gusthoff 2024-05-04 05:25:52 +02:00
• 2c9d95d816 Editorial change: adding anchor gusthoff 2024-05-04 05:25:01 +02:00
• b328622a2a Minor editorial corrections gusthoff 2024-05-04 05:23:39 +02:00
• cf60298d54 Editorial changes: removing trailing whitespaces gusthoff 2024-05-04 05:21:08 +02:00
• eb788d09bb Adding chapter: "Interrupt Handling" gusthoff 2024-05-04 05:20:37 +02:00
• a871ed3811 Merge pull request #1042 from gusthoff/content/advanced_ada/review/limited_types/general/20240503 Gustavo A. Hoffmann 2024-05-04 05:06:20 +02:00
• 17247d1959 Editorial change: correcting options in code examples gusthoff 2024-05-04 04:28:37 +02:00
• 2bdf29f8db Editorial change: minor correction gusthoff 2024-05-04 02:48:54 +02:00
• a9026939c2 Editorial change: adding todo item gusthoff 2024-05-04 02:47:21 +02:00
• 7472f7a52a Editorial change: adding todo items gusthoff 2024-05-04 02:46:04 +02:00
• 7eab077fb9 Editorial change: adding anchors gusthoff 2024-05-04 02:44:22 +02:00
• 62f1a5bbf0 Merge pull request #1040 from gusthoff/content/advanced_ada/review/editorial/general/20240427/list_of_authors r2024.04.27 Gustavo A. Hoffmann 2024-04-27 13:15:52 +02:00
• cd4e071078 Editorial change: reworking list of credits gusthoff 2024-04-27 13:14:54 +02:00
• bb6e1df1fb Merge pull request #1039 from gusthoff/content/advanced_ada/review/records/default_initialization/20240427 Gustavo A. Hoffmann 2024-04-27 12:43:25 +02:00
• de9532e52a Revert "Editorial change: moving section" gusthoff 2024-04-27 12:41:32 +02:00
• 9367a0e603 Merge pull request #1036 from gusthoff/topic/issues/1020 Gustavo A. Hoffmann 2024-04-27 02:04:19 +02:00
• 09fbecc9e3 Merge pull request #1037 from gusthoff/topic/infrastructure/sphinx/updates/20240427 Gustavo A. Hoffmann 2024-04-27 02:03:54 +02:00
• 9f1abd4786 Python: updating some packages gusthoff 2024-04-27 01:26:38 +02:00
• 51f24c5a0d Widget: include SPARK project in downloaded zip file gusthoff 2024-04-27 01:24:28 +02:00
• c1f1ec66c0 Merge pull request #1035 from gusthoff/content/advanced_ada/review/records/default_initialization/20240426 Gustavo A. Hoffmann 2024-04-26 18:20:36 +02:00
• abacf1f400 Editorial change: moving section gusthoff 2024-04-26 16:20:54 +02:00
• 69eee2a307 Merge pull request #1033 from gusthoff/content/advanced_ada/new_content/records/per_object_expressions/20240419 Gustavo A. Hoffmann 2024-04-26 13:29:37 +02:00
• 468052f6eb Editorial change: reordering constraints gusthoff 2024-04-26 13:06:06 +02:00
• be865755be Minor change: removing "range" gusthoff 2024-04-26 12:56:58 +02:00
• a242c315dd Editorial change: renaming project in code example gusthoff 2024-04-21 19:56:10 +02:00
• a0fe025869 Adding explanation about code example gusthoff 2024-04-21 19:55:47 +02:00
• df17f462f4 Adding subsection on per-object expressions in calculation of default values gusthoff 2024-04-21 19:55:33 +02:00
• 958df12b20 Editorial change: adding anchor gusthoff 2024-04-21 19:52:43 +02:00
• 4ef7e20078 Editorial change: removing admonition gusthoff 2024-04-21 19:52:25 +02:00
• ca1705151d Simplifying subsection title and introductory phrase gusthoff 2024-04-21 19:51:50 +02:00
• ba11ebacd3 Correcting comment about access attributes gusthoff 2024-04-21 19:49:34 +02:00
• 41addef425 Adding subsection about restrictions on per-object expressions gusthoff 2024-04-19 18:16:28 +02:00
• c8991c25ed Adding todo item: section on reference to current instance gusthoff 2024-04-19 18:12:01 +02:00
• 44bd8ae43d Adding comment about T'Access as a reference gusthoff 2024-04-19 18:11:12 +02:00
• 9743823f52 Correcting instances of per-object constraint gusthoff 2024-04-19 18:08:38 +02:00
• edac87ef0b Minor editorial change gusthoff 2024-04-19 18:06:36 +02:00
• 38e1838767 Merge pull request #1032 from gusthoff/content/intro_to_spark/review/editorial/general/20240412/small_correction Gustavo A. Hoffmann 2024-04-13 12:17:30 +02:00
• 974b58e025 Use "local units" instead of "subunits" in explanation Yannick Moy 2024-04-13 01:17:34 +02:00
• cf1535182b Merge pull request #1031 from gusthoff/content/advanced_ada/review/limited_types/general/20240412 Gustavo A. Hoffmann 2024-04-13 00:55:30 +02:00
• 226d57b631 Adding admonition about lock ADT gusthoff 2024-04-12 21:17:26 +02:00
• 7c64814ed7 Adding remark about equality operator gusthoff 2024-04-12 21:17:06 +02:00
• 4f2bbb3bab Adding rationale about restriction gusthoff 2024-04-12 21:15:35 +02:00
• f52450ddd7 Changing wording about side-effects of nonlimited types gusthoff 2024-04-12 21:14:30 +02:00
• 9e30743b8f Add some justification for limited types gusthoff 2024-04-12 21:14:21 +02:00
• ac255a9744 Merge pull request #1029 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/structure/20240405 Gustavo A. Hoffmann 2024-04-06 14:53:57 +02:00
• d8d83dc458 Editorial change: adding course to the list for publication gusthoff 2024-04-06 13:45:17 +02:00
• bab18b0d27 Merge pull request #1028 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/structure/20240405 Gustavo A. Hoffmann 2024-04-06 13:04:05 +02:00
• 0a9f78fea2 Editorial change: adding cover page gusthoff 2024-04-06 11:56:36 +02:00
• c79d64f7a0 Editorial change: adding new course for publication gusthoff 2024-04-06 11:56:07 +02:00
• 5cd5436180 Editorial change: adding new course to main page gusthoff 2024-04-06 11:54:35 +02:00
• 15b36f493f Merge pull request #1024 from AdaCore/dependabot/pip/frontend/pillow-10.3.0 Gustavo A. Hoffmann 2024-04-06 02:04:44 +02:00
• c10e5743f0 Merge pull request #1019 from AdaCore/dependabot/npm_and_yarn/frontend/express-4.19.2 Gustavo A. Hoffmann 2024-04-06 02:04:30 +02:00
• 377fde0a44 Merge pull request #1021 from AdaCore/updates_for_blog_post Gustavo A. Hoffmann 2024-04-06 02:00:32 +02:00
• 8c56daddf0 Merge pull request #1027 from gusthoff/topic/infrastructure/github_actions/20240405/dummy_publish-learn-latest_automatic Gustavo A. Hoffmann 2024-04-05 20:55:05 +02:00
• 291c9dddb1 GitHub actions: using automatic trigger on push gusthoff 2024-04-05 20:53:18 +02:00
• 22e8d68cca GitHub actions: using entries directly gusthoff 2024-04-05 20:53:00 +02:00
• a5b7d9e4c9 Merge pull request #1026 from gusthoff/topic/infrastructure/github_actions/20240405/dummy_publish-learn-latest Gustavo A. Hoffmann 2024-04-05 20:20:48 +02:00
• b26d4eafb4 GitHub actions: dummy version of publish-learn-latest gusthoff 2024-04-05 20:20:10 +02:00
• a3b66b117d clean up language Michael Frank 2024-04-04 18:08:01 -04:00