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

• 379492167f Added comment for declarations in source-code snippets gusthoff 2018-11-09 16:32:37 +01:00
• ee27836cc5 Editorial changes: fixed typos gusthoff 2018-11-09 16:19:12 +01:00
• 6482b19905 Moved files to internal/planning directory gusthoff 2018-11-09 14:48:48 +01:00
• 55a7781ddd Moved book on "Safe & Secure Software" to list of skipped items gusthoff 2018-10-26 16:46:37 +02:00
• e2f58286d3 Moved SPARK books to list of skipped items gusthoff 2018-10-26 16:45:37 +02:00
• b37a34a7e0 Editorial change: corrected ReST formatting gusthoff 2018-10-20 01:32:29 +02:00
• 1b3b68b1ae Moved posts to new book on GNAT tools gusthoff 2018-10-20 01:26:16 +02:00
• ba45c34332 Compiled list of blog posts that could be reused gusthoff 2018-10-20 01:21:24 +02:00
• 4fa6d76ad6 Compiled list of Ada Gems that could be reused gusthoff 2018-10-19 23:49:17 +02:00
• 2dfdcdfb7e Editorial change: removed misplaced accumulator reset gusthoff 2018-11-09 13:55:38 +01:00
• 8338acc193 Editorial change: resetting source-code accumulator gusthoff 2018-11-09 13:46:38 +01:00
• 9d150c41f6 Improved source-code example for Stack gusthoff 2018-11-02 13:01:14 +01:00
• 50a03ceec7 Added item to the list of design patterns gusthoff 2018-10-26 22:42:22 +02:00
• 6f7345a0f9 Added list of design patterns gusthoff 2018-10-26 22:33:20 +02:00
• dd9c402621 Added basic structure of Advanced Ada course gusthoff 2018-10-26 21:55:03 +02:00
• 2e7be135bf Fix small English mistake Yannick Moy 2018-11-06 06:35:52 +00:00
• 50567c3160 Added missing package body of Generic_Array_Pkg gusthoff 2018-11-09 13:22:18 +01:00
• 2aaaf10daf Editorial change: corrected terminology gusthoff 2018-11-09 12:56:36 +01:00
• 2b8f44c3ee Editorial change: added run-button to individual code snippets gusthoff 2018-11-09 12:55:05 +01:00
• 54333e66fd Editorial change: corrected run-button configuration gusthoff 2018-10-26 13:08:29 +02:00
• b7a269c64d Added subsection on formal arrays of interface type gusthoff 2018-10-12 20:49:23 +02:00
• 542951f8bc Editorial change: using ada-role for symbol gusthoff 2018-10-12 18:44:37 +02:00
• 1542472939 Editorial change: removed temporary text gusthoff 2018-10-12 18:42:53 +02:00
• 9c9ba90464 Editorial change: added subsection titles gusthoff 2018-10-12 18:41:59 +02:00
• 0820d2413d Editorial change: renamed symbols in source-code example gusthoff 2018-10-12 18:38:02 +02:00
• c8b4b703d9 Added text for section on formal access types gusthoff 2018-10-12 17:44:23 +02:00
• 891cb09ae8 Editorial change: removed temporary text gusthoff 2018-10-12 17:18:41 +02:00
• e4f753ae7f Editorial change: corrected modes gusthoff 2018-10-12 16:47:59 +02:00
• 00d1cf4e5b Added text for section on formal objects gusthoff 2018-10-12 16:30:14 +02:00
• 2c3dc32386 Editorial change: removed temporary text gusthoff 2018-10-12 16:10:02 +02:00
• 5cde3ae4c6 Editorial change: removed empty line gusthoff 2018-10-12 14:36:04 +02:00
• fe62f1354b Removed section on generic tagged types gusthoff 2018-10-12 14:15:41 +02:00
• 2a101d6ab9 Editorial change: moved section on generic numeric types to end of chapter gusthoff 2018-10-12 14:12:37 +02:00
• 240a90bc1c Added source-code example for generic interfaces gusthoff 2018-10-06 04:12:24 +02:00
• 7f3b6b3787 Editorial change: remove example for formal access to objects gusthoff 2018-10-06 01:17:14 +02:00
• a1689c8f3c Added nested package for formal object example gusthoff 2018-10-06 01:10:38 +02:00
• 81ba5cdcbd Replaced source-code example for formal objects gusthoff 2018-10-06 00:52:26 +02:00
• 2aa1178677 Editorial changes: removed code-snippets gusthoff 2018-10-06 00:25:54 +02:00
• bbd9415e56 Editorial changes: fixed CI test issues gusthoff 2018-10-05 15:47:36 +02:00
• 700a77467d Editorial change in section title gusthoff 2018-09-07 21:03:32 +02:00
• 52259a0533 Added text on generic numeric types gusthoff 2018-09-07 20:55:30 +02:00
• bec030495d Removed unused package from source-code example gusthoff 2018-09-07 20:21:50 +02:00
• a8aabf76b3 Editorial change: moved source-code snippet gusthoff 2018-09-07 20:20:38 +02:00
• 82dd6d352a Editorial change: removed debug code from source-code examples gusthoff 2018-09-07 20:18:56 +02:00
• 5b53346573 Removed duplicated pragma in source-code example gusthoff 2018-09-07 20:17:39 +02:00
• a44adb705c Added pragmas to source-code example of generic fixed-point type gusthoff 2018-09-07 20:14:55 +02:00
• 190f014126 Removed unused variable in source-code example gusthoff 2018-09-07 20:13:21 +02:00
• 92b3211c30 Editorial change: renamed function name gusthoff 2018-09-07 20:11:33 +02:00
• b43fa5846e Editorial change: removed duplicated source-code snippet gusthoff 2018-09-07 20:10:10 +02:00
• ab12635692 Editorial change: added section titles gusthoff 2018-09-07 20:08:53 +02:00
• 27d1cb1bbd Editorial change: moved source-code example gusthoff 2018-09-07 20:06:05 +02:00
• 29387aebff Editorial change: removed source-code example gusthoff 2018-09-07 20:03:46 +02:00
• 25bc6f7989 Added source-code examples for remaining sections gusthoff 2018-08-25 02:25:39 +02:00
• 9a10e5fe02 Added "overriding" keyword gusthoff 2018-08-10 19:20:05 +02:00
• ec3b45e227 Editorial changes: simplified paragraphs gusthoff 2018-08-10 18:59:23 +02:00
• 071116aaa5 Added section on generic synchronized interfaces gusthoff 2018-08-10 18:53:06 +02:00
• 4286b7f416 Editorial changes: renamed section titles gusthoff 2018-08-10 18:26:39 +02:00
• 00ffcf0818 Editorial change: corrected levels of sections gusthoff 2018-08-10 18:24:58 +02:00
• 939a2eabb2 Added section on generic interfaces gusthoff 2018-08-10 18:20:24 +02:00
• 75b6c3d714 Editorial change: added upcoming sections gusthoff 2018-08-10 16:31:48 +02:00
• d19a2d4125 Editorial changes: added missing role definitions gusthoff 2018-08-10 15:35:14 +02:00
• 0f063c535d Editorial changes: correct code blocks gusthoff 2018-08-10 15:32:36 +02:00
• 9b1623ef4a Improved and simplified sections on formal packages gusthoff 2018-08-10 15:29:13 +02:00
• 384aaa7edb Merge pull request #147 from gusthoff/topic/issues/145 Robert Tice 2018-11-02 16:41:32 -04:00
• f292353eaa Merge pull request #149 from gusthoff/topic/planning/gnat_toolchain Robert Tice 2018-11-02 16:40:43 -04:00
• 6980e77711 Added initial plan for intro to GNAT toolchain gusthoff 2018-11-02 21:06:58 +01:00
• 43c2e99c10 Editorial change: removed duplicated word gusthoff 2018-11-02 12:23:55 +01:00
• b788b89b3a Merge pull request #144 from gusthoff/topic/issues/141 Nicolas Setton 2018-10-31 15:45:44 -04:00
• c01d68c71d Corrected ASCII value gusthoff 2018-10-26 23:03:08 +02:00
• 7341b8bea1 Merge pull request #142 from gusthoff/origin/topic/editorial_changes/staging/20180928 Robert Tice 2018-10-26 13:45:41 -04:00
• 8afae7a188 Sphinx: fixed issues found on staging website gusthoff 2018-09-28 20:25:23 +02:00
• 7e208fe906 Merge pull request #138 from AdaCore/issues/remove_beta_banner Nicolas Setton 2018-10-11 22:55:40 +02:00
• 209b669a4d Removing beta tag from sidebar. Robert Tice 2018-10-11 12:11:06 -04:00
• 7124c7bab4 Merge pull request #137 from aaronj1335/patch-1 Robert Tice 2018-10-02 14:21:25 -04:00
• 7a9151f45a replace his with their Aaron Stacy 2018-09-29 14:08:25 -05:00
• e68c631afb Merge pull request #136 from gusthoff/topic/editorial_changes/SPARK_for_the_MISRA_C_Developer/src_code Gustavo A. Hoffmann 2018-09-28 20:15:44 +02:00
• b1962d2943 Added "SPARK for the MISRA-C Developer" book to the list gusthoff 2018-09-28 18:41:45 +02:00
• 937f5ce8db Testing: added test_spark_for_the_misra_c_developer target to Makefile gusthoff 2018-09-28 18:33:29 +02:00
• b85b347753 Editorial changes: converted code-blocks to code snippets gusthoff 2018-09-28 18:31:23 +02:00
• b8016d7263 Editorial changes: fixed style warnings gusthoff 2018-09-28 18:04:06 +02:00
• 69b7f959a2 Merge pull request #135 from gusthoff/topic/infrastructure/submodules Robert Tice 2018-09-28 11:56:16 -04:00
• 028bcc781b Travis-CI: deactivating git submodules gusthoff 2018-09-28 17:34:28 +02:00
• bc890b6b85 Merge pull request #134 from gusthoff/topic/editorial_changes/warnings Gustavo A. Hoffmann 2018-09-28 17:23:58 +02:00
• 45b8559d9b Adding graphviz python bindings to dependencies Robert Tice 2018-09-28 11:16:48 -04:00
• ad26a53300 Merge pull request #133 from gusthoff/topic/editorial_changes/SPARK_for_the_MISRA_C_Developer/warnings Robert Tice 2018-09-28 11:09:10 -04:00
• 3830cdbb23 Travis-CI: added Graphviz dependencies gusthoff 2018-09-28 17:05:22 +02:00
• 353e4023c0 Merge pull request #132 from gusthoff/topic/infrastructure/sphinx Robert Tice 2018-09-28 10:49:09 -04:00
• 09b9bf5e7a Merge branch 'master' into topic/infrastructure/sphinx Robert Tice 2018-09-28 10:45:29 -04:00
• e5c08229e9 Editorial change: added missing 'orphan' metadata field gusthoff 2018-09-28 16:38:57 +02:00
• 283e16e20e Editorial change: added missing 'orphan' metadata field gusthoff 2018-09-28 16:33:52 +02:00
• 5fd9d946b5 Merge pull request #131 from gusthoff/topic/editorial_changes/warnings Robert Tice 2018-09-28 10:32:54 -04:00
• bf2af530c1 Added Advanced Ada and Advanced SPARK courses gusthoff 2018-09-28 16:32:01 +02:00
• 39d111bf92 Sphinx: added Graphviz to list of extensions gusthoff 2018-09-28 16:04:37 +02:00
• ec4afe9589 Travis-CI: treating warnings as errors gusthoff 2018-09-28 15:40:30 +02:00
• db7db294ce Editorial changes: fixed issue for Sphinx HTML generation gusthoff 2018-09-28 15:29:02 +02:00
• fa5d7469dc Editorial change: added missing blank line gusthoff 2018-09-28 14:29:46 +02:00
• 5ca88c027c Fixed error with 'viewkeys' gusthoff 2018-09-28 13:36:43 +02:00
• f11dd500ba Adaptations for Python 3 gusthoff 2018-09-28 13:36:04 +02:00
• 3edc47c2f0 Editorial change: added new chapter to the index gusthoff 2018-09-21 12:18:46 +02:00
• 4563a861f7 Added child package for test subprograms gusthoff 2018-09-15 03:49:04 +02:00