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

• d3b1a5b020 Simplified source-code examples of second section gusthoff 2018-09-15 03:10:05 +02:00
• ae78c85f77 Editorial change: removed function declaration gusthoff 2018-09-15 02:53:04 +02:00
• 2bd531cb3a Editorial change: added role definitions gusthoff 2018-09-15 02:31:20 +02:00
• 5085a8c541 Extended requirements for example gusthoff 2018-09-15 02:24:23 +02:00
• 2a29148c82 Added graph to illustrate source-code example gusthoff 2018-09-15 01:58:56 +02:00
• 4327e543bf Changed values of selector array in source-code example gusthoff 2018-09-15 01:55:09 +02:00
• 87e91252bf Added paragraph on Ord_Chunks array gusthoff 2018-09-14 23:52:07 +02:00
• a4df965305 Removed unused source-code snippet gusthoff 2018-09-14 19:07:18 +02:00
• 51a0a3750b Improved description of source-code examples gusthoff 2018-09-14 19:06:54 +02:00
• 8d87095ad5 Simplified loop in source-code example gusthoff 2018-09-14 18:37:40 +02:00
• 050c511c7d Improved data type declaration in source-code example gusthoff 2018-09-14 18:29:11 +02:00
• 08044bbf61 Added text content for section on multiple indices gusthoff 2018-09-14 18:27:30 +02:00
• 7701e9d11a Minor changes in source-code example gusthoff 2018-09-14 16:40:13 +02:00
• 2db86e2586 Added range type for selector in source-code example gusthoff 2018-09-14 14:57:50 +02:00
• 212afb4a2b Added text content for section on table access gusthoff 2018-09-14 14:42:20 +02:00
• 3e10b1db3b Minor change: changed value of index in source-code example gusthoff 2018-09-14 14:41:43 +02:00
• 5fab04fc50 Added source-code examples gusthoff 2018-09-14 13:41:16 +02:00
• cdee0c49f2 Editorial change: renamed section title gusthoff 2018-09-14 13:35:35 +02:00
• 536bf83861 Added initial structure for chapter: Strong Typing gusthoff 2018-09-14 13:14:55 +02:00
• 37c66885b9 Add quote in conclusion Yannick Moy 2018-09-11 09:43:13 +02:00
• 57601dd4d2 Initial draft of a book on SPARK for MISRA-C developers Yannick Moy 2018-09-06 18:43:52 +02:00
• b6cc131ec5 Editorial change: formatted paragraph gusthoff 2018-09-21 21:50:19 +02:00
• 97c4a43b60 Editorial change: removed class from code-block gusthoff 2018-09-21 21:49:41 +02:00
• d2883ddebd Editorial change: corrected section title gusthoff 2018-09-21 21:46:37 +02:00
• b5e4e62bd8 Editorial change: added missing language in code-block gusthoff 2018-09-21 21:45:51 +02:00
• 3cd02f1d57 Editorial changes: added missing role definitions gusthoff 2018-09-21 21:43:59 +02:00
• dec071caa1 Editorial changes: fixed warnings gusthoff 2018-09-21 21:10:26 +02:00
• a145a0e3d3 Editorial changes: removed trailing whitespaces gusthoff 2018-09-21 21:04:10 +02:00
• b23c08e8d0 Editorial changes: replaced wrong backticks gusthoff 2018-09-21 21:02:25 +02:00
• 4c2e6720bd Editorial changes: removed trailing whitespaces gusthoff 2018-09-21 20:59:21 +02:00
• 66d90be091 Merge pull request #130 from gusthoff/topic/editorial_changes/test_issues Gustavo A. Hoffmann 2018-09-21 20:34:07 +02:00
• ab489b85de Editorial change: reintroduced class into source-code example gusthoff 2018-09-21 20:05:33 +02:00
• eb72495889 Revert "Editorial change: added whitespace" gusthoff 2018-09-21 20:01:32 +02:00
• dca2c4a3f2 Merge pull request #129 from gusthoff/topic/infrastructure/tests Gustavo A. Hoffmann 2018-09-21 19:56:19 +02:00
• 85314e53ea Updated test environment to use GNAT Community 2018 gusthoff 2018-09-21 19:20:17 +02:00
• 067fa974dc Editorial change: added whitespace gusthoff 2018-09-21 17:37:50 +02:00
• 0b62a9d0ae Editorial changes: fixed source-code issues in 'Advanced SPARK' course gusthoff 2018-09-21 17:26:27 +02:00
• aab95f9562 Editorial changes: fixed source-code issues in 'Intro to SPARK' course gusthoff 2018-09-21 17:25:29 +02:00
• d68c3dbddc Editorial changes: fixed source-code issues in 'Intro to Ada' course gusthoff 2018-09-21 17:25:01 +02:00
• 272eb5db21 Merge pull request #20 from AdaCore/master Gustavo A. Hoffmann 2018-09-21 17:22:17 +02:00
• 99ef27db5e Adding "Advanced Ada" and "Advanced SPARK" courses to the test set gusthoff 2018-09-21 15:35:42 +02:00
• 3662ccc6a8 Added error handling to test script gusthoff 2018-09-21 14:40:02 +02:00
• b41ba8eb7b Adding "Advanced Ada" and "Advanced SPARK" courses to the test set gusthoff 2018-09-21 15:35:42 +02:00
• 2f1aebf383 Added error handling to test script gusthoff 2018-09-21 14:40:02 +02:00
• f70d002d56 Merged table columns: "formal type" and "format" gusthoff 2018-09-15 16:24:52 +02:00
• ceee293e83 Editorial change: updated section title gusthoff 2018-09-15 14:48:14 +02:00
• a05a01d0ff Merge pull request #124 from AdaCore/topic/richard Gustavo A. Hoffmann 2018-09-14 23:44:18 +02:00
• 63525f33aa Reflect reviewer comments Richard Kenner 2018-09-14 17:31:30 -04:00
• 74196749cc Edits to book #5 Richard Kenner 2018-09-10 15:56:53 -04:00
• be14481281 Merge pull request #122 from AdaCore/topic/richard Gustavo A. Hoffmann 2018-09-03 00:00:58 +02:00
• 622b447dd8 Reviewer comments on book 4 Richard Kenner 2018-09-02 09:22:48 -04:00
• 38a84c0c04 Edit book 4 Richard Kenner 2018-09-01 17:26:00 -04:00
• b7d55b2006 Merge pull request #121 from AdaCore/topic/richard Gustavo A. Hoffmann 2018-08-30 20:59:06 +02:00
• 8286ef74cc Review edits in book 3 Richard Kenner 2018-08-30 07:29:18 -04:00
• 36699d9f7a Edit 3rd book Richard Kenner 2018-08-27 15:32:45 -04:00
• 39ede81418 Merge pull request #120 from AdaCore/topic/richard Gustavo A. Hoffmann 2018-08-24 23:38:09 +02:00
• 3c858c3f5a Fix errors detected in review Richard Kenner 2018-08-24 08:15:09 -04:00
• acc4117aba Fix errors found in review Richard Kenner 2018-08-24 08:03:30 -04:00
• 467f4a3c6d Edit book 2 Richard Kenner 2018-08-21 18:14:08 -04:00
• c878aef762 Editorial change: split file into chapters gusthoff 2018-08-06 23:16:44 +02:00
• e2aabd7a58 Moved files to new advanced-ada directory gusthoff 2018-08-06 23:09:46 +02:00
• ee6bd48e6a Merge pull request #114 from AdaCore/issues/105 Gustavo A. Hoffmann 2018-08-03 17:01:09 +02:00
• 806847e7fc Merge pull request #111 from gusthoff/advanced_spark/src_code/complete_examples Gustavo A. Hoffmann 2018-08-03 16:42:13 +02:00
• 586620f93a Removing prev buttons on first pages of courses and removing next buttons on last page of courses. Robert Tice 2018-08-03 10:31:56 -04:00
• c59526a845 Adapted code according to Yannick's comments. gusthoff 2018-08-03 14:08:36 +02:00
• f8b1aba1a1 Edit overview Richard Kenner 2018-07-31 22:29:27 -04:00
• 4ab2166a8c Editorial change: added indication of evaluation paragraph gusthoff 2018-07-28 01:30:53 +02:00
• f76d3c49f3 Adapted and tested source-code examples gusthoff 2018-07-28 01:19:00 +02:00
• 86bc148e22 Merge pull request #110 from AdaCore/topic/3spaceindent Nicolas Setton 2018-07-26 08:03:01 -04:00
• 78dda6f8a4 Change an alert to a message shown in the page Nicolas Setton 2018-07-22 12:21:25 -04:00
• 8c121ed1fc Reset lines already read when launching an operation Nicolas Setton 2018-07-21 04:21:37 -04:00
• 5965b506c1 Use 3 spaces indent in ace Raphaël AMIARD 2018-07-26 12:37:58 +02:00
• 94762fd3c4 Merge pull request #102 from AdaCore/fixes/adding_favicons Nicolas Setton 2018-07-21 10:30:01 +02:00
• db5dc8cb56 Merge pull request #100 from AdaCore/topic/shady_border Nicolas Setton 2018-07-21 10:24:46 +02:00
• 410dadbb93 Adapted and tested source-code examples gusthoff 2018-07-20 23:07:54 +02:00
• c21e15caf0 Fixes an earlier git review test Robert Tice 2018-07-20 16:58:37 -04:00
• 90357ab877 Adding favicons for all occasions. Robert Tice 2018-07-20 16:57:17 -04:00
• 41060bb81e Adapted and tested source-code examples gusthoff 2018-07-20 21:00:17 +02:00
• c8d0d16762 Merge pull request #101 from AdaCore/topic/no_sticky_nav Robert Tice 2018-07-20 12:09:21 -04:00
• a3f2bf9001 Disable sticky_navigation Raphaël AMIARD 2018-07-20 17:50:54 +02:00
• 7dbab3a272 Fixing padding underneath widgets. Robert Tice 2018-07-20 11:35:55 -04:00
• 8ffbf2df88 Adding beta ribbon in the top left corner of the sidebar. Hiding main title page. Robert Tice 2018-07-20 11:29:54 -04:00
• 2bf5d8e9dd Fix code block Raphaël AMIARD 2018-07-20 17:43:02 +02:00
• c75b81f9a6 Merge pull request #97 from AdaCore/topic/editorial_changes/src_code Robert Tice 2018-07-20 09:33:11 -04:00
• 161d9985c2 Editorial change: removed 'run' button for file I/O examples gusthoff 2018-07-20 13:22:59 +02:00
• 7e66000699 Merge pull request #96 from AdaCore/topic/editorial_changes/src_code Robert Tice 2018-07-19 16:11:31 -04:00
• 026f35e9a2 Editorial change: fixed ada-role gusthoff 2018-07-19 21:51:07 +02:00
• ad3e638e2b Merge pull request #95 from AdaCore/topic/shady_border Nicolas Setton 2018-07-19 15:26:53 +02:00
• 4b3fcc7bf1 Remove disgraceful border Raphaël AMIARD 2018-07-19 15:14:45 +02:00
• 74d3f88ee1 Merge pull request #93 from AdaCore/topic/fixes Robert Tice 2018-07-19 08:50:59 -04:00
• 1bd47e1aa4 Tweak the ace editors behavior & style Raphaël AMIARD 2018-07-19 14:46:37 +02:00
• e8c03d4688 Fix various typos/minor issues reported by users Raphaël AMIARD 2018-07-19 12:53:56 +02:00
• e2a2c6d77f Add timeouts and nice messages Nicolas Setton 2018-07-18 16:19:20 -04:00
• ebdd4ea60f Merge pull request #91 from AdaCore/fixes/title_page_no_title Robert Tice 2018-07-18 16:12:32 -04:00
• 242a7048ca Merge pull request #90 from AdaCore/topic/enhancement_requests Nicolas Setton 2018-07-18 21:48:18 +02:00
• d5ffe642ca Merge pull request #89 from AdaCore/topic/sphinx_theme Robert Tice 2018-07-18 13:48:18 -04:00
• be7a879f04 Adding title to index page and fixing glyph issue on permalinks. Robert Tice 2018-07-18 13:36:36 -04:00
• 64bd44afb0 Fixing download pdf link position. It was placed in the div that gets read by the index page to populate the bodies of the carousel blocks. THat caused a render issue. Now it is moved above that block. Robert Tice 2018-07-18 12:04:29 -04:00
• 7af7d49a32 Left aligning content div. Robert Tice 2018-07-18 11:50:19 -04:00
• 29992997a3 Merge pull request #87 from AdaCore/topic/move_static_files_here Nicolas Setton 2018-07-18 16:33:56 +02:00