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

• 6cd85fe52e Editorial change: using ReST syntax for em-dashes gusthoff 2019-01-11 17:24:31 +01:00
• bcbe5328bc Editorial change: added chapters to index gusthoff 2019-01-11 16:28:42 +01:00
• 41403ad427 Editorial change: fixed section levels gusthoff 2019-01-11 16:27:59 +01:00
• 660130f5d4 Editorial change: fixed typo gusthoff 2019-01-11 15:45:45 +01:00
• 54f4e56ec8 Merge pull request #176 from gusthoff/advanced_ada/generics/partial_parametrization/20181214 Gustavo A. Hoffmann 2019-01-11 15:35:09 +01:00
• 2f6e8556d6 Editorial change: aligned title of GNAT-related admonitions gusthoff 2018-12-14 16:14:38 +01:00
• 6f2175a93f Editorial change: ending phrase with a dot. gusthoff 2018-12-14 16:00:50 +01:00
• 89be619ec7 Editorial change: fixed formatting of bullet points gusthoff 2018-12-14 15:44:22 +01:00
• c1eb0af29e Planning: marked section as done gusthoff 2018-12-21 14:34:14 +01:00
• 0a9826d991 Editorial change: typo Christophe Garion 2019-01-11 10:03:35 +01:00
• 99c6f766e3 Editorial change: typo Christophe Garion 2019-01-11 10:03:06 +01:00
• 63cd520413 Editorial change: typo Christophe Garion 2019-01-11 10:02:41 +01:00
• 817fd4d343 Editorial change: add admonition on remark on Ada integer types Christophe Garion 2019-01-11 10:02:16 +01:00
• 6828debd1b Merge pull request #179 from AdaCore/development_environment Robert Tice 2019-01-04 14:57:52 -05:00
• a17c6a2680 Minor adjustments, useful for the development environment Nicolas Setton 2019-01-04 14:45:47 -05:00
• 6a0230ebab Editorial change: removed section gusthoff 2018-12-26 20:54:01 +01:00
• 153c8ef8e8 Replaced code snippets with complete source-code in the section gusthoff 2018-12-26 20:43:00 +01:00
• 6c9145b946 Some corrections to complete source-code example gusthoff 2018-12-26 20:27:04 +01:00
• 84ec6ad0b7 Added section on classwide operations and generic algorithms gusthoff 2018-12-21 23:08:20 +01:00
• 31f6b5e2fb Planning: marked factory functions as completed gusthoff 2018-12-21 22:39:15 +01:00
• a6923b0a11 Minor change: removed unused constant gusthoff 2018-12-21 22:18:45 +01:00
• 4d61d76fe8 Editorial change: removed run-button gusthoff 2018-12-21 22:04:44 +01:00
• 1d8cbf0884 Added simple test application gusthoff 2018-12-21 22:03:56 +01:00
• 5daf48b21a Adapted source-code examples gusthoff 2018-12-21 18:35:16 +01:00
• 485f9a07d2 Added section on factory functions gusthoff 2018-12-21 17:00:19 +01:00
• 7f83845161 Initial commit of chapter on design patterns gusthoff 2018-12-21 16:59:47 +01:00
• c33bdf50a5 Editorial changes: corrected terminology gusthoff 2018-12-14 21:11:37 +01:00
• 1d91119c83 Editorial change: mentioning (<>) syntax gusthoff 2018-12-14 21:02:00 +01:00
• 5808986091 Editorial change: addded link to subsection and improved description gusthoff 2018-12-14 20:59:39 +01:00
• c886777d7d Editorial change: replaced word gusthoff 2018-12-14 20:50:04 +01:00
• 439e8c77a7 Editorial change: improved description gusthoff 2018-12-14 20:48:50 +01:00
• 6771a80425 Marked section as completed gusthoff 2018-12-14 20:17:24 +01:00
• 5d1aec982f Editorial change: moved to new paragraph gusthoff 2018-12-14 20:16:19 +01:00
• 6899a3fda5 Editorial change: mentioning signature package gusthoff 2018-12-14 20:10:00 +01:00
• 2650a1bda1 Editorial change: improved terminology gusthoff 2018-12-14 20:08:34 +01:00
• 2660a56dbf Editorial change: improved section title gusthoff 2018-12-14 20:07:50 +01:00
• 4be1bafd45 Editorial change: rephrased description of formal parameters gusthoff 2018-12-14 20:00:28 +01:00
• d3ff9143ef Editorial change: using ada-role for references to source-code examples gusthoff 2018-12-14 19:54:57 +01:00
• bbfbd5124d Added section on formal package parametrization gusthoff 2018-12-14 19:41:34 +01:00
• caff883445 Editorial change: corrected terminology gusthoff 2018-12-14 18:41:38 +01:00
• 6a3eec717c Repeating source-code example for the sake of completeness gusthoff 2018-12-14 18:40:06 +01:00
• 891a078d40 Merge pull request #168 from rasheedja/master Gustavo A. Hoffmann 2018-12-07 23:07:33 +01:00
• cd63566a7f Merge pull request #171 from gusthoff/advanced_ada/generics/20181201_improvements Gustavo A. Hoffmann 2018-12-07 23:07:12 +01:00
• a5a01c145b Using class access type in source-code example gusthoff 2018-12-06 22:56:54 +01:00
• bd6503876c Merge pull request #170 from gusthoff/advanced_ada/generics/pr_139_feedback Gustavo A. Hoffmann 2018-12-06 22:16:22 +01:00
• 298fed2857 Generalized call to method of derived tagged type gusthoff 2018-12-01 17:03:01 +01:00
• 0577f7e8e5 Removed section from the list gusthoff 2018-12-01 14:19:58 +01:00
• dadbe4416f Simplified headroom conditions for fixed-point saturated addition gusthoff 2018-11-30 16:48:18 +01:00
• fa7dbba4de Editorial changes: removed subsection gusthoff 2018-11-30 16:36:57 +01:00
• e0dec664d3 Removed unnecessary formal function. gusthoff 2018-11-30 16:34:42 +01:00
• 2af36467f4 Editorial changes: corrected some typos gusthoff 2018-11-30 16:33:27 +01:00
• 96b21ebba7 Merge pull request #139 from gusthoff/advanced_ada/generics/intro Gustavo A. Hoffmann 2018-11-30 16:19:19 +01:00
• cb70c30586 Merge pull request #169 from AdaCore/topic/license Gustavo A. Hoffmann 2018-11-30 13:01:58 +01:00
• 43348af89c Add CC-BY 4.0 license Raphaël AMIARD 2018-11-30 12:53:00 +01:00
• a82b05c0e4 Using widget for 'ada-nocheck' and 'ada-syntax-only' classes gusthoff 2018-11-24 00:13:14 +01:00
• 171acee70f Editorial changes: replaced by 'code-block' gusthoff 2018-11-24 00:09:30 +01:00
• 9044872cc2 Marked Gems #1, #2, #3, #10, #11 and #12 as used gusthoff 2018-11-24 00:32:59 +01:00
• ffed79d25c Fix typo Junaid Ali Rasheed 2018-11-28 17:03:10 +00:00
• 3f794d7117 Merge pull request #164 from gusthoff/advanced_ada/access_types/gems bobduff 2018-11-26 10:53:44 -05:00
• 1b328e1698 Marked Gems / posts as used gusthoff 2018-11-24 17:45:50 +01:00
• ffdb330270 Editorial changes gusthoff 2018-11-24 17:41:33 +01:00
• 181e4a351e Completed source-code examples gusthoff 2018-11-24 17:29:15 +01:00
• af0ee946b1 Added section on "Calling inherited subprograms" gusthoff 2018-11-24 16:40:10 +01:00
• a52f9f6856 Editorial changes gusthoff 2018-11-24 16:28:27 +01:00
• 778b5d114a Completed source-code examples gusthoff 2018-11-24 16:21:59 +01:00
• 409873a0c2 Added section on Extending Interfaces gusthoff 2018-11-24 15:39:57 +01:00
• 1095dbee3b Moved Gem to list of design patterns gusthoff 2018-11-24 15:38:16 +01:00
• 81b7034435 Marked Gems #33, #41 and #44 as used gusthoff 2018-11-23 23:56:32 +01:00
• 21797b15a8 Added simple test applications for 'Example' packages gusthoff 2018-11-23 23:56:06 +01:00
• e60355f185 Minor corrections to source-code examples gusthoff 2018-11-23 21:43:47 +01:00
• b87ee82928 Editorial changes: minor improvements gusthoff 2018-11-23 21:33:26 +01:00
• 4c6d56011d Completed source-code examples gusthoff 2018-11-23 21:32:11 +01:00
• 30165249c6 Added section on accessibility checks gusthoff 2018-11-23 19:02:12 +01:00
• 486e565089 Editorial change: removed duplicated 'reset_accumulator' gusthoff 2018-11-23 18:01:47 +01:00
• 1b94b91e06 Marked Gems #23 and #24 as used gusthoff 2018-11-23 17:48:50 +01:00
• 80c68a1f74 Improved content gusthoff 2018-11-23 17:31:32 +01:00
• 546429e9f5 Completed source-code examples gusthoff 2018-11-23 17:06:39 +01:00
• 89ccee4723 Added section on not null access types gusthoff 2018-11-23 16:13:39 +01:00
• 834d06bdd3 Merge pull request #158 from AdaCore/topic/html_page_titles Nicolas Setton 2018-11-17 17:03:08 -05:00
• 5a9fcface6 Merge pull request #161 from gusthoff/advanced_ada/typing/overloading Nicolas Setton 2018-11-17 16:38:22 -05:00
• 2a7ea07121 Merge pull request #162 from gusthoff/advanced_ada/limited_types/gems Nicolas Setton 2018-11-17 16:38:10 -05:00
• 139a512360 Removed commented line from source-code example gusthoff 2018-11-17 00:55:54 +01:00
• ee7ec85897 Corrected source-code examples gusthoff 2018-11-17 00:20:17 +01:00
• a07b94dc1f Improved content gusthoff 2018-11-16 22:57:35 +01:00
• df520c4169 Completed source-code examples gusthoff 2018-11-16 21:59:24 +01:00
• 7052426bf0 Added section on aggregates and return objects for limited types gusthoff 2018-11-16 18:34:40 +01:00
• 5ada993ec2 Updated course planning gusthoff 2018-11-16 16:27:47 +01:00
• a5c995f59f Removed paragraph on language redesign gusthoff 2018-11-16 16:25:32 +01:00
• 6a6fbbff2c Editorial changes gusthoff 2018-11-16 16:24:52 +01:00
• 8a17225212 Completed source-code examples gusthoff 2018-11-16 16:19:25 +01:00
• 46d86c59e5 Added section on Overloading gusthoff 2018-11-16 15:56:16 +01:00
• d633aa6c6a Marked section as completed gusthoff 2018-11-16 14:20:40 +01:00
• f8113c6c6d Marked Gems #82 and #83 as used gusthoff 2018-11-16 14:06:58 +01:00
• 39c632b7a3 Editorial change: added check boxes gusthoff 2018-11-16 14:04:35 +01:00
• 88059f7572 Merge pull request #156 from gusthoff/advanced_ada/strong_typing/type_based_security Gustavo A. Hoffmann 2018-11-14 22:19:41 +01:00
• 561128fcb9 Adding breadcrumbs in html doc title. Robert Tice 2018-11-12 16:58:35 -05:00
• 7fe00de847 Added section on type-based security gusthoff 2018-11-09 21:43:47 +01:00
• ab822d1b80 Editorial change: added missing accumulator for Advanced SPARK course gusthoff 2018-11-09 21:22:18 +01:00
• 8c3232823f Merge pull request #155 from gusthoff/topic/issues/151 Robert Tice 2018-11-09 10:58:21 -05:00
• f7c16b01f6 Merge pull request #154 from gusthoff/topic/issues/150 Robert Tice 2018-11-09 10:55:23 -05:00