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

• f5bc40c60a Editorial changes: correcting grammar gusthoff 2024-08-30 21:02:18 +02:00
• 5ce7d1112a Editorial change: correcting widget class in code examples gusthoff 2024-07-20 20:18:15 +02:00
• a01890711f Editorial change: removing todo item gusthoff 2024-07-20 18:08:17 +02:00
• 58f031af0a Improving comments on error using mutable subtypes gusthoff 2024-07-20 18:07:38 +02:00
• c08ab57d2a Editorial change: aligning title of code example gusthoff 2024-07-20 18:06:22 +02:00
• 2ca1df2ef1 Editorial change: correcting code style gusthoff 2024-07-20 18:05:11 +02:00
• 6b9e78b985 Editorial change: removing unused package gusthoff 2024-07-20 18:01:56 +02:00
• 0d3ca824d3 Adding error indication to code examples gusthoff 2024-07-20 18:01:25 +02:00
• a0fa74c231 Editorial change: correcting code style gusthoff 2024-07-20 18:00:42 +02:00
• 925ff2eaad Editorial change: correcting widget class in code example gusthoff 2024-07-20 18:00:01 +02:00
• a06f318e5f Adding section on record discriminants gusthoff 2024-07-14 19:01:04 +02:00
• 0ee0f146e7 Editorial change: adding anchor gusthoff 2024-07-14 18:59:57 +02:00
• 5261aa1947 Editorial change: adding anchor gusthoff 2024-07-14 18:59:46 +02:00
• 90cecff888 Editorial change: adding anchor gusthoff 2024-07-14 18:59:37 +02:00
• 1929f3f17b Editorial change: adding anchor gusthoff 2024-07-14 18:58:59 +02:00
• 3ce731fc0d Editorial change: adding anchor gusthoff 2024-07-14 18:58:47 +02:00
• 6c0102ffbb Editorial change: adding anchor gusthoff 2024-07-14 18:58:39 +02:00
• 408d950de7 Editorial change: adding anchor gusthoff 2024-07-14 18:58:20 +02:00
• 35b00f6c17 Editorial change: correcting admonition title gusthoff 2024-07-14 18:57:38 +02:00
• a44c441cd5 Editorial change: moving admonition up gusthoff 2024-07-14 18:57:10 +02:00
• a3b2217b12 Minor change: adapting introduction to subsection gusthoff 2024-07-14 18:55:59 +02:00
• 4e931d7724 Editorial change: correcting code indentation gusthoff 2024-07-14 18:55:25 +02:00
• 74dd2fbcef Editorial change: reducing section level gusthoff 2024-07-14 18:53:49 +02:00
• 66b69d103d Editorial change: moving admonition to new section gusthoff 2024-07-13 02:49:05 +02:00
• 2614407409 Editorial change: converting comment to section gusthoff 2024-07-13 02:38:59 +02:00
• 6de65266ee Merge pull request #1098 from pat-rogers/master Pat Rogers 2024-08-30 10:25:40 -05:00
• 750276fef1 insert missing word various polishing for clarity add text explaining naming scheme for instances of unchecked conversions Pat Rogers 2024-08-30 09:46:43 -05:00
• de9a22b834 Merge pull request #1084 from gusthoff/topic/issues/1065 Gustavo A. Hoffmann 2024-08-30 13:59:27 +02:00
• bda8618a29 Merge pull request #1097 from pat-rogers/master Gustavo A. Hoffmann 2024-08-30 13:58:56 +02:00
• 47e266e9f0 various polishing, also renamed integer type to Acceleration for simplicity Pat Rogers 2024-08-27 17:41:24 -05:00
• 31b2da0774 Merge pull request #1092 from gusthoff/content/ada_idioms/new_section/type_punning/20240824 Gustavo A. Hoffmann 2024-08-24 19:58:36 +02:00
• 49ba782346 Bump micromatch from 4.0.4 to 4.0.8 in /frontend dependabot[bot] 2024-08-24 15:08:48 +00:00
• 2dc978b5a6 Frontend: updating yarn packages gusthoff 2024-08-24 16:21:04 +02:00
• 36e4d1a049 SCSS: updating syntax for standard options gusthoff 2024-08-24 15:48:25 +02:00
• fd4bfd736d Vagrant VM: using toolchain information from configuration file gusthoff 2024-08-24 15:37:16 +02:00
• 6c6f81418d Editorial change: adding reference to existing section gusthoff 2024-08-24 14:53:12 +02:00
• 954901de98 Adding chapter: "Type Punning" gusthoff 2024-08-24 14:50:55 +02:00
• bc07525579 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
• ebc9a0d2de Editorial change: correcting code style gusthoff 2024-08-20 23:50:45 +02:00
• b16dbdbf69 Adding missing checks gusthoff 2024-08-20 23:15:41 +02:00
• 7dab3928cd Minor change: simplifying expression gusthoff 2024-08-20 23:15:08 +02:00
• bc526ab9c5 Editorial change: using meaningful names for data types gusthoff 2024-08-20 23:14:37 +02:00
• decd27bb8f Mention overhead in other languages gusthoff 2024-08-20 22:40:56 +02:00
• 22ac86c85d Editorial change: correcting grammar gusthoff 2024-08-20 22:40:11 +02:00
• c520acf175 Editorial change: minor grammar fix gusthoff 2024-08-03 17:24:38 +02:00
• 1441d1c595 Adding admonition on bounded and unbounded strings gusthoff 2024-08-03 17:07:00 +02:00
• 3a2abf0430 Improving phrase about max. length of unbounded strings gusthoff 2024-08-03 17:03:36 +02:00
• a20c6995ff Adding reference to section on indefinite subtypes as discriminants gusthoff 2024-07-12 20:27:12 +02:00
• c22182483b Adding section on applications of controlled types gusthoff 2024-07-07 23:12:11 +02:00
• 447a00293d Editorial change: adding anchor gusthoff 2024-07-07 23:04:05 +02:00
• 5a7352ee94 Merge pull request #1091 from gusthoff/topic/infrastructure/compile_blocks/20240818/multiple_toolchain_versions Gustavo A. Hoffmann 2024-08-18 16:36:06 +02:00
• 3a73dd57fe Test script: minor update of gprbuild gusthoff 2024-08-18 15:53:49 +02:00
• 534b7ef4ef Test script: separate error handling for gprclean gusthoff 2024-08-18 15:52:32 +02:00
• c33b8850fd Vagrant VM: correcting path to toolchain.ini file gusthoff 2024-08-18 15:51:16 +02:00
• 35b0e38958 Merge pull request #1090 from gusthoff/topic/infrastructure/github_actions/20240818 Gustavo A. Hoffmann 2024-08-18 15:50:07 +02:00
• 95da0c529f GitHub actions: add cache dependency path for node action gusthoff 2024-08-18 14:02:30 +02:00
• e4bb7a5d62 GitHub actions: updating version of actions gusthoff 2024-08-18 14:02:04 +02:00
• 431e6ed24f Merge pull request #1089 from gusthoff/topic/infrastructure/compile_blocks/20240817/gnat_14_update Gustavo A. Hoffmann 2024-08-17 21:53:15 +02:00
• 9c1b7368da Using GNAT-12 / GNATprove-12 for code examples gusthoff 2024-08-17 21:19:09 +02:00
• 35ca6e7608 No compilation error for code example when using GNAT-14 gusthoff 2024-08-17 21:16:10 +02:00
• 155eebee85 Removing run-button for code example of unpublished course gusthoff 2024-08-17 21:14:35 +02:00
• ac479fe9fa Deactivating syntax checking for code examples gusthoff 2024-08-17 21:14:05 +02:00
• 991ed762b6 Updating syntax for Ada 2022 example gusthoff 2024-08-17 21:13:14 +02:00
• afe81fcb6e Adding missing initialization of struct element in code example gusthoff 2024-08-17 21:12:36 +02:00
• 9782c076ea Test script: updating to GNAT-14 toolchain gusthoff 2024-08-17 21:11:57 +02:00
• ae1d776e35 Test script: adding alternate command-line options for gnatprove 14 gusthoff 2024-08-17 21:10:32 +02:00
• 2a9eea20da Merge pull request #1088 from gusthoff/topic/infrastructure/compile_blocks/20240817/multiple_toolchain_versions Gustavo A. Hoffmann 2024-08-17 21:05:45 +02:00
• 8f2bf29cf4 Widget: parsing new Sphinx classes gusthoff 2024-08-17 20:30:49 +02:00
• 791926bad5 Test script: add "c-compile" class to the list gusthoff 2024-08-17 20:29:23 +02:00
• c0dd685866 Merge pull request #1087 from gusthoff/topic/infrastructure/compile_blocks/20240811/multiple_toolchain_versions Gustavo A. Hoffmann 2024-08-11 20:45:09 +02:00
• 043efa0cff Test script: fix check for "run/compile" button gusthoff 2024-08-11 17:53:23 +02:00
• 89d4cc9f2b Merge pull request #1086 from gusthoff/topic/infrastructure/compile_blocks/20240803/multiple_toolchain_versions Gustavo A. Hoffmann 2024-08-11 17:29:07 +02:00
• 16b549741d Test script: fixing check for toolchain version selection and buttons gusthoff 2024-08-11 16:30:51 +02:00
• b1e07145f8 GitHub actions: minor editorial change gusthoff 2024-08-11 15:40:22 +02:00
• c7c736b42f Test script: display specified toolchain version gusthoff 2024-08-11 15:33:33 +02:00
• cad3b3f30d GitHub actions: refactoring of toolchain installation gusthoff 2024-08-11 15:32:16 +02:00
• 719921bf17 Test script: adding check for toolchain version selection and buttons gusthoff 2024-08-11 14:57:42 +02:00
• 489c18fe36 Test script: moving code to separate function gusthoff 2024-08-11 14:54:44 +02:00
• d2355de231 Test script: fix toolchain version initialization for block gusthoff 2024-08-11 14:53:51 +02:00
• 8cd73559b5 Test script: storing toolchain selection mode gusthoff 2024-08-11 03:45:00 +02:00
• 6766bc0dac Merge branch 'topic/infrastructure/compile_blocks/20240811/toolchain_ini_file' into topic/infrastructure/compile_blocks/20240803/multiple_toolchain_versions gusthoff 2024-08-11 03:33:14 +02:00
• 8dcce41992 GitHub actions: minor fixes gusthoff 2024-08-11 03:30:42 +02:00
• b70ab11f3b Test script: using new toolchain_info module gusthoff 2024-08-11 02:56:31 +02:00
• f8a3fed308 Test script: adding module for toolchain information gusthoff 2024-08-11 02:54:56 +02:00
• 5eb5642a27 GitHub actions: using toolchain information from configuration file gusthoff 2024-08-11 02:53:34 +02:00
• f05ce03257 Vagrant: using toolchain information from configuration file gusthoff 2024-08-11 02:49:47 +02:00
• cb46c39d16 Test script: adding configuration file for GNAT toolchains gusthoff 2024-08-11 02:48:26 +02:00
• 9f188e66ac Minor fix gusthoff 2024-08-09 18:30:52 +02:00
• cdf7afd35d Test script: minor fixes gusthoff 2024-08-09 18:14:34 +02:00
• 3152ad1528 Test script: introducing widget classes for "prove" and "compile" cases gusthoff 2024-08-09 17:49:29 +02:00
• 4af5b631c5 Test script: display toolchain information gusthoff 2024-08-04 23:27:05 +02:00
• 17511e17dd Test script: retrieve GRPbuild version gusthoff 2024-08-04 23:26:37 +02:00
• 7079a2eb9c Test script: only initialize selected non-default toolchain gusthoff 2024-08-04 23:25:47 +02:00
• e60f0f0516 Test script: adding support for toolchain versions gusthoff 2024-08-04 23:24:28 +02:00
• 13f8a6b420 GitHub: introducing support for multiple versions of toolchain gusthoff 2024-08-04 20:32:19 +02:00
• 1f52004781 Test script: introducing initial support for multiple toolchain installation gusthoff 2024-08-04 20:31:36 +02:00
• 3461825c69 Vagrant: preparations for support for multiple toolchain installation gusthoff 2024-08-04 11:41:44 +02:00
• d7f5af3d4b Vagrant: switching to bash shell gusthoff 2024-08-04 11:35:46 +02:00
• 50923d71ac Merge pull request #1085 from AdaCore/dkm-patch-1 Gustavo A. Hoffmann 2024-08-09 17:50:55 +02:00
• 9f44303fae Fix typo limited_types.rst Marc Poulhiès 2024-08-09 09:48:11 +02:00