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

• 6058a5cea2 Adding expected prove error class for code blocks. gusthoff 2021-02-05 14:54:41 +01:00
• d03326b1b2 Editorial change: correcting project for code blocks. gusthoff 2021-02-05 14:54:20 +01:00
• 782cd0021b Editorial change: correcting project for code blocks. gusthoff 2021-02-05 14:54:00 +01:00
• 81b31e9f37 Merge pull request #501 from AdaCore/download_fix Gustavo A. Hoffmann 2021-02-05 13:36:43 +01:00
• fbf23fb9d3 Fixing download for widgets without a explicit specified main. Robert Tice 2021-02-02 13:55:27 -05:00
• e462575c5b Changes to requirements and other minor fixes unknown 2021-02-02 12:30:51 -06:00
• 60793998fd Added clarifications on Simple Todo list example usage of discriminant unknown 2021-02-02 11:38:01 -06:00
• f1b9877b64 Fixed an embedded code bug unknown 2021-02-02 11:33:44 -06:00
• 069c2f015c Minor grammar fix in States #4 unknown 2021-02-02 11:10:33 -06:00
• 8b13a9dce1 Fixed an indentation error, and LaTex in the math equaution unknown 2021-02-02 10:55:45 -06:00
• ffadb83f12 Review of standard_library_numerics.rst unknown 2021-02-02 10:37:10 -06:00
• b0e8d68a7a Adapting content based on testing of prove button. gusthoff 2021-01-30 06:55:51 +01:00
• 8cc3618996 Adding expected prove error class for code blocks. gusthoff 2021-01-30 06:54:41 +01:00
• 2311b3b057 Editorial change: correcting project for code blocks. gusthoff 2021-01-30 06:51:46 +01:00
• 8ac08a2bf6 Editorial change: correcting project for code blocks. gusthoff 2021-01-30 06:50:48 +01:00
• 7d7c90b6f2 Adding expected prove error class for code blocks. gusthoff 2021-01-30 06:49:45 +01:00
• c8ea1c5de1 Editorial change: correcting code block alignment. gusthoff 2021-01-30 06:49:22 +01:00
• 4fd040e04b Adding expected prove error class for code blocks. gusthoff 2021-01-30 06:48:51 +01:00
• 8f4fbddda6 Editorial change: correcting project for code blocks. gusthoff 2021-01-30 06:47:36 +01:00
• 4e32a2ed01 Test script: adding support for testing prove buttons. gusthoff 2021-01-30 06:42:28 +01:00
• 13bd340abb Sphinx: adding class: expected prove error. gusthoff 2021-01-30 06:41:01 +01:00
• bae4425576 Test script: adding function for main filename. gusthoff 2021-01-30 06:39:00 +01:00
• 0b88cba1e7 Test script: adding support for testing multiple buttons. gusthoff 2021-01-30 06:37:35 +01:00
• 5314ae85ab Test script: adding support for creating simple GPRbuild project file. gusthoff 2021-01-30 06:36:25 +01:00
• 23dbc8d556 Test script: storing compiler switches for code block. gusthoff 2021-01-30 06:19:25 +01:00
• 9cb7a9c801 Test script: adding support for parsing compiler switches for code block. gusthoff 2021-01-30 06:18:27 +01:00
• 867baf896a Merge pull request #490 from AdaCore/remove_aggregator Gustavo A. Hoffmann 2021-01-29 20:55:32 +01:00
• 9a272cf946 Review of standard_library_containers.rst unknown 2021-01-27 12:57:09 -06:00
• 92dea54f14 Merge pull request #499 from gusthoff/topic/infrastructure/testing/20210123 Gustavo A. Hoffmann 2021-01-23 07:26:42 +01:00
• 469dff4122 Test script: adding project info to verbose output. gusthoff 2021-01-23 07:04:13 +01:00
• bd06844d7c Test script: adding check for "no_button" indicator. gusthoff 2021-01-23 06:40:51 +01:00
• 60a8589a87 Test script: adding checks for expected buttons. gusthoff 2021-01-23 06:34:28 +01:00
• 8be8598bcd Test script: taking "ada-expect-compile-error" class into account. gusthoff 2021-01-23 06:33:33 +01:00
• 9e547555e2 Test script: adding support for "ada-norun" class. gusthoff 2021-01-23 06:27:00 +01:00
• 1282bfad03 Test script: taking buttons into account when compiling or running code examples. gusthoff 2021-01-23 06:24:18 +01:00
• 0c9e83db8c Test script: adding support for retrieving list of buttons of code blocks. gusthoff 2021-01-23 06:20:37 +01:00
• d1a2c7110e Test script: changing behavior to always use last file as main. gusthoff 2021-01-23 06:19:30 +01:00
• b0182fe976 Test script: adding support for main file indicator. gusthoff 2021-01-23 06:18:07 +01:00
• bae6e50abc Test script: adding support for C-language compilation. gusthoff 2021-01-23 02:31:01 +01:00
• 8575d6fb69 Test script: removing deprecated output file. gusthoff 2021-01-23 02:02:54 +01:00
• 423bc5340b Test script: adding support for manual chop gusthoff 2021-01-23 02:00:56 +01:00
• 2a2b6552a5 Test script: using real_gnatchop from widget module. gusthoff 2021-01-23 01:27:17 +01:00
• a34af3cb95 Test script: adding support for importing widget module. gusthoff 2021-01-23 01:10:49 +01:00
• c4b1083343 Editorial change: correcting term. gusthoff 2021-01-23 06:04:40 +01:00
• 21d35afe27 Correcting widget buttons of code examples. gusthoff 2021-01-23 06:04:25 +01:00
• 1437109c37 Correcting Sphinx class and widget buttons of code examples. gusthoff 2021-01-23 06:04:08 +01:00
• 27a733bf28 Correcting source-code examples. gusthoff 2021-01-23 03:56:51 +01:00
• 5277a0df39 Widget: adding support for "ada-norun" class. gusthoff 2021-01-23 03:54:53 +01:00
• e9e37bcf0e Adding support for "c-nocheck" class. gusthoff 2021-01-23 02:43:24 +01:00
• c5e7487dfd Correcting C-code example. gusthoff 2021-01-23 02:33:26 +01:00
• 899a2bce54 Adding Sphinx class for C code. gusthoff 2021-01-23 02:32:19 +01:00
• 7ce31f5d2d Correcting C-code example. gusthoff 2021-01-23 02:31:54 +01:00
• 75169d705d Editorial change: aligning Sphinx class. gusthoff 2021-01-23 01:08:03 +01:00
• 6d29e05a93 Adding dummy implementation to code examples. gusthoff 2021-01-22 23:57:08 +01:00
• b1dba6ff8d Adding Sphinx class for code examples. gusthoff 2021-01-22 23:56:18 +01:00
• 3ef89e7e24 Editorial change: correcting code alignment. gusthoff 2021-01-22 23:55:15 +01:00
• b2d5a18d23 Correcting code block project. gusthoff 2021-01-22 23:54:57 +01:00
• 89909c507e Adding Sphinx class for code examples. gusthoff 2021-01-22 23:54:40 +01:00
• 31675ad5a7 Editorial change: correcting alignment of Sphinx class. gusthoff 2021-01-22 22:40:20 +01:00
• 220d8bb990 Sphinx: adding no_button indicator. gusthoff 2021-01-22 22:39:57 +01:00
• 69886eca9e Editorial change: fixing alignment of source-code example. gusthoff 2021-01-22 21:27:51 +01:00
• 44cfd3049c Sphinx: adding no_button indicator. gusthoff 2021-01-22 21:27:21 +01:00
• e54e2386b1 Sphinx: removing deprecated code-config gusthoff 2021-01-22 21:11:40 +01:00
• 3306db5a5d Adding a temporary bypass on cli_input arg. Robert Tice 2021-01-22 14:53:10 -05:00
• dc04d2d37c GitHub actions: reactivating Sphinx content tests gusthoff 2021-01-22 20:36:35 +01:00
• 883609c6ad Merge branch 'master' into remove_aggregator gusthoff 2021-01-22 20:15:23 +01:00
• 40edebe7b0 Editorial changes: fixing style issue in code examples. gusthoff 2021-01-22 19:23:05 +01:00
• aeb850ba20 Merge pull request #497 from gusthoff/topic/infrastructure/testing/project_based Gustavo A. Hoffmann 2021-01-22 19:21:18 +01:00
• c257315f8c Merge pull request #498 from yannickmoy/master Gustavo A. Hoffmann 2021-01-22 17:41:50 +01:00
• c325bae64e Fix the mention of the HTML version of SPARK for MISRA-C course Yannick Moy 2021-01-22 16:59:03 +01:00
• fa2bfbf321 Test script: minor editorial change gusthoff 2021-01-22 16:40:28 +01:00
• 53d4621b64 Test script: adding support for separate test directory per project gusthoff 2021-01-22 16:39:45 +01:00
• 18503e3beb Test script: adding loop over projects gusthoff 2021-01-22 16:31:39 +01:00
• d112d5570d Test script: editorial change gusthoff 2021-01-22 16:28:19 +01:00
• c068cf483f Test script: assembling list of projects gusthoff 2021-01-22 16:14:50 +01:00
• 6128e5cf31 Test script: adding support for code block project gusthoff 2021-01-22 16:11:22 +01:00
• e424d5adc2 Merge pull request #495 from gusthoff/ada_embedded_c_prog/renaming/20210115 Gustavo A. Hoffmann 2021-01-22 13:17:52 +01:00
• fac68995f4 Review of arrays.rst unknown 2021-01-20 11:16:14 -06:00
• 326b70df1b Review of records.rst unknown 2021-01-19 12:53:19 -06:00
• a8f3c8261f Review of strongly_typed_language.rst unknown 2021-01-19 11:54:58 -06:00
• 1c3bfd34d7 Activating test for the "Ada for the Embedded C Developer" course. gusthoff 2021-01-15 23:11:37 +01:00
• 75a36bd8a5 Editorial change: fixing style issues in source-code examples. gusthoff 2021-01-15 23:10:36 +01:00
• ed247dee2d Testing: adding missing test for "Ada for the Embedded C Developer" course. gusthoff 2021-01-15 23:08:33 +01:00
• f3481d5d37 Renaming course to "Ada for the Embedded C Developer" gusthoff 2021-01-15 21:03:41 +01:00
• 18abf1e85a Merge pull request #492 from gusthoff/ada_embedded_c_prog/review/editorial/20210115 Gustavo A. Hoffmann 2021-01-15 19:00:30 +01:00
• 9faf54fffc Editorial change: correcting typo. gusthoff 2021-01-15 16:28:11 +01:00
• e4e82eed7f Editorial change: aligning term ("course"). gusthoff 2021-01-15 15:31:59 +01:00
• 1ff28f5191 Merge pull request #489 from pat-rogers/master Gustavo A. Hoffmann 2021-01-15 13:21:36 +01:00
• b6e4892463 Update 01_Introduction.rst Robert Tice 2021-01-14 17:08:43 -05:00
• ad369ceaec Merge branch 'master' into remove_aggregator Robert Tice 2021-01-14 17:06:27 -05:00
• eab9b54c30 Merge pull request #491 from AdaCore/Update_training_examples Robert Tice 2021-01-14 15:39:37 -05:00
• e47b7d45b7 Remove "class" attribute, update to current example list frank 2021-01-14 15:17:59 -05:00
• 9bc15bc35d Fixing merge conflicts for PR. Robert Tice 2021-01-14 10:59:51 -05:00
• 5725820f8e Fixing the auto add eslint errors. Robert Tice 2021-01-12 09:28:58 -05:00
• bb0b5f936a Removing offending tests in favor of e2e testing. Robert Tice 2021-01-11 16:43:45 -05:00
• ed942003e4 fix typo rogers 2021-01-11 09:04:25 -06:00
• ee1949858e Merge pull request #488 from gusthoff/ada_embedded_c_prog/review/editorial/20210108 Gustavo A. Hoffmann 2021-01-08 22:43:15 +01:00
• a5b6c6d888 Merge pull request #487 from gusthoff/topic/infrastructure/sphinx/structure/20210108 Gustavo A. Hoffmann 2021-01-08 22:36:24 +01:00
• e0cb1c3da6 Merge pull request #486 from gusthoff/topic/infrastructure/sphinx/release_date/20210108 Gustavo A. Hoffmann 2021-01-08 22:35:21 +01:00
• fe1904efb7 Editorial change: adding language indicators. gusthoff 2021-01-08 22:14:34 +01:00