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

• 5f70a77ffb Removed comment on multiple versions of actual function gusthoff 2018-12-07 20:14:25 +01:00
• f608864ea6 Added subsection on interfaces using tagged types gusthoff 2018-12-07 20:07:00 +01:00
• 22e0cf3df2 Added subsection on interfaces using signature packages gusthoff 2018-12-07 19:32:08 +01:00
• 83fc41d556 Added subsection on interfaces using formal subprograms gusthoff 2018-12-07 18:41:35 +01:00
• e490deeb00 Added introduction of subsection gusthoff 2018-12-07 17:29:17 +01:00
• 51445cb933 Editorial change: removed TODO item gusthoff 2018-12-07 16:34:40 +01:00
• 1246c4c9d3 Editorial changes: added section authors gusthoff 2019-05-17 22:17:20 +02:00
• 3926af1e08 Merge pull request #218 from AdaCore/topic/labs_framework Nicolas Setton 2019-05-17 14:12:53 -04:00
• 600047fe69 Adding ability to group lab output into lab results containers. Robert Tice 2019-05-17 09:26:27 -04:00
• 0b9cf5be75 Fixing issue where stderr lines where not moving the cursor in the editor. Robert Tice 2019-05-16 10:58:53 -04:00
• cc1a2b1dc7 Merge pull request #178 from gusthoff/advanced_ada/design_patterns/material_reuse/20181221 Raphaël AMIARD 2019-05-10 11:48:23 +02:00
• 6d6b018022 Adding pdf link for Ada for MISRA C book in the index.rst. Robert Tice 2019-04-17 11:34:20 -04:00
• 32982b1f44 Editorial change: added missing definition of ada role gusthoff 2019-02-17 01:28:13 +01:00
• c730e9040a Draft version of "Getting Started: GNAT toolchain" book gusthoff 2019-02-17 00:30:45 +01:00
• e634b8abd7 Merge branch 'master' into advanced_ada/design_patterns/material_reuse/20181221 Raphaël AMIARD 2019-05-10 11:43:49 +02:00
• b7dec81ec2 Working on organizing messages from each lab run into groups. Robert Tice 2019-04-10 09:38:20 -04:00
• 6ac2751f61 Merge pull request #216 from AdaCore/topic/labs_framework Nicolas Setton 2019-04-04 10:33:39 -04:00
• 7111e0bb4a Also messages from the backend are json strings now so check_worker is modified to handle that. Robert Tice 2019-04-04 10:11:51 -04:00
• d83e85cbef Merge pull request #212 from AdaCore/topic/labs_framework Robert Tice 2019-04-03 16:41:23 -04:00
• 5e832a1b92 Preliminary styling for lab outputs. All messages from backend are tagged now with a message type which is sorted by the js. Robert Tice 2019-04-03 15:39:39 -04:00
• a2b0a8128d Handling new backend message formatting. Robert Tice 2019-04-02 15:43:28 -04:00
• 2d2b1ee1fa Merging upstream changes into editing changes. Robert Tice 2019-04-02 11:42:10 -04:00
• 5cfbd1b152 Fixing some editorial things. Robert Tice 2019-04-02 11:38:42 -04:00
• 57fdd302ef Revert "Added missing precondition for 'Top' function" gusthoff 2019-04-02 16:24:29 +02:00
• 6dd33f44d6 Added missing precondition for 'Top' function gusthoff 2019-04-02 16:09:08 +02:00
• 03b761dce5 Editorial changes: removed trailing whitespaces gusthoff 2019-04-02 16:06:08 +02:00
• 9d3b69cb5d Merge pull request #211 from AdaCore/copyright_update Gustavo A. Hoffmann 2019-04-01 23:56:53 +02:00
• f1d09b885e Updating machine down message to encourage people to try again now. Robert Tice 2019-04-01 11:50:21 -04:00
• 2a4a70fb55 Adding ability to add cli_input to any widget using cli_input attr. Robert Tice 2019-03-29 09:41:44 -04:00
• 5f975c8366 Reorganizing labs. Robert Tice 2019-03-26 10:59:06 -04:00
• 095b714a3b Fixing CI build error. Robert Tice 2019-03-26 10:48:00 -04:00
• 22f79ee772 Adding preliminary Hello World lab. Robert Tice 2019-03-26 10:28:03 -04:00
• 6d13b8e2c1 Updating test cases to test lab infrastructure. Robert Tice 2019-03-25 16:26:29 -04:00
• b38d1823b5 Merge pull request #205 from yannickmoy/master Robert Tice 2019-03-25 12:34:57 -04:00
• 296a8fa67c Merge pull request #209 from yannickmoy/issue208 Robert Tice 2019-03-25 12:33:08 -04:00
• c4d64321c2 Updating copyright year to 2019. Robert Tice 2019-03-25 12:31:41 -04:00
• 6f2a9a0e0a Creating submit infrastructure. Submit reads the LAB IO BLOCK from the ada code block and generates shadow text files with the test data. The backend uses the lab_io.txt file to drive the test cases. Robert Tice 2019-03-22 16:40:30 -04:00
• b6ce1afef0 Merge pull request #207 from AdaCore/topic/Ada_C++_Java_Book_edits Robert Tice 2019-03-19 10:02:23 -04:00
• 369097d051 Fix Issue #208 Yannick Moy 2019-03-18 08:56:27 +01:00
• b3aa0cd12c Apparently :next_state: directive must come first to be effective Yannick Moy 2019-02-23 18:40:35 +01:00
• 18cf9f0562 Merge pull request #206 from AdaCore/remove_2018_MWAC_banner Gustavo A. Hoffmann 2019-03-16 03:50:17 +01:00
• aa6486c4c8 Corrections to Ada for the C++ or Java Developer book. Robert Tice 2019-03-13 12:01:14 -04:00
• 38214eed9d Adding functionality for passing command line arguments to executable. Robert Tice 2019-02-26 10:19:22 -05:00
• 5d85e65cb0 Setting up user input piping. Robert Tice 2019-02-25 15:49:41 -05:00
• 8e27212c5a Removing MWAC banners from home page and about page. Robert Tice 2019-02-25 14:30:40 -05:00
• 49de1c5783 Initial MLH lab content and prelim front-end support for lab editor. Robert Tice 2019-02-25 14:27:12 -05:00
• ce8e4fbe2b Merge pull request #200 from yannickmoy/master Nicolas Setton 2019-02-21 10:36:59 -05:00
• e5c5ad9287 Merge pull request #204 from yannickmoy/typos Nicolas Setton 2019-02-21 10:11:44 -05:00
• a7f83de505 Fix typos and minor errors Yannick Moy 2019-02-20 13:53:35 +01:00
• 74a46cea4d Minor fixes from Piotr's review Yannick Moy 2019-02-13 12:23:54 +01:00
• 5ad860cab7 Merge pull request #202 from AdaCore/issues/201 Nicolas Setton 2019-02-14 15:49:01 -05:00
• 75872ff706 Fix Issue #201 M. Anthony Aiello 2019-02-14 15:34:03 -05:00
• f598f3ae0c Merge pull request #199 from yannickmoy/master Nicolas Setton 2019-02-12 15:39:26 -05:00
• fa65a72883 Remove useless warnings and useless Run/Next buttons Yannick Moy 2019-02-12 17:35:53 +01:00
• 895cc26ac5 Merge pull request #198 from yannickmoy/master Nicolas Setton 2019-02-12 11:16:26 -05:00
• 7c1585ee89 Adjust interactive configuration and examples Yannick Moy 2019-02-12 16:59:33 +01:00
• a16af27ecc Complete review by Ben Yannick Moy 2019-02-12 09:58:04 +01:00
• 9535637613 Merge pull request #167 from gusthoff/advanced_ada/oo_prog/gems Gustavo A. Hoffmann 2019-02-09 20:21:31 +01:00
• d022ab9f28 Merge pull request #195 from AdaCore/documentation Gustavo A. Hoffmann 2019-02-09 15:46:28 +01:00
• 8ecf6c9ee6 Merge pull request #196 from yannickmoy/master Nicolas Setton 2019-02-08 13:38:44 -05:00
• df5f9c4325 Move the doc about code snippets to CONTRIBUTING.md Nicolas Setton 2019-02-08 11:12:26 -05:00
• 7320110af0 Fix use of widget on SPARK book Yannick Moy 2019-02-08 12:24:31 +01:00
• 21c3d2ef84 Add documentation Nicolas Setton 2019-02-07 16:28:39 -05:00
• 9a3a1cc6fd Merge pull request #193 from AdaCore/minor_review Nicolas Setton 2019-02-07 16:17:42 -05:00
• 49e34c82ff Merge pull request #194 from AdaCore/topic/engine_testing_update Nicolas Setton 2019-02-07 16:17:26 -05:00
• d5f1a12c69 Cleaning up editors.js by adding missing semicolons and pretty printing. Robert Tice 2019-02-07 15:56:13 -05:00
• fc7acfe3dd Removing extraneous input parameter to process_check_output leftover from refactor. Robert Tice 2019-02-07 15:41:15 -05:00
• 9a4fd4cf8a Fixing up response and expects comparisons on test page for stability. Including tests and unfinished courses as hidden items in toctree. Robert Tice 2019-02-07 15:33:17 -05:00
• f1ffd20454 Removing pass through for test callback. Now testing for test_mode in ajax requests and statically calling test_callback function from .done. Also comparing output_area objects from widget and from test_expects divs. Robert Tice 2019-02-07 13:48:25 -05:00
• bbcad67d2b Deactivate testing of an intentionally erroneous block Nicolas Setton 2019-02-07 12:48:15 -05:00
• 9e0a3a3b7a Minor adjustment to the SPARK/MISRA C book Nicolas Setton 2019-02-07 11:41:58 -05:00
• 0483e9f3a4 Adding support for engine testing. Robert Tice 2019-02-07 10:53:21 -05:00
• df5b3f8467 Merge pull request #192 from AdaCore/minor_css_fixes Robert Tice 2019-02-06 16:45:57 -05:00
• 88b0a6081d Merge pull request #191 from AdaCore/javascript_simplification Robert Tice 2019-02-06 16:17:08 -05:00
• a444b93194 Minor CSS fixes Nicolas Setton 2019-02-06 15:16:25 -05:00
• 307566394e SPARK for Misra C: add support for running C blocks Nicolas Setton 2019-02-06 14:31:29 -05:00
• 6e66b3fbac Add support for C blocks Nicolas Setton 2019-02-06 14:30:40 -05:00
• 427fa44b21 Second pass on the SPARK courses to use the new model for buttons Nicolas Setton 2019-02-06 13:10:47 -05:00
• 32c4c9f71e Move the handling of extra_args fully to the runner Nicolas Setton 2019-02-04 19:42:11 -05:00
• 7323ab5876 Adapt to the new way of describing buttons Nicolas Setton 2019-02-04 19:39:16 -05:00
• 4c850effe5 Add support for transmitting the mode to the backend Nicolas Setton 2019-02-01 16:40:50 -05:00
• dab86d3ca0 Merge pull request #189 from AdaCore/topic/engine_rework Robert Tice 2019-02-01 11:24:59 -05:00
• deb29d9414 Fix aggregation of code in more_about_types.rst Nicolas Setton 2019-01-29 13:44:06 -05:00
• 60be983e2f Isolate the sections where code accumulation is needed Nicolas Setton 2019-01-29 13:10:52 -05:00
• a9a54dac43 Clean up the creation and handling of buttons in editors.js Nicolas Setton 2019-01-29 12:58:08 -05:00
• dd77c7e5ee In the "local" Makefile target, link to the real editor.js Nicolas Setton 2019-01-29 12:53:14 -05:00
• 45a2d1bc54 Remove special handling of mains in the widget Nicolas Setton 2019-01-25 11:31:35 -05:00
• acefc09244 Merge pull request #183 from gusthoff/advanced_ada/overall_structure/20190111 Nicolas Setton 2019-01-25 09:50:22 -05:00
• 40742208a3 Merge pull request #182 from gusthoff/advanced_ada/generics/pr_176_feedback Nicolas Setton 2019-01-25 09:48:24 -05:00
• f0cef1b99d Merge pull request #186 from gusthoff/topic/posts/20190108/initial_version Gustavo A. Hoffmann 2019-01-25 12:58:04 +01:00
• 4ec88dc9f9 Merge pull request #188 from yannickmoy/master Gustavo A. Hoffmann 2019-01-25 11:53:30 +01:00
• cff31a12a2 Add precision on single line comments Yannick Moy 2019-01-24 17:28:49 -05:00
• 29537e5bfd Merge pull request #184 from yannickmoy/master Gustavo A. Hoffmann 2019-01-24 22:51:32 +01:00
• f30b9a2fa9 S111-031 Fixes to get pdf generation Yannick Moy 2019-01-14 11:44:58 +01:00
• a6e0ab3b90 Merge pull request #187 from gusthoff/topic/infrastructure/engine/20190118 Nicolas Setton 2019-01-19 22:45:14 +01:00
• f51f9f8b2e Editorial change: added description to links gusthoff 2019-01-19 00:18:14 +01:00
• 8214ab3fe8 Added support for "prove button" in individual source-code snippets gusthoff 2019-01-18 23:06:01 +01:00
• 2aa23931bd Initial commit of blog-post as learning material gusthoff 2019-01-18 23:03:34 +01:00
• 80493be53d Merge pull request #185 from yannickmoy/S115-009 Gustavo A. Hoffmann 2019-01-18 15:51:52 +01:00
• 345cb4549b S115-009 Fix examples 6-7-8 in chapter 3 of intro to SPARK Yannick Moy 2019-01-17 16:18:37 +01:00