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

• 47aada4fe9 Merge pull request #381 from gusthoff/ada_embedded_c_prog/new_content/ada_runtime_lib/20200619 Gustavo A. Hoffmann 2020-07-17 08:11:18 +02:00
• 03caa20e06 Merge pull request #383 from gusthoff/ada_embedded_c_prog/review/code_snippets/20200626 Gustavo A. Hoffmann 2020-07-17 08:07:47 +02:00
• d886c29ce4 Editorial changes: correcting indentation of code blocks gusthoff 2020-07-10 19:27:11 +02:00
• 5a9fd4355b Adapting source-code examples to use widget gusthoff 2020-07-10 15:47:20 +02:00
• 0131379291 Removing fb tag from meta properties. Robert Tice 2020-07-07 15:52:26 -04:00
• 4c65bec7e1 Adding primary meta tags for open graph support. Robert Tice 2020-07-07 15:48:20 -04:00
• 5bb5ee16d0 Adapting source-code examples to use widget gusthoff 2020-07-04 02:20:33 +02:00
• ec862fb9c1 Adding new source-code examples gusthoff 2020-07-03 19:57:40 +02:00
• 1e9018a39f Editorial change: removing run button gusthoff 2020-07-03 19:56:03 +02:00
• d43435f63e Adapting source-code examples to use widget gusthoff 2020-07-03 19:55:33 +02:00
• 2819f67020 Editorial change: using consistent signature for main() gusthoff 2020-07-03 19:51:30 +02:00
• a4058eb158 Fixed bug in source-code example gusthoff 2020-07-03 19:50:45 +02:00
• d07c4ece59 Extending source-code examples to display information at runtime gusthoff 2020-07-03 19:48:45 +02:00
• 77a7e16cce Editorial change: using consistent signature for main() gusthoff 2020-07-03 19:43:44 +02:00
• 9ef28b24c5 Minor change: removing "use" from source-code example gusthoff 2020-07-03 19:39:13 +02:00
• 3caf63403b Minor changes in source-code examples gusthoff 2020-07-03 19:37:28 +02:00
• bf46e4b0ac Editorial change: adding run button gusthoff 2020-07-03 19:35:23 +02:00
• 93078fc3a4 Refactor and unit test coverage increase. Robert Tice 2020-06-30 17:22:57 -04:00
• 655bf58cbb Improving tests on editor.ts. Robert Tice 2020-06-29 17:32:21 -04:00
• d78ac8b749 Adapting source-code examples to use widget gusthoff 2020-06-26 23:05:15 +02:00
• dd81608fce Merge pull request #380 from gusthoff/ada_embedded_c_prog/sphinx/20200619 Gustavo A. Hoffmann 2020-06-26 13:08:58 +02:00
• 171dddcd2c Adding reference to external documentation gusthoff 2020-06-21 13:39:00 +02:00
• 581a97aa11 Editorial change: fixed typo gusthoff 2020-06-20 01:37:58 +02:00
• cae53dd69d Adding section on the Ada run-time library gusthoff 2020-06-20 01:34:49 +02:00
• 03eae0586a Sphinx: adding "code-config" to enable widget gusthoff 2020-06-19 23:42:15 +02:00
• de7fef8339 Adding intro section on Ravenscar profile gusthoff 2020-06-19 23:19:35 +02:00
• 8dcb4c4a13 Removal of JQuery from deps. At 50% Stmt test coverage. Robert Tice 2020-06-18 17:17:43 -04:00
• 0d1c4e2472 Merge pull request #374 from gusthoff/ada_embedded_c_prog/new_content/modular_types/20200605 Gustavo A. Hoffmann 2020-06-15 22:43:46 +02:00
• 004fe71cf6 Merge pull request #378 from gusthoff/topic/infrastructure/github/20200612 Gustavo A. Hoffmann 2020-06-15 22:43:06 +02:00
• 32d6a24397 Adding some examples for porting of run-time libraries gusthoff 2020-06-13 01:54:15 +02:00
• a7731bc8a8 Initial commit gusthoff 2020-06-13 00:07:19 +02:00
• 48392c87bd Editorial change: adding comment on portability gusthoff 2020-06-12 23:43:18 +02:00
• cb3a2f2232 Editorial change: moving section up for consistency gusthoff 2020-06-12 21:19:33 +02:00
• 9cee3ba230 Mentioning bit-shifting operations for modular types gusthoff 2020-06-12 21:15:15 +02:00
• dd75b3ee6e Replacing type in declaration gusthoff 2020-06-12 21:14:40 +02:00
• e835ac304b Improving paragraph by using custom subtypes gusthoff 2020-06-12 21:13:31 +02:00
• 9481436533 Adding paragraph on 32-bit unsigned integer types in Ada gusthoff 2020-06-12 21:11:52 +02:00
• ef6f97c76b Adding table to highlight custom types gusthoff 2020-06-12 21:10:53 +02:00
• 5188a19d79 Merge pull request #377 from gusthoff/intro_to_gnat_toolchain/review/20200612 Gustavo A. Hoffmann 2020-06-12 16:30:21 +02:00
• ee1446e4f9 Editorial changes: removing section about gnatxref and gnatfind gusthoff 2020-06-12 14:43:27 +02:00
• 95cd7c9e95 Merge pull request #376 from AdaCore/dependabot/npm_and_yarn/frontend/websocket-extensions-0.1.4 Robert Tice 2020-06-08 09:08:41 -04:00
• c0371f4c9b Bump websocket-extensions from 0.1.3 to 0.1.4 in /frontend dependabot[bot] 2020-06-08 00:56:04 +00:00
• f9ce744266 Editorial change: correcting hyperlink gusthoff 2020-06-05 22:52:09 +02:00
• 9b46cb2ae0 Adding section on GNAT toolchain for embedded targets gusthoff 2020-06-05 22:50:55 +02:00
• 01949f5aa9 Adding link to "Intro to GNAT Toolchain" course gusthoff 2020-06-05 22:46:30 +02:00
• 762f029176 Adding section on unsigned and modular types gusthoff 2020-06-05 22:43:29 +02:00
• df83b79e0b Adding some tests for areas.ts Robert Tice 2020-06-05 11:33:41 -04:00
• b95aab4490 Merge pull request #91 from AdaCore/master Gustavo A. Hoffmann 2020-06-05 11:50:40 +02:00
• 472d755030 Merge pull request #373 from AdaCore/vagrantfile_cleanup Gustavo A. Hoffmann 2020-06-05 11:48:15 +02:00
• 28e13b02ba Merge pull request #371 from gusthoff/topic/infrastructure/sphinx/20200529 Gustavo A. Hoffmann 2020-06-05 11:10:56 +02:00
• 43ff84256a Clean of Vagrantfile. Robert Tice 2020-06-04 10:34:04 -04:00
• bd9dbd7580 Merge pull request #370 from gusthoff/origin/topic/infrastructure/travis/20200529 Robert Tice 2020-06-04 09:45:37 -04:00
• 14815ca07b Commenting out pragma in source-code example gusthoff 2020-05-29 22:45:12 +02:00
• b952467068 Correcting path to GNAT directory gusthoff 2020-05-29 22:22:02 +02:00
• 300f0b8d9c Updating Dockerfile to use GNAT Community 2020 gusthoff 2020-05-29 21:36:31 +02:00
• fcb9f3d055 Updating test environment to use GNAT Community 2020 gusthoff 2020-05-29 21:36:15 +02:00
• 2228e782b3 Sphinx: correcting todo syntax gusthoff 2020-05-29 21:21:29 +02:00
• d32ac1d946 Sphinx: include todos when not generating final site gusthoff 2020-05-29 21:19:30 +02:00
• 5af72c0642 Updating test environment to use GNAT Community 2020 gusthoff 2020-05-29 20:55:41 +02:00
• dbce123a25 Merge pull request #369 from timmyjose-projects/fix-incorrect-delay-value Gustavo A. Hoffmann 2020-05-27 22:17:16 +02:00
• a4027bb298 Merge pull request #366 from timmyjose-projects/fix-set-operators Gustavo A. Hoffmann 2020-05-27 22:13:30 +02:00
• b04671f921 Merge pull request #364 from gusthoff/intro_to_gnat_toolchain/review/20200522 Robert Tice 2020-05-27 08:47:23 -04:00
• 8fa6a14462 Updated the delay time for the CPU_Time example as well Timmy Jose 2020-05-26 19:37:44 +05:30
• b95d65b676 Merge pull request #363 from gusthoff/intro_to_ada/review/renaming/20200522 Robert Tice 2020-05-26 10:03:58 -04:00
• 428e8dede9 Make benchmarking delay consistent between program and text Timmy Jose 2020-05-26 19:31:32 +05:30
• 0b787da2cf Matched the and operators to their correct set operation Timmy Jose 2020-05-26 15:37:20 +05:30
• cdb7d1550c Editorial change: improving phrase gusthoff 2020-05-22 18:30:30 +02:00
• f0601b91f8 Editorial changes: updating menu options gusthoff 2020-05-22 18:28:31 +02:00
• 7fbd4db7f9 Editorial changes: removing section for gnatelim, gnat2xml, gnattest gusthoff 2020-05-22 18:23:23 +02:00
• ad88af3a44 Editorial change: renaming GPS => GNAT Studio gusthoff 2020-05-22 18:12:57 +02:00
• 03d6a5f41e Updating year: 2019 => 2020 gusthoff 2020-05-22 17:42:02 +02:00
• fdde07cf6f Renaming file: gps => gnat_studio gusthoff 2020-05-22 17:37:04 +02:00
• 0d5c55ee22 Editorial change: using code-block syntax for code snippet gusthoff 2020-05-22 14:03:59 +02:00
• bb60ea3859 Editorial changes: resetting code accumulator gusthoff 2020-05-22 13:55:14 +02:00
• 57ef1d9282 Merge pull request #361 from gusthoff/topic/infrastructure/sphinx/20200520 Robert Tice 2020-05-20 18:08:10 -04:00
• f180b63ae1 Added link to pygments.css back to HTML layout file gusthoff 2020-05-21 00:05:38 +02:00
• dcf40ef196 Replaced by master version of Pygments gusthoff 2020-05-21 00:04:53 +02:00
• 33524ab1b3 Merge pull request #359 from gusthoff/labs/intro_to_ada/review/editorial_changes/20200518 Gustavo A. Hoffmann 2020-05-18 22:34:37 +02:00
• c38a78d884 Merge pull request #358 from gusthoff/labs/bug_free_coding/review/editorial_changes/20200518 Gustavo A. Hoffmann 2020-05-18 22:34:30 +02:00
• f8a1e50229 Editorial changes: replacing with global file containing Sphinx roles gusthoff 2020-05-18 21:49:12 +02:00
• ed6c046387 Editorial change: renaming workshop gusthoff 2020-05-18 21:47:19 +02:00
• bdc4a49d71 Editorial change: fixed path to global Sphinx roles file gusthoff 2020-05-18 21:43:12 +02:00
• ca32fc7cad Editorial change: limiting to 80-char lines gusthoff 2020-05-18 21:42:47 +02:00
• 1354976916 Editorial change: adding note about "prove" button gusthoff 2020-05-18 21:23:19 +02:00
• 75f39b05ce Editorial change: using global Sphinx roles gusthoff 2020-05-18 21:22:35 +02:00
• ce44a1033b Editorial change: adding author gusthoff 2020-05-18 21:22:12 +02:00
• ee869b3d76 Editorial change: renamed workshop gusthoff 2020-05-18 21:21:38 +02:00
• 464097935e Editorial change: moved PNG files to "chapters" folder gusthoff 2020-05-18 20:58:36 +02:00
• 1e2677ddfd Editorial change: moved file to new "chapters" folder gusthoff 2020-05-18 20:51:40 +02:00
• 7c97916956 Editorial change: renamed folder gusthoff 2020-05-18 20:48:58 +02:00
• 54b9b13055 Merge pull request #357 from gusthoff/topic/infrastructure/sphinx/20200517 Robert Tice 2020-05-18 09:21:48 -04:00
• 4372b19c00 Editorial change: updating release date gusthoff 2020-05-18 00:33:43 +02:00
• f1e6c60daf Merge pull request #356 from gusthoff/labs/intro_to_ada/review/editorial_changes/20200515 Gustavo A. Hoffmann 2020-05-15 17:23:10 +02:00
• 649b623aa3 Editorial change: removing "beta" marker gusthoff 2020-05-15 16:18:02 +02:00
• 0991371e56 Merge pull request #355 from gusthoff/labs/intro_to_ada/review/editorial_changes/20200515 Gustavo A. Hoffmann 2020-05-15 14:57:14 +02:00
• dc4773ea60 Merge pull request #351 from gusthoff/labs/intro_to_ada/review/standard_library_strings/20200508 Gustavo A. Hoffmann 2020-05-15 14:52:44 +02:00
• 71392a81f9 Editorial change: updated list of reviewers gusthoff 2020-05-15 14:29:52 +02:00
• 4e25b4801b Editorial change: removing "beta" marker gusthoff 2020-05-15 14:29:28 +02:00
• 089925bb71 Improved lab on unbounded strings gusthoff 2020-05-12 01:27:15 +02:00
• 96d8b0042a Merge pull request #354 from gusthoff/labs/intro_to_ada/review/standard_library_dates_time/20200510 Gustavo A. Hoffmann 2020-05-11 22:55:29 +02:00