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

• 33b013c15b Editorial change: updating project name gusthoff 2024-10-20 21:11:27 +02:00
• 9e26841fd9 Editorial change: adding anchor gusthoff 2024-10-20 21:09:44 +02:00
• c81d1624c1 Editorial change: renaming section gusthoff 2024-10-20 21:09:28 +02:00
• 3d303381be Merge pull request #1126 from AdaCore/describe_where_gnatcheck_rules_come_from Gustavo A. Hoffmann 2024-10-18 10:40:01 +02:00
• 017f0d038c Remove references to gitlab issues describe_where_gnatcheck_rules_come_from Michael Frank 2024-10-17 14:09:05 -04:00
• 46eafbcd5d Merge pull request #1125 from gusthoff/content/advanced_ada/new_content/records/unknown_discriminants/20241006 Gustavo A. Hoffmann 2024-10-12 19:30:30 +02:00
• 1d38944efc Clarification: explicitly mentioning parent type gusthoff 2024-10-12 13:48:45 +02:00
• bc9a8b1f2e Editorial changes: fixing typos gusthoff 2024-10-12 13:48:07 +02:00
• 99a64274e8 Editorial change: correcting code style gusthoff 2024-10-06 18:26:57 +02:00
• 83e495e4f7 Editorial change: adding missing Sphinx class to code example gusthoff 2024-10-06 18:26:44 +02:00
• ddcc359c5d Minor addition to introductory paragraph gusthoff 2024-10-06 17:58:59 +02:00
• 584c6fd7ee Adding subsection on unconstrained subtypes gusthoff 2024-10-06 17:58:35 +02:00
• f167df5a7e Adding link to section on unknown discriminants gusthoff 2024-10-06 17:57:56 +02:00
• a3c23028de Adding subsection on object declaration of types with unknown discriminants gusthoff 2024-10-06 17:57:26 +02:00
• 8a3561c5fc Adding section on unknown discriminants gusthoff 2024-10-06 17:55:52 +02:00
• c7b977212b Editorial change: adding anchor gusthoff 2024-10-06 17:54:05 +02:00
• a6aa87e81b Editorial change: adding anchor gusthoff 2024-10-06 17:53:46 +02:00
• 9609429d5d Editorial change: removing todo item gusthoff 2024-10-06 17:53:31 +02:00
• 0081d55aad Merge pull request #1123 from gusthoff/content/advanced_ada/new_content/records/discriminant_constraints_operations/20241005 Gustavo A. Hoffmann 2024-10-12 01:49:00 +02:00
• f90f1feb88 Editorial change: missing word gusthoff 2024-10-11 22:30:01 +02:00
• ea67f4640f Improve description of lab exercise gusthoff 2024-09-29 01:55:39 +02:00
• 66b4c9cb99 Indicate which rules are builtin and which are defined in the repo Michael Frank 2024-10-07 10:42:17 -04:00
• 982e1ec046 Remove rule that is not actually used Michael Frank 2024-10-07 09:58:39 -04:00
• a8d2d3dc0e Rule is not actually used, so remove it for clarity Michael Frank 2024-10-07 09:52:42 -04:00
• 69accc958c Editorial change: adding anchor gusthoff 2024-10-05 16:03:49 +02:00
• 6fa888e933 Adding section on discriminant constraints gusthoff 2024-10-05 14:02:58 +02:00
• 2290833ac9 Adding simple example for Constrained attribute gusthoff 2024-10-05 13:58:42 +02:00
• c1f875423c Editorial change: adapting project name gusthoff 2024-10-05 13:42:12 +02:00
• 9660eb7a07 Editorial change: adding anchor gusthoff 2024-10-05 13:40:26 +02:00
• d69bc011ee Editorial change: moving section gusthoff 2024-10-05 13:39:44 +02:00
• 79ad760d8b Adding small introduction gusthoff 2024-10-05 13:37:35 +02:00
• 979074d8d1 Editorial change: adding anchor gusthoff 2024-10-05 13:37:06 +02:00
• d79da98c2b Editorial change: remove todo item gusthoff 2024-10-05 13:35:16 +02:00
• b7dc8042c3 Merge pull request #1122 from gusthoff/content/advanced_ada/review/editorial/general/20241005/changelog Gustavo A. Hoffmann 2024-10-05 14:09:31 +02:00
• 40ab526003 Minor editorial changes gusthoff 2024-10-05 14:08:21 +02:00
• 9177c0feba Editorial change: adding details about 2024-09 release gusthoff 2024-10-05 14:07:53 +02:00
• 262d2d1efa Merge pull request #1120 from gusthoff/content/labs/intro_to_ada/review/editorial/general/20240929/solutions_split Gustavo A. Hoffmann 2024-09-29 01:50:12 +02:00
• b5588ee7a9 Editorial change: split .rst file into multiple small files gusthoff 2024-09-29 01:14:04 +02:00
• 2dd68cd5b5 Merge pull request #1119 from gusthoff/topic/issues/1103 Gustavo A. Hoffmann 2024-09-28 20:30:44 +02:00
• 55f1eab569 TS frontend: improving error message gusthoff 2024-09-28 20:16:36 +02:00
• 68e682a14a SCSS: improving visibility of accordion open-sign gusthoff 2024-09-28 20:15:22 +02:00
• 61de17b57a SCSS: replacing +/- signs by triangles gusthoff 2024-09-28 20:14:23 +02:00
• 0d03b213cb Merge pull request #1118 from gusthoff/topic/infrastructure/vagrant/20240927/python_reqs r2024.09.27 Gustavo A. Hoffmann 2024-09-28 01:51:02 +02:00
• 900df442d8 GitHub actions: use frozen list of Python packages gusthoff 2024-09-27 23:12:15 +02:00
• b3407d49e2 Vagrant VM: use frozen list of Python packages gusthoff 2024-09-27 23:03:38 +02:00
• bed324b17b Merge pull request #1117 from gusthoff/content/general/review/editorial/copyright_year/20240927 Gustavo A. Hoffmann 2024-09-27 22:59:36 +02:00
• 97318ed6eb Editorial change: updating copyright year gusthoff 2024-09-27 22:10:24 +02:00
• f53dd3bcb8 Editorial change: updating copyright year gusthoff 2024-09-27 22:06:18 +02:00
• 4a6a191bf8 Merge pull request #1116 from gusthoff/topic/infrastructure/vagrant/20240927/gnat_update Gustavo A. Hoffmann 2024-09-27 22:06:47 +02:00
• b91caffdaa Test script: updating to latest GNAT-14 version gusthoff 2024-09-27 21:33:50 +02:00
• c46557c758 Bump express from 4.19.2 to 4.21.0 in /frontend dependabot[bot] 2024-09-21 06:32:30 +00:00
• d9ad874e1b Avoid bash error on undefined variable v Maxim Reznik 2024-09-14 17:07:41 +03:00
• 292c4b1953 Merge pull request #1115 from gusthoff/topic/issues/1101 Gustavo A. Hoffmann 2024-09-27 17:18:15 +02:00
• 72469dda07 Editorial change: adding instructions about source-code tabs gusthoff 2024-09-27 16:45:49 +02:00
• e500daa825 Merge pull request #1114 from gusthoff/topic/issues/1101 Gustavo A. Hoffmann 2024-09-27 16:00:41 +02:00
• 0ac0fd83fd Widget: improvements to selected source-code tab gusthoff 2024-09-27 15:15:26 +02:00
• 9d2836bd2a Widget: show border of source-code tabs gusthoff 2024-09-27 15:12:30 +02:00
• bb925a9244 Widget: highlight clickable source-code tabs on mouseover gusthoff 2024-09-27 15:10:09 +02:00
• d8ee6bde16 Merge pull request #1111 from gusthoff/topic/issues/1100 Gustavo A. Hoffmann 2024-09-08 13:13:47 +02:00
• 22898fb344 Test script: removing test because of confirmation window gusthoff 2024-09-08 06:26:24 +02:00
• 694135e592 Test script: removing test because of confirmation window gusthoff 2024-09-08 06:20:32 +02:00
• b113cb31bd Widget: moving settings bar to the top gusthoff 2024-09-08 06:09:44 +02:00
• cd77a0c421 Widget: asking user for permission to reload the page gusthoff 2024-09-08 06:06:15 +02:00
• 9b22f64bf5 Merge pull request #1110 from gusthoff/content/advanced_ada/review/editorial/controlled_types/20240908 Gustavo A. Hoffmann 2024-09-08 05:52:20 +02:00
• eb7ffd4f50 Editorial change: correcting typo gusthoff 2024-09-08 05:51:25 +02:00
• cd09a2c4a9 Editorial change: add link to wikipedia gusthoff 2024-09-08 05:51:08 +02:00
• 9ecb5fa14d Merge pull request #1109 from gusthoff/content/advanced_ada/review/editorial/general/20240908/changelog Gustavo A. Hoffmann 2024-09-08 05:08:50 +02:00
• ddb2a56bcc Editorial change: adding details about 2024-08 release gusthoff 2024-09-08 05:08:15 +02:00
• 38830f157c Merge pull request #1108 from gusthoff/topic/infrastructure/vagrant/20240907/vm_apt_update Gustavo A. Hoffmann 2024-09-08 04:47:50 +02:00
• e07ff44a15 Vagrant VM: updating apt packages gusthoff 2024-09-08 04:46:30 +02:00
• 23645b9584 Merge pull request #1107 from gusthoff/topic/infrastructure/vagrant/20240907/vm_apt_list_fix Gustavo A. Hoffmann 2024-09-08 04:34:23 +02:00
• 6ff8359173 Vagrant VM: use alternative list of packages gusthoff 2024-09-08 04:32:59 +02:00
• 8319577a09 Vagrant VM: correct list of installed packages gusthoff 2024-09-08 01:45:25 +02:00
• ad6cb162bb Merge pull request #1106 from gusthoff/topic/infrastructure/vagrant/20240907/vm_apt_list Gustavo A. Hoffmann 2024-09-07 18:26:18 +02:00
• 25f2f49aeb Vagrant VM: adding support for reproducible OS installation gusthoff 2024-09-07 18:24:24 +02:00
• 88050f0af7 Merge pull request #1104 from pat-rogers/master Gustavo A. Hoffmann 2024-09-06 20:54:37 +02:00
• 5c7912efa3 Merge pull request #1105 from gusthoff/topic/infrastructure/github_actions/20240906 Gustavo A. Hoffmann 2024-09-06 20:51:28 +02:00
• 097e01f55e GitHub actions: use highest compression level for artifacts gusthoff 2024-09-06 19:30:00 +02:00
• 7c6c95add0 GitHub actions: indicate error if no files are found gusthoff 2024-09-06 19:29:28 +02:00
• 4f70486640 GitHub actions: updating to latest version of upload action gusthoff 2024-09-06 19:28:41 +02:00
• 74ea2c4086 Further polishing. Pat Rogers 2024-09-05 12:13:13 -05:00
• 17b82b1dc0 Merge pull request #1099 from gusthoff/content/advanced_ada/review/editorial/controlled_types/20240830 r2024.08.30 Gustavo A. Hoffmann 2024-08-31 02:48:35 +02:00
• a79bab9fd0 Merge pull request #1099 from gusthoff/content/advanced_ada/review/editorial/controlled_types/20240830 Gustavo A. Hoffmann 2024-08-31 02:48:35 +02:00
• e5b6d470cf Editorial change: publishing new chapter on controlled types gusthoff 2024-08-31 02:06:39 +02:00
• ca1b584515 Merge pull request #1073 from gusthoff/content/advanced_ada/new_content/controlled_types/applications/20240706 Gustavo A. Hoffmann 2024-08-22 01:43:28 +02:00
• 6e0b0a828b Merge pull request #1079 from gusthoff/content/advanced_ada/new_content/limited_types/discriminants/20240721 Gustavo A. Hoffmann 2024-08-30 21:40:18 +02:00
• 3c2ebd807b Editorial changes: correcting grammar gusthoff 2024-08-30 18:48:48 +02:00
• 568a73d99e Editorial change: simplifying procedure name gusthoff 2024-07-21 16:45:47 +02:00
• 6e5b5db99f Editorial change: fixing anchor gusthoff 2024-07-21 16:18:10 +02:00
• bc4ef7febb Editorial change: adding reference to previous subsection gusthoff 2024-07-21 15:43:46 +02:00
• e5a6015379 Adding section on limited types with discriminants gusthoff 2024-07-21 15:43:07 +02:00
• da3a671937 Editorial change: adding anchor gusthoff 2024-07-21 15:42:23 +02:00
• 230113bb0b Editorial change: starting new section gusthoff 2024-07-21 15:41:56 +02:00
• 7626a21d48 Editorial change: adding anchor gusthoff 2024-07-21 15:40:55 +02:00
• fc6c419d44 Editorial change: adding anchor gusthoff 2024-07-21 15:39:17 +02:00
• 527ec475c9 Editorial change: adding anchor gusthoff 2024-07-21 15:39:08 +02:00
• 0bdfe4aa2c Editorial change: adding anchor gusthoff 2024-07-21 15:38:58 +02:00
• daea2604f0 Editorial change: adding anchor gusthoff 2024-07-21 15:38:34 +02:00
• bc202cb714 Merge pull request #1075 from gusthoff/content/advanced_ada/new_content/records/discriminants/20240713 Gustavo A. Hoffmann 2024-08-30 21:39:07 +02:00
• 3003276d28 Small improvements gusthoff 2024-08-30 21:03:13 +02:00