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

• 9f8fb8b1b1 Corrected typos: "initialize" and "variable". OPiMedia (Olivier Pirson) 2020-11-02 10:19:32 +01:00
• d5ed919b38 Adding gprbuild to provision to allow test_content to run on sphinx. Robert Tice 2020-10-30 16:48:49 -04:00
• e940d79b71 Switched the test file names. Adding -k to make content so that it will complete all tests on fail. Robert Tice 2020-10-30 16:39:55 -04:00
• 4075e1e999 Removing travis config. Robert Tice 2020-10-30 16:25:38 -04:00
• a4571c43cb Adding github badges to readme for action status. Robert Tice 2020-10-30 16:24:50 -04:00
• ea7af95076 Fixing test names. Robert Tice 2020-10-30 16:11:58 -04:00
• 68ae8dc5c3 Editorial change: removing unneeded header gusthoff 2020-10-30 20:41:49 +01:00
• 6406961ad0 Minor editorial changes gusthoff 2020-10-30 20:32:07 +01:00
• 8e793b21d3 Adding code example in C gusthoff 2020-10-30 20:26:17 +01:00
• 2c16dc58f5 Removing paragraph on "small" gusthoff 2020-10-30 20:25:18 +01:00
• 76e516a120 Adding paragraph on standard types for fixed-point gusthoff 2020-10-30 20:23:45 +01:00
• 9752e61fea Adding suitable introduction to the topic. gusthoff 2020-10-30 20:23:15 +01:00
• ca683a6ac8 Improving general description of fixed-point types. gusthoff 2020-10-30 20:21:31 +01:00
• 86eeabcfa2 Improvements to widget examples frank 2020-10-30 15:20:35 -04:00
• 51f5e2df46 Minor editorial changes gusthoff 2020-10-30 20:18:48 +01:00
• e5a395e2aa Editorial change: improving HTML output gusthoff 2020-10-30 20:18:16 +01:00
• 727fc7a5cd Editorial change: adapting header of code blocks gusthoff 2020-10-30 20:17:42 +01:00
• 4502a59726 Taking original fixed-point section from Intro to Ada course. gusthoff 2020-10-30 20:14:16 +01:00
• 9c28fe5419 Separating sphinx and ts tests. Robert Tice 2020-10-30 15:13:39 -04:00
• d8357cc9c0 Merge pull request #435 from gusthoff/ada_embedded_c_prog/new_content/overlays_vs_unchecked_conversions/20201030 Gustavo A. Hoffmann 2020-10-30 20:11:13 +01:00
• 37fa4ed4cd Integrating sphinx tests. Robert Tice 2020-10-30 15:00:17 -04:00
• 3c9f84e632 Changing test OS to match dev and prod env Robert Tice 2020-10-30 14:02:30 -04:00
• 2ddc0a4322 Fixing script errors Robert Tice 2020-10-30 13:29:04 -04:00
• f6f284a880 Testing node.js GitHub Action Robert Tice 2020-10-30 13:20:00 -04:00
• f2030dc4c4 Merge pull request #430 from gusthoff/intro_to_ada/review/interfacing_c/20201011 Gustavo A. Hoffmann 2020-10-30 18:12:08 +01:00
• 494ce75b9c Improving paragraph about conversion to bit-fields gusthoff 2020-10-30 18:11:42 +01:00
• ed3019a92a Improving function names gusthoff 2020-10-30 18:09:36 +01:00
• 6f22ec1c1e Merge pull request #433 from gusthoff/ada_embedded_c_prog/new_content/pointers_vs_data_copies/20201023 Gustavo A. Hoffmann 2020-10-30 17:41:19 +01:00
• 5badc5362a Removal of aggregator. Robert Tice 2020-10-30 10:50:48 -04:00
• 2c4e8c0525 Adding section on overlays vs. unchecked conversions gusthoff 2020-10-30 14:06:41 +01:00
• 2a6c96b0c0 create index file for class frank 2020-10-29 15:45:32 -04:00
• 2a2f0c145a First checkin of examples widgets for training materials frank 2020-10-29 14:52:53 -04:00
• caad9d1e3e Revert "Create out.txt" frank 2020-10-29 11:13:50 -04:00
• 6669146949 Create out.txt frank 2020-10-29 11:13:33 -04:00
• bdd80ddbc3 Editorial change: correcting grammar gusthoff 2020-10-27 23:10:52 +01:00
• 3848c89d76 Simplifying code gusthoff 2020-10-27 23:10:34 +01:00
• a40a9850ae Correcting description of parameter modes in code example gusthoff 2020-10-27 23:10:00 +01:00
• a3bc629ce1 Fixing minor issue in Makefile gusthoff 2020-10-24 03:33:26 +02:00
• 15b4eaf5e1 Initial commit gusthoff 2020-10-24 02:41:42 +02:00
• 4be4f5cd17 Adding section about pointers and data copies gusthoff 2020-10-23 23:15:28 +02:00
• b9d8efcfd4 Merge pull request #429 from gusthoff/ada_embedded_c_prog/new_content/switches_optimization/20201002 Gustavo A. Hoffmann 2020-10-17 01:15:18 +02:00
• d4b5292dc7 Adding example of non-suppressed checks gusthoff 2020-10-17 01:13:38 +02:00
• eb02f9128b Adding description of required and redundant checks gusthoff 2020-10-17 01:05:54 +02:00
• 229cdc0e0a Adding description of use-case for Inline_Always gusthoff 2020-10-16 21:42:42 +02:00
• 0f10adb5d0 Adding examples of failing inlining gusthoff 2020-10-16 21:42:14 +02:00
• babc2cf26a Editorial change: slightly improving phrase gusthoff 2020-10-16 21:39:33 +02:00
• bb8b030b92 Changing paragraph to reflect aggressive vs. manual inlining gusthoff 2020-10-16 21:38:31 +02:00
• c38a40ee59 Editorial change: correcting grammar gusthoff 2020-10-16 21:37:26 +02:00
• e01cb10096 Adding section on checks and assertions gusthoff 2020-10-16 20:18:30 +02:00
• c3cf9d9785 Merge pull request #431 from kilian-gebhardt/patch-1 Gustavo A. Hoffmann 2020-10-16 12:26:38 +02:00
• c9a8f36eaa Typo in 02_Flow_Analysis.rst Kilian Gebhardt 2020-10-15 15:08:58 +02:00
• cc971b60d7 Adding example of function call gusthoff 2020-10-11 21:29:41 +02:00
• b18c70c3b2 Merge pull request #425 from AdaCore/spark_switches Robert Tice 2020-10-05 11:46:36 -04:00
• 7282f83003 Merge pull request #428 from AdaCore/backend_devserver Robert Tice 2020-10-05 11:46:16 -04:00
• c0a9250b07 Adding section on switches and optimizations gusthoff 2020-10-02 22:10:43 +02:00
• ee21359eb2 Merge pull request #423 from gusthoff/ada_embedded_c_prog/new_content/design_components_dyn_libs/20200925 Gustavo A. Hoffmann 2020-10-02 20:01:12 +02:00
• 8311fd0274 Editorial change: fixing grammar issue gusthoff 2020-10-02 19:33:42 +02:00
• ec22e899f1 Replacing todo item by admonition gusthoff 2020-10-02 19:13:14 +02:00
• 9d6ac19547 Merge pull request #404 from gusthoff/ada_embedded_c_prog/new_content/records_discriminants/20200828 Gustavo A. Hoffmann 2020-10-02 18:55:23 +02:00
• f8cd942d69 Merge pull request #409 from gusthoff/ada_embedded_c_prog/new_content/oop/20200911 Gustavo A. Hoffmann 2020-10-02 18:44:20 +02:00
• f170c8e154 Merge pull request #394 from gusthoff/ada_embedded_c_prog/new_content/configuration_files/20200807 Gustavo A. Hoffmann 2020-10-02 18:05:53 +02:00
• f78e52f564 Minor addition: mentioning "discriminated record" gusthoff 2020-10-02 17:55:12 +02:00
• d00b209328 Editorial change: fixed typo gusthoff 2020-10-02 17:54:45 +02:00
• 4ba4077dc0 Merge branch 'master' into spark_switches Robert Tice 2020-10-02 11:42:29 -04:00
• 68f84ab7e0 Merge pull request #427 from AdaCore/comms_refactor Robert Tice 2020-10-02 11:40:14 -04:00
• e4b2108415 Adding bach script to bring up and down backend processes. Robert Tice 2020-10-02 11:39:05 -04:00
• bbc13e7e8f Adding todo item gusthoff 2020-10-02 16:22:46 +02:00
• 47722e6e88 Removing extraneous example switches. Robert Tice 2020-10-02 09:09:59 -04:00
• 04eb04a431 Adding strict to typescript compiler. Robert Tice 2020-10-02 09:02:26 -04:00
• ef90076a72 Editorial change: renaming "Send_Receive_Pkg" to "Transceivers" gusthoff 2020-10-02 12:43:20 +02:00
• 5a12d6ac3e Editorial change: renaming "Device_Type" to "Transceiver" gusthoff 2020-10-02 12:39:13 +02:00
• 934481d50d Editorial change: renaming "Get_Val" to "Value" gusthoff 2020-10-02 12:34:46 +02:00
• bd67137cca Editorial change: "can" => "must" gusthoff 2020-10-02 12:16:06 +02:00
• 48693709ad Declaring array constant gusthoff 2020-10-02 12:10:35 +02:00
• 92a5fb69a4 Editorial change: renaming variable gusthoff 2020-10-02 12:09:14 +02:00
• 8383098ce5 Merge pull request #426 from pat-rogers/master Pat Rogers 2020-09-30 16:05:01 -05:00
• dd5c473210 apply new switch capability to disable integer overflow checks in example rogers 2020-09-30 14:23:39 -05:00
• d51d703fc2 Merge branch 'master' of https://github.com/adacore/learn into spark_switches rogers 2020-09-29 16:35:03 -05:00
• 3719d66dec apply the switches capability to prevent overflow checks in assertsions (a deferred topic) ensure buttons work on correct groups of code various editorial text enhancements rogers 2020-09-29 16:33:14 -05:00
• 621e0087fb Factoring out server handling code into own class. Robert Tice 2020-09-28 18:32:26 -04:00
• edeb6c012b Merge pull request #424 from AdaCore/ace_gutter_annotations Robert Tice 2020-09-28 13:41:51 -04:00
• 46aa3d4d03 Fixing tests after removing dead code. Robert Tice 2020-09-28 13:07:33 -04:00
• 4b6e604463 Fixing annotation overwrites and adding info and warning annotations. Robert Tice 2020-09-28 13:01:22 -04:00
• 6c99bfd722 Adding section: "Design by components using dynamic libraries" gusthoff 2020-09-25 22:56:42 +02:00
• d7155455cf Adding ace annotations on error/info. Robert Tice 2020-09-25 13:03:02 -04:00
• 994d791174 Merge pull request #422 from gusthoff/intro_to_gnat_toolchain/review/20200925 Gustavo A. Hoffmann 2020-09-25 18:19:46 +02:00
• 53170a2e11 Merge pull request #420 from gusthoff/ada_embedded_c_prog/new_content/pointer_to_subprograms/20200925 Gustavo A. Hoffmann 2020-09-25 18:19:21 +02:00
• 752076b360 Merge pull request #421 from gusthoff/topic/infrastructure/travis/20200925 Gustavo A. Hoffmann 2020-09-25 17:49:27 +02:00
• 9c211f2050 Minor corrections gusthoff 2020-09-25 17:47:56 +02:00
• b27ad8b83e Editorial change: renaming some elements in code examples gusthoff 2020-09-25 17:45:40 +02:00
• 0fef453581 Fixing issue in C code gusthoff 2020-09-25 17:43:44 +02:00
• 69a76b486e Updating path to GNAT CE 2020 installer gusthoff 2020-09-25 16:42:44 +02:00
• 0b1e94107d Adding section on pointer to subprograms gusthoff 2020-09-25 16:39:56 +02:00
• 6599bf579b Support for switch specification from rst. Robert Tice 2020-09-25 09:56:54 -04:00
• 5ee79939f7 Merge pull request #419 from gusthoff/topic/issues/413 Gustavo A. Hoffmann 2020-09-25 11:21:57 +02:00
• fef0a4f9b4 Removing stubbed email code from contact backend. contact_form Robert Tice 2020-09-23 11:23:31 -04:00
• 0b24b071f4 Initial contact form implementation and tests. Robert Tice 2020-09-22 17:52:33 -04:00
• 349e034181 Editorial change: renaming "Month_Type" to "Months" gusthoff 2020-09-18 20:01:37 +02:00
• 6292860eaf Merge pull request #417 from gusthoff/topic/issues/408 Gustavo A. Hoffmann 2020-09-18 18:03:16 +02:00
• c1ae28f471 Merge pull request #416 from gusthoff/topic/issues/412 Gustavo A. Hoffmann 2020-09-18 18:03:01 +02:00