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

• 63ca290426 Front page: updating first page of PDF book. gusthoff 2021-06-11 11:11:39 +02:00
• 28ae389283 Updating release date. gusthoff 2021-06-11 11:11:39 +02:00
• eda82d4f95 Editorial changes: adding extra front page. gusthoff 2021-06-11 16:14:33 +02:00
• 82a901f445 Sphinx: adding support for extra front page for PDF books. gusthoff 2021-06-11 16:12:20 +02:00
• d1b7f93322 Merge pull request #565 from pierretr/master Pierre Trespeuch 2021-06-11 11:57:17 +02:00
• ab5da29aa3 Updating release date. gusthoff 2021-06-11 11:11:39 +02:00
• 22a1ab47d1 Simplifying runtime output of code examples. gusthoff 2021-06-11 11:11:19 +02:00
• 70c29180b2 Sphinx: correcting project name gusthoff 2021-06-11 11:10:50 +02:00
• aa40864c88 Add a GET / route to backend Pierre Trespeuch 2021-06-08 11:32:32 +02:00
• 0e9bbd29ee Adding section on user-defined literals. gusthoff 2021-06-05 05:22:52 +02:00
• b73f507bdd Merge pull request #563 from AdaCore/dependabot/npm_and_yarn/frontend/ws-6.2.2 Gustavo A. Hoffmann 2021-06-05 04:25:19 +02:00
• 4aeb77fd2f Bump ws from 6.2.1 to 6.2.2 in /frontend dependabot[bot] 2021-06-05 01:10:41 +00:00
• 4de54b2907 Merge pull request #550 from gusthoff/advanced_ada/new_content/types/type_view/20210507 Gustavo A. Hoffmann 2021-06-04 20:31:35 +02:00
• 41b7247629 Improved paragraph according to suggestions. gusthoff 2021-06-04 19:18:39 +02:00
• a0729025f9 Merge pull request #546 from gusthoff/advanced_ada/planning/structure/20210502 Gustavo A. Hoffmann 2021-06-04 19:08:39 +02:00
• fd9d514181 Merge pull request #562 from darthmartyn/darthmartyn-patch-1 Gustavo A. Hoffmann 2021-06-04 13:55:08 +02:00
• 5c90d0c089 Merge pull request #561 from gusthoff/topic/infrastructure/github_actions/20210528 Gustavo A. Hoffmann 2021-06-04 12:04:37 +02:00
• 4aca2df873 Update 04_Embedded.rst Martyn Pike 2021-06-02 18:39:22 +01:00
• 45f8a0816a Test script: adding "--output" switch to the list of parameters. gusthoff 2021-05-29 02:45:32 +02:00
• 1a7d86d038 Editorial change: breaking line. gusthoff 2021-05-29 01:48:00 +02:00
• f1f986071a Editorial change: replacing whitespaces by underscore in references. gusthoff 2021-05-29 01:47:32 +02:00
• 4d1691e785 Removing code example. gusthoff 2021-05-29 01:01:51 +02:00
• 2c6606554c Sphinx: adding class: expected compilation error gusthoff 2021-05-28 20:48:52 +02:00
• 5b4d79d24c Vagrant: updating VM installation to GNAT Community 2021 gusthoff 2021-05-28 20:12:05 +02:00
• 860ffc5f6c GitHub actions: updating to GNAT Community 2021 gusthoff 2021-05-28 20:11:13 +02:00
• e462db7f07 Merge pull request #557 from gusthoff/advanced_ada/new_content/types/deferred_constants/20210522 Gustavo A. Hoffmann 2021-05-28 16:57:19 +02:00
• 95c910ff64 Merge pull request #560 from AdaCore/dependabot/npm_and_yarn/frontend/dns-packet-1.3.4 Gustavo A. Hoffmann 2021-05-28 15:19:16 +02:00
• 3f3eace335 Bump dns-packet from 1.3.1 to 1.3.4 in /frontend dependabot[bot] 2021-05-28 10:59:44 +00:00
• 4c3b3ef189 Merge pull request #558 from AdaCore/dependabot/npm_and_yarn/frontend/browserslist-4.16.6 Gustavo A. Hoffmann 2021-05-28 12:58:56 +02:00
• d15504d033 Improving paragraph about using expression functions. gusthoff 2021-05-28 12:55:29 +02:00
• d5c570093f Bump browserslist from 4.14.3 to 4.16.6 in /frontend dependabot[bot] 2021-05-26 05:00:36 +00:00
• 38c8536f02 Editorial change: simplifying example. gusthoff 2021-05-22 17:08:10 +02:00
• 3d53a2d344 Adding section on deferred constants. gusthoff 2021-05-22 16:28:36 +02:00
• 1fbe02e3f6 Merge pull request #556 from gusthoff/advanced_ada/new_content/types/default_initial_value/20210515 Gustavo A. Hoffmann 2021-05-21 18:00:48 +02:00
• d30317603c Minor change: removing expectation of compiler error. gusthoff 2021-05-21 17:45:07 +02:00
• 529cc3e7d7 Editorial change: using widget instead of code-blocks. gusthoff 2021-05-21 16:45:38 +02:00
• b06055cfe2 Elaborating on individual forms of default values. gusthoff 2021-05-21 15:28:49 +02:00
• b8db2f20ad Editorial change: renaming procedure. gusthoff 2021-05-21 15:27:11 +02:00
• 518d313d39 Adding section on default initial values. gusthoff 2021-05-15 03:48:14 +02:00
• 6d9e1feb79 Editorial change: removing trailing whitespaces. gusthoff 2021-05-15 03:43:32 +02:00
• 4c8526cbca Editorial change: moving section to chapter on contracts. gusthoff 2021-05-15 03:42:47 +02:00
• 5dc929965a Merge pull request #555 from gusthoff/spark_for_the_misra_c_dev/review/20210514 Gustavo A. Hoffmann 2021-05-14 21:53:20 +02:00
• d5c07c6ab7 Editorial changes in source-code examples. gusthoff 2021-05-14 21:18:55 +02:00
• 26c5d891b0 Merge pull request #554 from gusthoff/topic/issues/553 Gustavo A. Hoffmann 2021-05-14 20:44:30 +02:00
• c6def57154 Extending get_blocks() to process last source-code block. gusthoff 2021-05-14 19:44:05 +02:00
• 6491411cc2 Refactoring: moving processing of source-code blocks to auxiliary functions. gusthoff 2021-05-14 19:35:01 +02:00
• 24f4d1bb8e Merge pull request #551 from AdaCore/dependabot/npm_and_yarn/frontend/hosted-git-info-2.8.9 Gustavo A. Hoffmann 2021-05-14 12:38:18 +02:00
• 1543440844 Merge pull request #548 from gusthoff/advanced_ada/new_content/types/mutually_dependent_types/20210507 Gustavo A. Hoffmann 2021-05-14 11:49:25 +02:00
• 2f2312d645 Merge pull request #552 from pat-rogers/master Gustavo A. Hoffmann 2021-05-14 01:44:09 +02:00
• 8159dee259 Improved paragraph. Gustavo A. Hoffmann 2021-05-14 01:40:34 +02:00
• 2db4d76f83 Merge pull request #540 from gusthoff/advanced_ada/new_content/types/incomplete_types/20210424 Gustavo A. Hoffmann 2021-05-14 01:37:19 +02:00
• 7ae046bd5b Merge pull request #534 from gusthoff/topic/issues/518 Gustavo A. Hoffmann 2021-05-14 01:36:54 +02:00
• 3c7259d9a9 remove duplicate text re: querying storage_size for access types other minor refinements rogers 2021-05-12 08:57:40 -05:00
• 69916b5861 Merge branch 'master' into advanced_ada/new_content/types/incomplete_types/20210424 Gustavo A. Hoffmann 2021-05-12 00:21:04 +02:00
• 25ee08619c Editorial change: correcting grammar. Gustavo A. Hoffmann 2021-05-12 00:17:09 +02:00
• b03d1f36c7 Merge pull request #539 from gusthoff/advanced_ada/new_content/types/definite_indefinite_types/20210416 Gustavo A. Hoffmann 2021-05-12 00:16:24 +02:00
• ec3bbaf28f Editorial change: correcting grammar. Gustavo A. Hoffmann 2021-05-12 00:15:34 +02:00
• 575ef81b7d Merge pull request #549 from pat-rogers/master Gustavo A. Hoffmann 2021-05-12 00:14:13 +02:00
• f0138057ba Minor editorial change. Gustavo A. Hoffmann 2021-05-12 00:13:50 +02:00
• d9ea9d58c1 Update content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst Gustavo A. Hoffmann 2021-05-11 23:51:03 +02:00
• 494afa4f16 Bump hosted-git-info from 2.8.8 to 2.8.9 in /frontend dependabot[bot] 2021-05-11 14:35:19 +00:00
• 7417e6f7ed Editorial change: fixing minor typos Gustavo A. Hoffmann 2021-05-08 05:40:46 +02:00
• 7042e735ab Editorial change: applying Sphinx roles Gustavo A. Hoffmann 2021-05-08 05:39:42 +02:00
• 89efbb5680 Editorial change: applying Sphinx roles Gustavo A. Hoffmann 2021-05-08 05:32:24 +02:00
• 00e7f37641 Adding section on type view. gusthoff 2021-05-08 03:01:06 +02:00
• 445d14034f Correcting image file name. Gustavo A. Hoffmann 2021-05-08 02:02:14 +02:00
• 9f6d4babe2 Adding example of recursive types. gusthoff 2021-05-08 01:57:49 +02:00
• 3853e9bc2d Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2021-05-07 18:29:23 -05:00
• 44c902e7de Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2021-05-07 18:26:34 -05:00
• 700e96ea30 Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2021-05-07 18:26:34 -05:00
• d77c23bf03 Adding section on mutually dependent types. gusthoff 2021-05-08 01:25:34 +02:00
• e8cd8aee6e New content for Querying Representation First full version for Specifying Representation rogers 2021-05-07 18:12:50 -05:00
• 78b1ff6639 New content for Querying Representation First full version for Specifying Representation rogers 2021-05-07 18:12:50 -05:00
• feeb29c689 Adding example of default values for discriminants. gusthoff 2021-04-17 02:55:41 +02:00
• 691889da6b Editorial change: correcting name. gusthoff 2021-05-02 19:58:37 +02:00
• 93830b4697 Editorial change: adding link to previous section. gusthoff 2021-05-02 19:24:15 +02:00
• d4891a1c6e Editorial change: correcting grammar. gusthoff 2021-05-02 19:21:32 +02:00
• a38262426e Editorial change: adding topics for upcoming sections. gusthoff 2021-05-02 19:21:12 +02:00
• 8f988c6e71 Editorial change: commenting out topic. gusthoff 2021-05-02 19:20:03 +02:00
• b0e6115e64 Editorial change: grammar correction. gusthoff 2021-05-02 19:18:25 +02:00
• 990b916ded Editorial change: correcting name. gusthoff 2021-05-02 19:17:50 +02:00
• 459add5d77 Editorial change: moving section to new sub-chapter. gusthoff 2021-05-02 19:16:28 +02:00
• 6f77cc84e2 Adding example of formal incomplete types in signature packages. gusthoff 2021-04-24 05:41:36 +02:00
• 1044ffa8ad Adding section on formal incomplete types. gusthoff 2021-04-24 05:40:55 +02:00
• 7dc5dc5cc6 Adding section on incomplete types. gusthoff 2021-04-24 05:23:12 +02:00
• 3a13c73854 Editorial change: renaming section title. gusthoff 2021-05-02 17:52:43 +02:00
• e33c938262 Adding section on formal definite and indefinite types. gusthoff 2021-04-24 02:13:59 +02:00
• 2e64508c6b Editorial change: correcting syntax of literal block. gusthoff 2021-04-17 04:09:05 +02:00
• 2734639d64 Minor editorial correction. gusthoff 2021-04-17 04:02:58 +02:00
• 1bd18418dc Minor editorial change gusthoff 2021-04-17 03:56:19 +02:00
• 927f50f3c7 Adding section on definite and indefinite types. gusthoff 2021-04-17 03:49:59 +02:00
• 7867567427 Merge pull request #529 from gusthoff/advanced_ada/new_content/types/enumerations/20210409 Gustavo A. Hoffmann 2021-05-07 17:34:05 +02:00
• c883cae177 Merge pull request #547 from AdaCore/dependabot/npm_and_yarn/frontend/url-parse-1.5.1 Gustavo A. Hoffmann 2021-05-07 17:33:18 +02:00
• 14aa00fdde Bump url-parse from 1.4.7 to 1.5.1 in /frontend dependabot[bot] 2021-05-07 15:08:03 +00:00
• 16353614db Merge pull request #545 from gusthoff/topic/infrastructure/sphinx/redirection/20210430 Gustavo A. Hoffmann 2021-05-07 17:07:07 +02:00
• 9e131baa89 Editorial change: removing reference to obsolete documents. gusthoff 2021-04-30 21:17:35 +02:00
• 63562f14b4 Sphinx: adding redirection for obsolete / renamed URLs. gusthoff 2021-04-30 21:20:19 +02:00
• cbc9276256 Sphinx: adding sphinx-reredirects package to the list. gusthoff 2021-04-30 21:19:22 +02:00
• 617521979e Merge pull request #543 from AdaCore/search_fix Gustavo A. Hoffmann 2021-04-30 16:36:55 +02:00
• d1363a8205 Fixing css. Rob Tice 2021-04-30 09:43:59 -04:00