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

• 753e209215 Adding lab for Holocene calendar gusthoff 2020-05-10 19:40:37 +02:00
• c2b234d680 Adding lab for string concatenation gusthoff 2020-05-10 17:54:52 +02:00
• c144ea4a6a Adding check for unbounded string subtype gusthoff 2020-05-10 16:56:55 +02:00
• 646e1e5c61 Merge pull request #353 from AdaCore/container_mem_cap Robert Tice 2020-05-08 12:21:11 -04:00
• 267e2466d9 Increasing container memory cap to 256 after seeing gprbuild use more than 32MB for small-ish compilations. Robert Tice 2020-05-08 11:46:40 -04:00
• 6ff717bce2 Merge pull request #352 from AdaCore/string_replace_fix Robert Tice 2020-05-08 10:44:10 -04:00
• f2729eed7a Skipping string replacement when lab data is being sent over reporter. Robert Tice 2020-05-08 10:41:23 -04:00
• 2133150ed9 Adding lab for unbounded strings gusthoff 2020-05-08 15:58:12 +02:00
• bb0b956cc6 Merge pull request #339 from gusthoff/labs/intro_to_ada/review/arrays/20200424 Gustavo A. Hoffmann 2020-05-07 22:31:20 +02:00
• 0ffdf25053 Merge pull request #349 from gusthoff/labs/intro_to_ada/review/tasking/20200501 Gustavo A. Hoffmann 2020-05-07 21:30:46 +02:00
• 6eb49b84a2 Merge pull request #348 from gusthoff/labs/intro_to_ada/review/exceptions/20200501 Gustavo A. Hoffmann 2020-05-07 21:30:38 +02:00
• bc1da68b1a Merge pull request #347 from gusthoff/labs/intro_to_ada/review/generics/20200501 Gustavo A. Hoffmann 2020-05-07 21:30:29 +02:00
• e20273c417 Merge pull request #346 from gusthoff/labs/intro_to_ada/review/privacy/20200501 Gustavo A. Hoffmann 2020-05-07 21:30:19 +02:00
• 64ed51613d Merge pull request #341 from gusthoff/labs/intro_to_ada/review/more_about_types/20200424 Gustavo A. Hoffmann 2020-05-07 21:30:12 +02:00
• e4573c15c5 Editorial change: fixing typo gusthoff 2020-05-07 21:27:50 +02:00
• fd35f03328 Merge pull request #350 from gusthoff/topic/infrastructure/travis/20200501 Robert Tice 2020-05-01 18:18:27 -04:00
• c759043ee8 Sphinx: adding logo file gusthoff 2020-05-01 22:58:15 +02:00
• 66b9426b58 Editorial change: correcting phrase gusthoff 2020-05-01 22:05:22 +02:00
• 0c8be5c678 Editorial change: correcting phrase gusthoff 2020-05-01 22:04:22 +02:00
• bdcadf5add Extending lab with second exception gusthoff 2020-05-01 21:42:03 +02:00
• 81208fe374 Editorial change: removing procedure declaration gusthoff 2020-05-01 21:37:38 +02:00
• 9e0e1a342f Editorial change: renaming procedure gusthoff 2020-05-01 20:52:19 +02:00
• de758eb0f5 Editorial change: removing lab gusthoff 2020-05-01 20:48:32 +02:00
• 63697a1932 Editorial change: removing test procedure gusthoff 2020-05-01 20:46:58 +02:00
• 777bccfca8 Editorial changes: removing / renaming test procedures gusthoff 2020-05-01 20:45:46 +02:00
• dcfa1ed021 Improving testcase for generic average function gusthoff 2020-05-01 20:43:02 +02:00
• eb50b5bb4e Removing advanced feature from solution gusthoff 2020-05-01 20:31:26 +02:00
• 1ab5b251f4 Using floating-point type for accumulator gusthoff 2020-05-01 20:29:51 +02:00
• e82a9258b9 Adding paragraph about good programming practices gusthoff 2020-05-01 18:41:56 +02:00
• 05828aba42 Editorial change: merged paragraphs gusthoff 2020-05-01 18:38:52 +02:00
• c21d8f17de Replacing loop by slices in string assignment gusthoff 2020-05-01 18:38:26 +02:00
• 3f81fa9d1f Improved test of Copy procedure gusthoff 2020-05-01 18:37:33 +02:00
• 416d926474 Editorial change: fixed grammar gusthoff 2020-05-01 18:35:42 +02:00
• 272970ebc3 Merge pull request #340 from gusthoff/labs/intro_to_ada/review/records/20200424 Gustavo A. Hoffmann 2020-05-01 15:24:42 +02:00
• 845f68f98e Merge pull request #345 from AdaCore/ad_tracking Robert Tice 2020-05-01 09:02:32 -04:00
• a3c9e04bb4 Merge pull request #343 from AdaCore/issues/236 Robert Tice 2020-05-01 09:01:41 -04:00
• 15778ac256 Merge pull request #344 from AdaCore/issues/66 Robert Tice 2020-05-01 09:01:24 -04:00
• 99717c0905 Merge pull request #342 from AdaCore/output_cleanup Robert Tice 2020-05-01 08:59:15 -04:00
• c752da63e4 Editorial change: fixed grammar gusthoff 2020-05-01 13:50:20 +02:00
• 6f3336523b Editorial change: fixed grammar gusthoff 2020-05-01 13:47:43 +02:00
• 405aa7e8cc Cleanup of layout..html and unused html templates from rtd theme. Factoring out analytics into separate template. Removing unused favicons to decrease netwrok usage and incread load speed. Robert Tice 2020-04-28 13:38:47 -04:00
• 53dd828aed Enabling sphinx to generate toctree with all contents availble in all pages to allow user to explore ohter courses/labs without switching oages. Robert Tice 2020-04-27 16:47:36 -04:00
• 303a484a0b Adding diffs from stale issues/236 branch. Robert Tice 2020-04-27 16:09:13 -04:00
• 6212ede548 Adding support for flow report=all switch. Robert Tice 2020-04-27 16:01:14 -04:00
• 5e8dae66ec Adding maximum number of check_output requests to solve issue where flask is up but celery server is down. This avoids the requests spinning forever. Robert Tice 2020-04-27 15:32:14 -04:00
• c13380bd56 Fixing promise resolution in recursive polling situation. Robert Tice 2020-04-27 14:34:28 -04:00
• b44e0d5c92 Simplified declaration of Price_Type gusthoff 2020-04-24 23:45:11 +02:00
• b43748c83b Editorial change: correcting typo gusthoff 2020-04-24 23:36:29 +02:00
• 81e00e1d32 Adding missing description of error handling for full list gusthoff 2020-04-24 23:36:08 +02:00
• 05860334c1 Converting Todo_List type to record with discriminant gusthoff 2020-04-24 23:35:23 +02:00
• 249af9db5e Adding paragraph about limitation of Convert function gusthoff 2020-04-24 23:32:14 +02:00
• 8c470f6a9a Editorial change: rephrasing requirement gusthoff 2020-04-24 23:31:14 +02:00
• 16f737abbf Merge pull request #329 from AdaCore/lxc_security Robert Tice 2020-04-24 15:24:13 -04:00
• e4b6265c07 Fixing typo in string replace dictionary. Robert Tice 2020-04-24 15:23:47 -04:00
• ef149ccfd5 Editorial change: simplifying user message gusthoff 2020-04-24 20:55:25 +02:00
• 8b34f7e953 Editorial changes: splitting RGB elements gusthoff 2020-04-24 20:54:51 +02:00
• 211cb9fbeb Adding string replacement function to reporter __send to allow reporter to hide information like where the project is located in the container. Robert Tice 2020-04-24 14:18:42 -04:00
• 721887bfb8 Improving remarks on case statement and lookup table gusthoff 2020-04-24 19:54:26 +02:00
• ca3e2e76a0 Adding check of short string to "String_10" lab gusthoff 2020-04-24 19:45:15 +02:00
• 9419831210 Various improvements to "Product info" lab gusthoff 2020-04-24 19:42:24 +02:00
• 11744935eb Extending lab to handle arrays that don't start at index one gusthoff 2020-04-24 19:34:38 +02:00
• 3971ffa308 Mentioning previous code for lookup table gusthoff 2020-04-24 19:32:04 +02:00
• 4de625c101 Editorial changes: correcting some grammar issues and typos gusthoff 2020-04-24 19:30:19 +02:00
• 054871fd70 Fixing merge conflict in master merge. Robert Tice 2020-04-24 10:53:20 -04:00
• 75014269af Merge pull request #338 from yannickmoy/compile-button Robert Tice 2020-04-24 09:21:57 -04:00
• aefed00107 Merge pull request #337 from AdaCore/cleanup_refactor Robert Tice 2020-04-24 09:21:16 -04:00
• fdf1b4ac1f Merge pull request #336 from AdaCore/run_button Robert Tice 2020-04-24 09:20:56 -04:00
• e57fa1187e Merge pull request #335 from AdaCore/output_area_limit Robert Tice 2020-04-24 09:20:19 -04:00
• a626412bf4 Merge pull request #334 from AdaCore/compile_button Robert Tice 2020-04-24 09:19:40 -04:00
• bc84d3de82 Merge pull request #333 from AdaCore/editor_size_fix Robert Tice 2020-04-24 09:19:14 -04:00
• 68190df718 Merge pull request #331 from gusthoff/labs/intro_to_ada/review/records/20200417 Gustavo A. Hoffmann 2020-04-24 11:44:15 +02:00
• dbaba2d78f Merge pull request #327 from gusthoff/labs/intro_to_ada/review/contracts/20200417 Gustavo A. Hoffmann 2020-04-24 11:44:06 +02:00
• 19a64d4203 Merge pull request #325 from gusthoff/intro_to_ada/review/contracts/20200417 Gustavo A. Hoffmann 2020-04-24 11:43:51 +02:00
• 9472b2d3cc Use new compile_button that replaces class ada-syntax-only Yannick Moy 2020-04-23 23:12:01 +02:00
• 74363ccf98 Upgrade packages. Robert Tice 2020-04-22 11:07:23 -04:00
• 88c39761d4 Removing theme.js from ts and moving it back to sphinx build. No need for us to maintain since we don't modify this. Robert Tice 2020-04-22 10:17:58 -04:00
• d22dd2dc51 Eslint fixes. Robert Tice 2020-04-20 14:12:22 -04:00
• a57172afc6 Refactoring weird callback registering thing for clickable divs in areas. Robert Tice 2020-04-20 14:11:25 -04:00
• c7e561ef26 Removing run button and cli area from labcontainer. Robert Tice 2020-04-20 12:51:10 -04:00
• 31903d6f82 Making outputarea scrollable with fixed max height. Robert Tice 2020-04-20 12:08:45 -04:00
• c59128c76e Adding build succeed feedback from backend. Robert Tice 2020-04-20 11:54:24 -04:00
• c4fa7fe42c Removing suplicate in strings button_mode. Adding c_cpp mode from brace. Adding compile example to MISRA C booklet. Robert Tice 2020-04-20 11:49:40 -04:00
• 2daf85f5b9 Adding compile button to button dictionary in frontend and fixing typo in C file main detection. Robert Tice 2020-04-20 11:21:07 -04:00
• 274da62421 Fixing useability issue when changing tabs in a widget. If editors were different sizes, changing tabs would cause the editor to shink or expand making it difficult to use. This fix will make the minimum size of each editor in the widget equal to the largest length editor in the grouping. Robert Tice 2020-04-20 10:53:21 -04:00
• 9ea25317ae Merge pull request #330 from AdaCore/webpack_mods Robert Tice 2020-04-17 16:20:21 -04:00
• 6f40a86ee3 Merge pull request #332 from AdaCore/issues/321 Robert Tice 2020-04-17 16:20:05 -04:00
• 10e012c33a Merge pull request #328 from AdaCore/ada_main_fix Robert Tice 2020-04-17 16:05:45 -04:00
• ac32cd87b9 Swapping awesome-typescript-loader to ts-loader to increase ts build speed. Robert Tice 2020-04-17 15:30:41 -04:00
• beb9e9397c Fixing selection issue in output area. If text is selected, focus won't jump to the offending line in the editor. If nothing is selected, focus will jump as usual. Robert Tice 2020-04-17 15:20:32 -04:00
• 1808b52b20 Simplified "Inventory" lab gusthoff 2020-04-17 20:56:32 +02:00
• e4ca506853 If more than one potential Ada main is detected, the system looks for one called main.adb and uses that one. Robert Tice 2020-04-17 14:25:38 -04:00
• 28984c7149 Integrating code from original lab ("Colors") gusthoff 2020-04-17 20:11:34 +02:00
• 411399ade8 Fixing wrap issue in output areas defined with whitespace:pre. Robert Tice 2020-04-17 13:52:25 -04:00
• f83cbcc077 Editorial change: fixed typo gusthoff 2020-04-17 19:43:17 +02:00
• 7274f4894e Fixing spinner cleanup when server error occurs. Robert Tice 2020-04-17 12:03:35 -04:00
• 8fa48197d9 Merge pull request #326 from gusthoff/intro_to_ada/review/contracts/20200417_pragmas Gustavo A. Hoffmann 2020-04-17 17:32:44 +02:00
• 2d11f28111 Upstreaming changes from PR #326 to new project file format. Robert Tice 2020-04-17 11:12:20 -04:00
• 40dc6199f1 GPRbuild: correcting entry for compiler switches gusthoff 2020-04-17 17:08:18 +02:00
• 4d926268c7 Backend: correcting list of switches gusthoff 2020-04-17 16:52:40 +02:00
• 9fb61119f1 Revert "Backend: adding "-gnata" switch to the list" gusthoff 2020-04-17 16:50:36 +02:00