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

• 7eb0543ab7 Editorial change: moved section to the beginning gusthoff 2018-04-06 13:15:37 +02:00
• 124a5bbdaa Editorial change: referring to global variables in section title gusthoff 2018-04-06 13:06:35 +02:00
• 8458e75317 Added section on interfacing with C++ gusthoff 2018-03-25 22:18:12 +02:00
• 998cb0bbf1 Added section on automatic generated bindings gusthoff 2018-03-25 19:50:13 +02:00
• e83b4cf616 Added section on interfacing with unconstrained types gusthoff 2018-03-24 20:14:13 +01:00
• ff1d49a75a Added section on multi-language projects gusthoff 2018-03-24 19:38:03 +01:00
• 940d7135cb Added section on using foreign variables in Ada and C gusthoff 2018-03-24 19:28:07 +01:00
• d981c882e6 Added section on calling Ada subprograms in C gusthoff 2018-03-23 20:05:18 +01:00
• 2675d79679 Added section on interfacing with C functions gusthoff 2018-03-23 19:14:44 +01:00
• 284230f924 Added section on interfacing with C types gusthoff 2018-03-23 18:16:19 +01:00
• c18a630b03 Editorial change on section title gusthoff 2018-03-23 18:12:53 +01:00
• fdc52b7dca Added formal interface types gusthoff 2018-03-17 00:10:49 +01:00
• ace878252a Editorial change: replaced by "nonlimited" gusthoff 2018-03-16 21:46:00 +01:00
• 0f86353277 Added formal incomplete types gusthoff 2018-03-16 21:30:30 +01:00
• a009414ab2 Added missing header gusthoff 2018-03-16 21:17:04 +01:00
• dbb311faa7 Added appendix: formal types gusthoff 2018-03-16 21:08:14 +01:00
• 2e5600870d Moved section about ADTs gusthoff 2018-03-16 18:58:56 +01:00
• 6c8dca2335 Added section on generic packages gusthoff 2018-03-16 18:57:14 +01:00
• 23908fe75b Moved example gusthoff 2018-03-10 19:28:37 +01:00
• e5b786dcce Added stack example gusthoff 2018-03-10 19:27:09 +01:00
• dd8f9e38c2 Replaced source-code examples gusthoff 2018-03-10 18:37:27 +01:00
• 4b1e84a5a6 Added modified version of abstracting of test application gusthoff 2018-03-10 17:12:36 +01:00
• 6263b3c355 Minor changes and improvements gusthoff 2018-03-09 19:19:12 +01:00
• b149dd0340 Moved parts of generic section into advanced Ada course gusthoff 2018-03-09 19:17:27 +01:00
• ce1c127c58 Removed references to Jupyter notebook syntax. gusthoff 2018-03-09 16:38:36 +01:00
• 4fa9b1b479 Added section on generics gusthoff 2018-03-09 16:36:05 +01:00
• c838b57d15 Removed previously proposed section titles gusthoff 2018-03-09 16:34:23 +01:00
• 9f0fec131d Add the template for labs Raphael Amiard 2018-02-23 17:45:57 +01:00
• 7dbffcb656 Add sphinxdoc dir Raphael Amiard 2018-02-23 17:22:44 +01:00
• aa9d0dd5ec Use admonitions Raphael Amiard 2018-02-19 11:06:28 +01:00
• c0f81b0d8e More on arrays Raphael Amiard 2018-02-19 10:32:11 +01:00
• 5885fcf6bc Correct formatting of block on implicit conversions Raphael Amiard 2018-02-19 11:31:53 +01:00
• ab310c0cc5 Added block on implicit type conversion gusthoff 2018-02-16 21:42:21 +01:00
• 91ba296bb7 Converted paragraph gusthoff 2018-02-16 20:32:04 +01:00
• 13f4617def Correct casing gusthoff 2018-02-16 20:29:24 +01:00
• 00a2071dc0 Removed trailing whitespace gusthoff 2018-02-16 20:27:19 +01:00
• 1c26fe5181 Add the advanced topics file Raphael Amiard 2018-02-16 11:06:53 +01:00
• 4af90efe2b Continue arrays Raphael Amiard 2018-02-16 10:38:11 +01:00
• 60c5b15761 Revised paragraph about implicit conversions gusthoff 2018-02-10 16:05:53 +01:00
• 2990d9ca29 Removed AI after completion gusthoff 2018-02-10 15:46:01 +01:00
• 20712e34e2 Editorial changes: changed section levels gusthoff 2018-02-10 15:42:39 +01:00
• 4c6b4ad24c Added section on fixed-point data types gusthoff 2018-02-10 15:35:31 +01:00
• 3185bbc08a Added sections on floating-point types gusthoff 2018-02-09 21:26:08 +01:00
• d32239ff8f Peer reviewing and editing with gusthoff Raphael Amiard 2018-02-09 12:02:45 +01:00
• 135c3e1e6b WIP: Raphael Amiard 2018-02-09 10:20:52 +01:00
• 610095ede3 add some comments Raphael Amiard 2018-02-09 11:20:06 +01:00
• d144377dea Start part on arrays Raphael Amiard 2018-02-08 12:11:30 +01:00
• 48e53064f9 Fix & review Raphael Amiard 2018-02-07 11:32:42 +01:00
• b21e17f522 Revised paragraph about modular types gusthoff 2018-02-02 16:29:10 +01:00
• 8f5aa6cd55 Revised paragraph about if expressions gusthoff 2018-02-02 16:26:29 +01:00
• 4f88af4479 Revised language gusthoff 2018-02-02 16:23:57 +01:00
• a077084d82 Removed comment gusthoff 2018-02-02 16:21:55 +01:00
• 407a3a4fc8 Revised paragraph about attributes gusthoff 2018-02-02 16:20:49 +01:00
• d86e04b7ae Revised paragraph about invariants gusthoff 2018-02-02 16:13:05 +01:00
• fc024cd641 Revised intro-paragraph about strong typing gusthoff 2018-02-02 15:01:42 +01:00
• e9afce4363 Removed comments about links to Wikipedia gusthoff 2018-02-02 14:58:48 +01:00
• c6754eac78 Capitalizing word (Boolean) gusthoff 2018-02-02 14:57:55 +01:00
• 020dfda971 Removed word and comment gusthoff 2018-02-02 14:56:17 +01:00
• 99e3ecd90e Revised intro-paragraph about loops gusthoff 2018-02-02 14:53:33 +01:00
• 4cb790b33c Revised paragraph about "with/use" gusthoff 2018-02-02 14:48:56 +01:00
• bad70b3fc5 Revised paragraph about multi-line comment gusthoff 2018-02-02 14:44:51 +01:00
• 4fb2346824 Revised paragraph about procedures gusthoff 2018-02-02 14:38:12 +01:00
• d2928a0b91 Revised paragraph about language philosophy gusthoff 2018-02-02 14:28:22 +01:00
• eaee1c10ee Revised paragraph about safety applications gusthoff 2018-02-02 14:23:55 +01:00
• c26b0a8bee Minor reformulation Raphael Amiard 2018-01-30 10:29:43 +01:00
• 43ebf2e455 Fix white space Raphael Amiard 2018-01-30 10:28:22 +01:00
• f43bd4c37d Add section on newtypes and subtypes Raphael Amiard 2018-01-30 08:59:04 +01:00
• 64bcfb9572 Initial review gusthoff 2018-01-28 20:42:48 +01:00
• 31ff82eb94 Minor editorial changes gusthoff 2018-01-28 16:43:15 +01:00
• ae89911d0d Strong typing + more enums Raphael Amiard 2018-01-27 14:52:12 +01:00
• 979bd69472 Fix typo Raphael Amiard 2018-01-26 19:13:30 +01:00
• 6e45c38aae Fix code blocks Raphael Amiard 2018-01-22 01:12:05 +01:00
• 4a1474413b Strong typing Raphael Amiard 2018-01-22 01:10:23 +01:00
• 720fceee11 Fill up enums&unsigned types Raphael Amiard 2018-01-22 00:44:43 +01:00
• 75c924da5b Minor style fixes Raphael Amiard 2018-01-21 13:19:06 +01:00
• c4342af54c remove spaces in links Raphael Amiard 2018-01-21 13:13:56 +01:00
• 1fe11a69f9 Transition to rst Raphael Amiard 2018-01-21 12:58:03 +01:00
• 9ec8fcef70 Start writing "strongly typed language" part Raphael Amiard 2018-01-20 12:30:05 +01:00
• f3a2b9491f First part of imperative language course Raphael Amiard 2018-01-19 16:03:26 +01:00
• dd0eb666c7 First commit Raphael Amiard 2018-01-18 17:10:58 +01:00
• fcb11c0aca Adapted and tested source-code examples gusthoff 2018-04-20 21:34:32 +02:00
• 6e9018d728 Adapted and tested source-code examples gusthoff 2018-04-20 16:23:26 +02:00
• 5b519604bc Editorial change: corrected formatting gusthoff 2018-04-20 13:40:01 +02:00
• 9e34925439 Editorial change: changed formatting of source-code elements gusthoff 2018-04-20 13:37:10 +02:00
• 7bf6eecf68 Initial commit of the fifth lesson of the SPARK course gusthoff 2018-03-30 21:58:18 +02:00
• 89d62f30e8 Initial commit of the fourth lesson of the SPARK course gusthoff 2018-03-30 17:10:42 +02:00
• 8e3b90bc26 Using ReST syntax for Ada keywords gusthoff 2018-02-20 00:55:48 +01:00
• 5017c0d90c Corrected ReST syntax of Ada keywords gusthoff 2018-02-20 00:45:19 +01:00
• 9fda25ee61 Corrected ReST syntax gusthoff 2018-02-20 00:38:39 +01:00
• ffcd0bf5a1 Corrected Ada keywords gusthoff 2018-02-20 00:37:01 +01:00
• c568434e1e Initial commit of the third lesson of the SPARK course gusthoff 2018-02-20 00:28:19 +01:00
• a073e8ab3b Initial commit of the second lesson of the SPARK course gusthoff 2018-02-04 22:01:10 +01:00
• 11207fd884 Initial commit of the first lesson of the SPARK course gusthoff 2018-02-02 20:07:42 +01:00
• ab571446db Initial commit of the first lesson of the second course gusthoff 2018-01-22 00:16:12 +01:00
• f0b5103e3e Initial commit of first course gusthoff 2018-01-10 20:51:59 +01:00
• eda0e7d74c Initial commit Olivier Ramonat 2018-01-10 12:42:07 +01:00