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

• 11f91448be Editorial change: updating year. gusthoff 2021-03-19 17:30:31 +01:00
• f62c82c90a Editorial change: adding list of authors and contributors. gusthoff 2021-03-19 17:30:17 +01:00
• 5ce1aa166a Editorial change: adding list of authors. gusthoff 2021-03-19 17:29:55 +01:00
• 57780741f9 Editorial change: replacing "sectionauthor" by "note" gusthoff 2021-03-19 17:29:39 +01:00
• 800571378a Editorial change: removing section. gusthoff 2021-03-19 17:19:00 +01:00
• 0871681d82 Editorial change: renaming chapter. gusthoff 2021-03-14 20:57:37 +01:00
• 4da3544664 Merge pull request #526 from gusthoff/topic/infrastructure/sphinx/frontpage/20210402 Gustavo A. Hoffmann 2021-04-03 00:09:53 +02:00
• b42bc0035f Minor editorial change gusthoff 2021-04-02 21:30:48 +02:00
• 6b8db5b4ed Editorial change: improving listing of courses and labs on the frontpage gusthoff 2021-04-02 21:25:48 +02:00
• fa50f3a676 Merge pull request #525 from pat-rogers/master Gustavo A. Hoffmann 2021-04-02 01:20:45 +02:00
• 75c6436984 minor polishing rogers 2021-03-31 15:38:32 -05:00
• 7b8cce3844 Merge remote-tracking branch 'upstream/master' rogers 2021-03-31 15:34:44 -05:00
• 793604e579 further polishing rogers 2021-03-31 15:09:57 -05:00
• 3cf83b2515 Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2021-03-30 17:36:45 -05:00
• 60003e39b0 move the separation principle stuff to the next section rogers 2021-03-30 17:33:41 -05:00
• 8fb3bda4b2 correct some typos rogers 2021-03-26 14:16:38 -05:00
• d8e4633432 Merge pull request #523 from manthonyaiello/stack-lab-note Robert Tice 2021-03-29 15:37:54 -04:00
• dc027b862e Add note that lab/stack proof errors are expected M. Anthony Aiello 2021-03-29 14:28:33 -04:00
• cc260ebd53 Merge pull request #521 from AdaCore/codeql Gustavo A. Hoffmann 2021-03-26 21:05:35 +01:00
• 6792e5239f Create codeql-analysis.yml Robert Tice 2021-03-26 15:29:01 -04:00
• b221a9c657 Merge pull request #520 from AdaCore/dbot_manual Gustavo A. Hoffmann 2021-03-26 20:20:37 +01:00
• 60911b9396 add rc car blog link rogers 2021-03-26 14:16:38 -05:00
• 20c674d0f6 initial draft rogers 2021-03-26 13:54:06 -05:00
• 5112a45ca9 Updating offending package versions. Rob Tice 2021-03-26 13:33:58 -04:00
• ab70a035b9 Removing linguist-vendored overrides. Rob Tice 2021-03-26 11:27:15 -04:00
• 6bc0ff7f72 Removing excluded dirs from language categorization. Rob Tice 2021-03-26 09:49:00 -04:00
• 2e2e085543 Merge pull request #519 from AdaCore/Fabien-Chouteau-patch-1 Gustavo A. Hoffmann 2021-03-26 13:57:53 +01:00
• ab5dc3637b Update 09_Business.rst Fabien Chouteau 2021-03-26 12:03:46 +01:00
• ed08fd78ce Update 09_Business.rst Fabien Chouteau 2021-03-26 11:59:55 +01:00
• afeefe2fc7 Merge pull request #513 from gusthoff/topic/issues/503 Gustavo A. Hoffmann 2021-03-12 16:01:12 +01:00
• 311566ae25 Merge pull request #517 from AdaCore/dependabot/npm_and_yarn/frontend/elliptic-6.5.4 Robert Tice 2021-03-12 09:57:25 -05:00
• 3960199fe3 Merge pull request #516 from gusthoff/topic/infrastructure/sphinx/pdf_books/20210306 Robert Tice 2021-03-12 09:32:57 -05:00
• 50a240a8fa Merge pull request #514 from gusthoff/topic/issues/496 Gustavo A. Hoffmann 2021-03-12 15:10:37 +01:00
• 811033a597 Bump elliptic from 6.5.3 to 6.5.4 in /frontend dependabot[bot] 2021-03-10 11:55:15 +00:00
• cea48dba5f Python: replacing development branch of Pygments. gusthoff 2021-03-06 02:50:35 +01:00
• 1edacef8f2 Python: adding fixed version for coverage package. gusthoff 2021-03-06 02:49:38 +01:00
• 95ad4a4b4d Python: adding fixed versions for all packages. gusthoff 2021-03-06 02:33:55 +01:00
• 88fb772e96 Correcting statement about mapping of generic type. gusthoff 2021-03-06 01:13:35 +01:00
• 9f09a908ba Editorial change: simplifying chapter structure. gusthoff 2021-03-06 01:03:53 +01:00
• 04dfeedbcf Merge pull request #512 from AdaCore/issues/#454 Gustavo A. Hoffmann 2021-03-03 21:27:33 +01:00
• db1713b5f6 Fixing dead link Robert Tice 2021-03-03 12:38:48 -05:00
• 57e3cf57c1 Merge pull request #510 from AdaCore/main_fix Robert Tice 2021-03-01 10:05:08 -05:00
• bc0d6a22ce Merge pull request #509 from gusthoff/topic/infrastructure/front_page/20210227 Robert Tice 2021-03-01 08:46:31 -05:00
• 939a7133fd Fixing unspecified main failures. Robert Tice 2021-03-01 08:44:13 -05:00
• bab67beef5 Editorial correction of book titles. gusthoff 2021-02-27 02:52:04 +01:00
• 812e80321b Front page: adding section on PDF books. gusthoff 2021-02-27 02:48:20 +01:00
• 0b0941e97a Merge pull request #508 from gusthoff/topic/infrastructure/sphinx/pdf_books/20210226 Gustavo A. Hoffmann 2021-02-26 23:25:10 +01:00
• 3fc3cca46a Test script: removing "summary logged in" line from prover output. gusthoff 2021-02-26 22:42:31 +01:00
• 5ce2a70141 Editorial change: restricting compiler output to HTML version. gusthoff 2021-02-26 21:57:01 +01:00
• 69d3628502 Sphinx: using "ada-run" class for examples without run button. gusthoff 2021-02-26 21:56:11 +01:00
• ff8dcecef9 Adding "return 0" to C code examples. gusthoff 2021-02-26 21:55:27 +01:00
• 329a3ab2be Sphinx: updating release date gusthoff 2021-02-26 21:53:35 +01:00
• 68521a48f2 Editorial change: always generating final version of PDF books. gusthoff 2021-02-26 21:52:30 +01:00
• ff80deb960 Widget: printing line numbers for all source-code examples of PDF books. gusthoff 2021-02-26 21:51:38 +01:00
• 439636bd24 Merge pull request #507 from gusthoff/topic/infrastructure/sphinx/pdf_books/20210219 Gustavo A. Hoffmann 2021-02-26 18:43:46 +01:00
• 09749f74a9 Test script: removing "using project" line from build output. gusthoff 2021-02-26 18:01:09 +01:00
• 1a1a445c50 Widget: reintroducing caption for source-code blocks in PDF books. gusthoff 2021-02-26 18:00:36 +01:00
• 0da9a61454 Editorial changes: replacing attention block by admonition. gusthoff 2021-02-26 15:23:14 +01:00
• 205bc01b23 GitHub actions: adding support for storing PDF books as artifact. gusthoff 2021-02-26 15:07:32 +01:00
• 426c46181a GitHub actions: correcting path to PDF books. gusthoff 2021-02-26 14:39:03 +01:00
• ec3eef2c3b GitHub actions: limiting retention period to one day. gusthoff 2021-02-26 12:50:10 +01:00
• 8bb43e47fe GitHub actions: adding support for storing PDF books in artifact. gusthoff 2021-02-26 12:28:53 +01:00
• 127571045e Merge pull request #505 from marlonjames/patch-1 Gustavo A. Hoffmann 2021-02-26 12:17:48 +01:00
• 1fe7638a20 Clean up formatting Marlon James 2021-02-21 23:05:58 -08:00
• b18b6896c1 GitHub actions: adding dependencies for PDF books. gusthoff 2021-02-20 04:39:28 +01:00
• 750e05a1bd GitHub actions: adding test of the build of PDF books. gusthoff 2021-02-20 04:21:51 +01:00
• 2f7fc487dd Test: adding missing class for expected error in C code. gusthoff 2021-02-20 04:20:40 +01:00
• 088a708bef Editorial change: correcting typo in project name of code blocks. gusthoff 2021-02-20 04:20:02 +01:00
• 7634c2eac7 Correcting function prototype. gusthoff 2021-02-20 04:18:52 +01:00
• 609671e8a8 Widget: adding support for including output of the prover for PDF book. gusthoff 2021-02-20 04:17:38 +01:00
• 49a1cc4ecf Test script: adding support for storing output of the prover. gusthoff 2021-02-20 04:17:00 +01:00
• e31ce4d8a9 Test script: fixing call to remove-tree in case of "keep files." gusthoff 2021-02-20 04:16:35 +01:00
• 5b4250ba21 Test script: correcting creation of directory for build/runtime output. gusthoff 2021-02-20 04:15:42 +01:00
• b7405bc48a Widget: adding C-related Sphinx classes. gusthoff 2021-02-20 03:30:43 +01:00
• 927bbbdc24 Test script: importing glob gusthoff 2021-02-20 03:30:06 +01:00
• 54c2c62318 Test script: correcting compilation of C code block. gusthoff 2021-02-20 03:24:10 +01:00
• c20bac6a73 Editorial changes: adding "ada-run" class to source-code examples. gusthoff 2021-02-20 02:23:39 +01:00
• 35a9c12857 Editorial changes: removing paragraphs from PDF version. gusthoff 2021-02-20 02:23:13 +01:00
• 9d56419d6d Editorial changes: adding compile button to source-code blocks. gusthoff 2021-02-20 02:21:50 +01:00
• 5b0009f058 Editorial changes: removing unneeded instances of "ada-run" class. gusthoff 2021-02-20 02:20:03 +01:00
• b1f3f8389e Makefile: adding support for build / runtime output for PDF books. gusthoff 2021-02-20 02:17:02 +01:00
• 77cc430d59 Sphinx: integrating build / runtime output into LaTeX file (for PDF books). gusthoff 2021-02-20 02:15:32 +01:00
• 95832152a9 Sphinx: adding Python class for build / runtime output files. gusthoff 2021-02-20 02:14:01 +01:00
• cd36550868 Test script: adding support for keeping all files generated by the script. gusthoff 2021-02-20 02:11:43 +01:00
• 5f1ba9d5b0 Test script: removing "ada-run" from list of classes that require "run_button." gusthoff 2021-02-20 02:11:08 +01:00
• 698b32d623 Test script: adding handling of C code blocks. gusthoff 2021-02-20 02:09:48 +01:00
• 9f7da80aae Test script: adding support for storing build / runtime output. gusthoff 2021-02-20 02:05:49 +01:00
• 818d6582fc Test script: storing runtime output in "out" variable. gusthoff 2021-02-20 02:03:46 +01:00
• ab7ea0dec4 Test script: fixing call to remove-tree. gusthoff 2021-02-20 02:00:44 +01:00
• 755daff8bc Test script: detecting code block without associated project. gusthoff 2021-02-20 02:00:08 +01:00
• 58af57538b Merge pull request #502 from gusthoff/topic/infrastructure/testing/20210129 Robert Tice 2021-02-08 09:14:53 -05:00
• bfc9782736 Merge pull request #500 from AdaCore/intro-to-ada-lab-review Gustavo A. Hoffmann 2021-02-05 20:19:43 +01:00
• 17a51fb69c Update content/labs/intro-to-ada/chapters/standard_library_numerics.rst filip-gajowniczek-adacore 2021-02-05 13:05:42 -06:00
• dbcb9071b0 Update content/labs/intro-to-ada/chapters/records.rst filip-gajowniczek-adacore 2021-02-05 12:59:29 -06:00
• 90ab09f036 Update content/labs/intro-to-ada/chapters/tasking.rst filip-gajowniczek-adacore 2021-02-05 12:58:16 -06:00
• b7d91d1470 Update content/labs/intro-to-ada/chapters/records.rst filip-gajowniczek-adacore 2021-02-05 12:26:36 -06:00
• 156065fd05 Update content/labs/intro-to-ada/chapters/standard_library_containers.rst filip-gajowniczek-adacore 2021-02-05 10:22:58 -06:00
• db1348332c Update content/labs/intro-to-ada/chapters/arrays.rst filip-gajowniczek-adacore 2021-02-05 10:20:01 -06:00
• 360f2b5e2c Adapting content based on testing of prove button. gusthoff 2021-02-05 15:13:28 +01:00
• 57952647f3 Editorial change: correcting project for code blocks. gusthoff 2021-02-05 14:55:07 +01:00