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

• 579c6c956e Editorial change: moving note to subsection gusthoff 2022-09-02 21:32:22 +02:00
• 0f294a5fe4 Editorial change: improving paragraph gusthoff 2022-09-02 21:31:37 +02:00
• c21777ba68 Editorial change: moving section gusthoff 2022-09-02 21:31:17 +02:00
• f7c560c077 Merge pull request #780 from gusthoff/advanced_ada/review/editorial/limited_types/20220902 Gustavo A. Hoffmann 2022-09-02 20:47:46 +02:00
• 1a212258c1 Editorial change: moving historical comments to admonition gusthoff 2022-09-02 18:53:22 +02:00
• fa538cf926 Editorial change: fixing run-button issue gusthoff 2022-09-02 18:52:24 +02:00
• 5093e4d7df Editorial change: moving comments on constructors to admonition gusthoff 2022-09-02 18:38:42 +02:00
• e9fccdf136 Editorial change: moving paragraph to admonition gusthoff 2022-09-02 18:37:45 +02:00
• b7c4564bc7 Editorial change: moving paragraph to admonition gusthoff 2022-09-02 18:37:06 +02:00
• 86f8f63e2e Editorial change: separate admonition into two gusthoff 2022-09-02 18:27:49 +02:00
• b637ab82f3 Minor editorial change gusthoff 2022-09-02 18:26:39 +02:00
• e0b07ba333 Editorial change: slightly changing section title gusthoff 2022-09-02 18:26:04 +02:00
• 7fc0b57b82 Editorial changes: moving side comments to admonitions gusthoff 2022-09-02 17:59:45 +02:00
• a98d1ea9fd Minor editorial correction gusthoff 2022-09-02 17:59:20 +02:00
• 1b17b306d9 Editorial change: adding link to previous section gusthoff 2022-09-02 17:52:08 +02:00
• b29f8151ca Editorial change: moving section on full coverage rules gusthoff 2022-09-02 17:51:43 +02:00
• 297af03eb6 Minor editorial change gusthoff 2022-09-02 17:24:38 +02:00
• 4d2d98b24e Editorial change: subsection => section gusthoff 2022-09-02 17:21:26 +02:00
• 329f7e2de5 Editorial change: moving sections gusthoff 2022-09-02 17:14:19 +02:00
• b300829101 Merge pull request #779 from gusthoff/advanced_ada/new_content/limited_types/limited_types_as_parameters/20220826 Gustavo A. Hoffmann 2022-09-02 17:05:00 +02:00
• 6e5e89604e Correcting comment on private part gusthoff 2022-09-02 12:27:45 +02:00
• 116d75e92c Merge pull request #774 from gusthoff/advanced_ada/review/enhancements/type_view/20220820 Gustavo A. Hoffmann 2022-08-28 12:01:19 +02:00
• 037c0eef72 Adding section on assignment and equality operators for limited types (#772) Gustavo A. Hoffmann 2022-08-28 12:00:45 +02:00
• 22d86baa6a Merge pull request #759 from gusthoff/advanced_ada/new_content/access_types/accessibility_levels/20220722 Gustavo A. Hoffmann 2022-08-28 11:59:59 +02:00
• d40cf20341 Editorial change: indicating syntax-only check in code snippets gusthoff 2022-08-27 03:27:28 +02:00
• 43aeba9ecf Editorial improvements gusthoff 2022-08-27 02:21:46 +02:00
• 2a04cf49f7 Editorial change: PObj_Type => P_Obj_Type gusthoff 2022-08-27 02:20:43 +02:00
• bd9830d139 Update content/courses/intro-to-ada/chapters/tasking.rst Gustavo A. Hoffmann 2022-08-27 02:19:17 +02:00
• b99b07fb6e Editorial change: correcting code style gusthoff 2022-08-27 01:50:35 +02:00
• 85e9685212 Editorial corrections and improvements gusthoff 2022-08-27 01:47:20 +02:00
• a02d90af8e Adding comments on recursive calls gusthoff 2022-08-27 01:21:20 +02:00
• ab0ae202ec Adding section on limited types as parameters gusthoff 2022-08-27 01:08:19 +02:00
• 398c365a40 Placeholder for section: Parameter Modes and Associations (#778) Gustavo A. Hoffmann 2022-08-27 00:27:40 +02:00
• 8df41a127b Update content/courses/intro-to-ada/chapters/tasking.rst Maxim Reznik 2022-08-26 15:30:01 +03:00
• ac07e89764 Merge branch 'master' into publication r2022.08.26 gusthoff 2022-08-26 13:11:14 +02:00
• 1d70402794 Disable all execute buttons for a code block until the callback returns (#777) Rowan Walshe 2022-08-26 12:09:06 +01:00
• 86b9bb99c9 Minor fixes in intro-to-ada (#775) Maxim Reznik 2022-08-26 13:28:22 +03:00
• 59b970ac88 Edit Tasking section of "Introducion to Ada" Tucker Taft 2022-08-25 14:54:04 +03:00
• 9bc5c19d7d Adding admonition on private scalar types gusthoff 2022-08-20 03:20:21 +02:00
• 4f87576426 Merge pull request #773 from gusthoff/topic/infrastructure/vagrant/20220819 Gustavo A. Hoffmann 2022-08-20 02:40:53 +02:00
• 810a67d679 Editorial change: correcting HTML element gusthoff 2022-08-20 02:30:36 +02:00
• 9ff795f30b Removing download buttons for ebooks in MOBI format gusthoff 2022-08-20 01:13:19 +02:00
• 415594bffc Removing support for MOBI format gusthoff 2022-08-20 00:41:48 +02:00
• 3c1da32a8a Merge pull request #771 from gusthoff/topic/infrastructure/sphinx/updates/20220819 Gustavo A. Hoffmann 2022-08-20 00:23:13 +02:00
• 75685c9e87 Python: listing all frozen packages gusthoff 2022-08-19 16:13:34 +02:00
• d1b225fb5c Python: updating some packages gusthoff 2022-08-19 16:12:59 +02:00
• 87770bf5d6 Adding .gitignore file for backend gusthoff 2022-08-19 16:04:34 +02:00
• 762adc26c0 Merge pull request #770 from AdaCore/feature/Fix-race-condition Gustavo A. Hoffmann 2022-08-16 05:34:43 +02:00
• 5c50fb1501 Fix race condition that cause lab results to not be displayed feature/Fix-race-condition Rowan Walshe 2022-08-15 14:03:10 +01:00
• 276ecc20da Adding section on unchecked access gusthoff 2022-08-14 21:27:02 +02:00
• c6438f3750 Merge pull request #766 from AdaCore/feature/Update-makefile Gustavo A. Hoffmann 2022-08-12 17:00:15 +02:00
• bb2515b362 Update Mafile to have it auto-populate the correct WSS URL feature/Update-makefile Rowan Walshe 2022-08-12 15:46:51 +01:00
• 2b1e222b06 Merge pull request #749 from AdaCore/feature/Lambda-executer Gustavo A. Hoffmann 2022-08-12 14:02:49 +02:00
• ade8896237 Merge pull request #763 from AdaCore/feature/Fix-some-code-blocks Gustavo A. Hoffmann 2022-08-12 13:21:32 +02:00
• b8e0471e08 Add explicit main to fix test error feature/Fix-some-code-blocks Rowan Walshe 2022-08-08 11:59:44 +01:00
• 9d39621112 Fix typo Rowan Walshe 2022-08-05 11:52:38 +01:00
• a9acbdd701 Update project names for review comment Rowan Walshe 2022-08-05 11:44:50 +01:00
• 20e6b2e489 Add missing failure expectations to code blocks Rowan Walshe 2022-08-05 11:31:46 +01:00
• aadb78c760 Update project names for some code blocks Rowan Walshe 2022-08-05 09:31:59 +01:00
• 03930fcb3e Add missing failure expectations to code blocks Rowan Walshe 2022-08-05 09:30:13 +01:00
• ef287b7280 Update failing test expectations feature/Lambda-executer Rowan Walshe 2022-08-09 13:03:11 +01:00
• 1977363804 Added new test driver to test code blocks using lambda function Rowan Walshe 2022-08-04 13:53:47 +01:00
• 8e9f4fd2bc Remove references to the previous backend Rowan Walshe 2022-08-08 17:20:54 +01:00
• a19d3ad590 Switch to FSF GNAT that's part of the alire community index Rowan Walshe 2022-08-08 16:17:21 +01:00
• 68a38a70b4 Fix spark issue with download Rowan Walshe 2022-07-29 09:16:13 +01:00
• 2d497948fe Add some tests for the Download functionality Rowan Walshe 2022-07-25 14:32:41 +01:00
• 7508ac32f8 Re-implement download functionality Rowan Walshe 2022-07-14 17:30:36 +01:00
• 190c791766 Update testsuite to mock new WebSocket endpoint Rowan Walshe 2022-06-30 17:52:33 +01:00
• 59aae51a84 Remove dead code Rowan Walshe 2022-06-30 17:50:34 +01:00
• a1e91540e0 Address style violations Rowan Walshe 2022-06-30 17:49:55 +01:00
• 3df75c7e22 Disable download functionality Rowan Walshe 2022-06-30 11:11:26 +01:00
• 6d55a8f136 Proof of concept using WebSockets Rowan Walshe 2022-05-16 10:53:42 +01:00
• ff91c892ac Merge pull request #765 from AdaCore/feature/Update-github-actions Rowan Walshe 2022-08-09 13:50:22 +01:00
• 705668af8a Add apt-get update before apt-get install to github action Rowan Walshe 2022-08-08 12:10:11 +01:00
• 486a3a3b6e Merge pull request #764 from gusthoff/intro-to-embedded-sys-prog/review/editorial/20220805 Gustavo A. Hoffmann 2022-08-05 23:34:31 +02:00
• 2441d9459a Further editorial changes to source-code examples gusthoff 2022-08-05 19:53:24 +02:00
• 5b6acfc3bc Editorial change: correcting typo gusthoff 2022-08-05 19:33:05 +02:00
• f5c28e93cb Editorial changes to source-code examples gusthoff 2022-08-05 19:31:25 +02:00
• f41071de4e Multiple editorial changes gusthoff 2022-08-05 19:24:09 +02:00
• e19e2219dc Multiple editorial changes gusthoff 2022-08-05 14:31:56 +02:00
• 832cb9d651 Merge pull request #761 from pat-rogers/master Gustavo A. Hoffmann 2022-08-05 12:13:15 +02:00
• a817d950e1 Minor editorial corrections Gustavo A. Hoffmann 2022-08-05 12:12:25 +02:00
• 73eb7e2fc4 first draft of course conclusion rogers 2022-08-03 18:06:10 -05:00
• 55123687b8 Merge pull request #760 from FranklinChen/patch-1 Gustavo A. Hoffmann 2022-08-02 23:40:04 +02:00
• c0a71ad019 Update standard_library_numerics.rst Franklin Chen 2022-08-02 17:08:06 -04:00
• e20fa5347c Merge branch 'master' into publication r2022.07.30 gusthoff 2022-07-30 02:49:18 +02:00
• 3bd8ad68af Some editorial improvements gusthoff 2022-07-30 02:37:26 +02:00
• 482b3663d8 Correcting some small mistakes gusthoff 2022-07-30 02:25:35 +02:00
• b13f2d8c33 Minor editorial change gusthoff 2022-07-30 02:22:04 +02:00
• 583d3ac43c Correcting some small mistakes gusthoff 2022-07-30 02:21:06 +02:00
• c751e5349f Correcting some small mistakes gusthoff 2022-07-30 02:19:05 +02:00
• 665b4b0da8 Minor editorial improvement gusthoff 2022-07-30 02:16:19 +02:00
• 096e04ff58 Adding introductory paragraph of the section gusthoff 2022-07-30 02:10:40 +02:00
• 6372c58004 Adding subsection on conversions between anonymous and named access types gusthoff 2022-07-30 02:06:19 +02:00
• dea3114a34 Editorial change: changing section title gusthoff 2022-07-30 01:57:11 +02:00
• 92a9bc1c02 Editorial change: removing todo item gusthoff 2022-07-30 01:50:56 +02:00
• 8499b9d883 Editorial change: changing section title gusthoff 2022-07-30 01:50:22 +02:00
• 19183f7473 Minor improvements to paragraph gusthoff 2022-07-30 01:46:34 +02:00
• 1569e7a37a Merge pull request #756 from AdaCore/dependabot/npm_and_yarn/frontend/terser-4.8.1 Gustavo A. Hoffmann 2022-07-30 01:03:23 +02:00
• 10fb4df839 Merge pull request #758 from reznikmm/topic/no_void_in_cpp Gustavo A. Hoffmann 2022-07-30 00:57:34 +02:00