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

• 87a1483692 Removing all instances of Assertion_Policy pragmas gusthoff 2020-04-17 16:28:11 +02:00
• 6c2f91e31f Predicates: referring to GNAT switch instead of pragmas gusthoff 2020-04-17 16:27:03 +02:00
• 2c17fec50b Backend: adding "-gnata" switch to the list gusthoff 2020-04-17 16:25:39 +02:00
• a521331b2f Correcting postconditions in source-code snippets gusthoff 2020-04-17 13:33:19 +02:00
• 72d75930fe Editorial change: correcting terminology gusthoff 2020-04-17 13:26:38 +02:00
• e414d221ae Explicitly adding make to dockerfile. Robert Tice 2020-04-16 16:42:07 -04:00
• fe82376154 Removing unecessary makefile for docker build. Robert Tice 2020-04-16 16:26:07 -04:00
• 7cb6bb9195 Fixing webpack script syntax to allow for more future flexibility. Robert Tice 2020-04-16 15:34:00 -04:00
• 3a96359eff Merge pull request #324 from AdaCore/staging_security Robert Tice 2020-04-16 15:10:58 -04:00
• 572ee40f78 Fixing typo in yarn build target. Robert Tice 2020-04-15 15:51:21 -04:00
• c7369144b5 Modifying webpack build to allow for ifdef plugin to remove staging cookie check on non-staging targets. Robert Tice 2020-04-15 15:49:45 -04:00
• e3e4baf809 Splitting staging security mods from widget_cookies branch. Robert Tice 2020-04-14 17:35:06 -04:00
• 8048f7dfd1 Working on docker security. Robert Tice 2020-04-14 16:30:27 -04:00
• 31b7a3c05b Commit with working docker implementation. A single docker container is spun up for each server request and is spun down upon completion/failure. Robert Tice 2020-04-13 18:08:19 -04:00
• affdd7ad92 Merge pull request #323 from AdaCore/logging_fix Gustavo A. Hoffmann 2020-04-13 17:14:48 +02:00
• 22cf97773a Merge pull request #320 from AdaCore/issues/316 Gustavo A. Hoffmann 2020-04-13 17:12:41 +02:00
• b67483833c Merge pull request #319 from gusthoff/labs/intro_to_ada/review/strongly_typed_language/20200403 Gustavo A. Hoffmann 2020-04-13 17:10:53 +02:00
• e78eb7a32d Merge pull request #318 from gusthoff/labs/intro_to_ada/review/modular_programming/20200403 Gustavo A. Hoffmann 2020-04-13 17:10:40 +02:00
• 60c0741b70 Merge pull request #317 from gusthoff/labs/intro_to_ada/review/subprograms/20200403 Gustavo A. Hoffmann 2020-04-13 17:10:22 +02:00
• ffae26bc9f Testing docker implementation. Working through implementation errors. Robert Tice 2020-04-10 17:32:26 -04:00
• 3901e55ab3 Working on docker/alpine alternative to lxc/ubuntu. Robert Tice 2020-04-09 18:16:39 -04:00
• f640c1ebc0 Reenabling managed network devices to allow ifdown to work. Robert Tice 2020-04-09 10:55:36 -04:00
• a7ca2c43ec Fixing typo in cloud-config. Robert Tice 2020-04-09 10:37:10 -04:00
• d1480a591d Disabling automatic cloud config network managing. Robert Tice 2020-04-09 10:32:15 -04:00
• 626b42b1ee Merge branch 'logging_fix' into lxc_security while waiting for logging_fix PR. Robert Tice 2020-04-09 10:05:17 -04:00
• fbf59350b6 Adding restriction for pragma Linker_Options. Adding destroy container makefile target to make all to ensure a clean lxc. Removing unprivledged home folder. Robert Tice 2020-04-09 10:03:04 -04:00
• 6355983c4b Upgrading default log level for production to WARNING. Robert Tice 2020-04-08 14:52:00 -04:00
• a1967fa0b4 Fixing logging in celery workers. Robert Tice 2020-04-08 14:29:25 -04:00
• e6016b5122 Adding white-space pre to all output lines. Robert Tice 2020-04-07 15:41:56 -04:00
• 898c63d342 Adding css so output_msg div's respect newlines coming from process stdout. Robert Tice 2020-04-07 15:22:45 -04:00
• 4d4dff9704 Adding formula for Celsius to Kelvin conversion gusthoff 2020-04-03 18:41:11 +02:00
• b6e08463fa Editorial change: renamed section to "Integers" gusthoff 2020-04-03 18:03:32 +02:00
• b3c2935f45 Editorial change: being more explicit about HTML color codes gusthoff 2020-04-03 18:00:39 +02:00
• 8cb57c4f9a Editorial change: added missing include file gusthoff 2020-04-03 17:59:52 +02:00
• cb0e835104 Editorial change: commenting out complete source-code of Color_Types gusthoff 2020-04-03 17:50:15 +02:00
• 7ea4dd5fdf Changed Operations_Test to child package of Operations gusthoff 2020-04-03 17:07:27 +02:00
• e4fd7ebbb1 Some editorial changes on the "Modular Programming" chapter gusthoff 2020-04-03 16:42:53 +02:00
• 679764a2fa Simplified operation gusthoff 2020-04-03 15:42:14 +02:00
• 1b04ffb219 Minor editorial changes gusthoff 2020-04-03 15:41:51 +02:00
• b4db4f89d6 Merge pull request #315 from gusthoff/labs/intro_to_ada/review/editorial_changes/20200327 Gustavo A. Hoffmann 2020-04-03 15:01:39 +02:00
• 59faafea51 Editorial changes: using new template for exercise description gusthoff 2020-04-03 05:17:13 +02:00
• 6c27a1a41c Editorial changes: minor updates gusthoff 2020-04-03 02:40:38 +02:00
• f61a2ca934 Editorial change: removed some labs gusthoff 2020-04-03 02:36:23 +02:00
• 63dccc195b Editorial changes: using new template for exercise description gusthoff 2020-03-27 23:41:26 +01:00
• a519514b61 Merge pull request #314 from gusthoff/labs/intro_to_ada/review/contracts/20200401 Gustavo A. Hoffmann 2020-04-03 05:19:31 +02:00
• 268ed6e7ba Editorial change: aligning titles gusthoff 2020-04-02 00:27:41 +02:00
• ae0f019da0 Fixed lab for static predicate gusthoff 2020-04-02 00:22:42 +02:00
• c619f6bd5b Merge pull request #312 from AdaCore/double_button_fix Gustavo A. Hoffmann 2020-03-27 17:40:50 +01:00
• ba87ce12fd Upgrading versions of subdeps. Robert Tice 2020-03-27 12:16:12 -04:00
• 1268a9f671 Allowing for make html to act as a compilation stage for sphinx. Works around the requirement that build-manifest.json exists. Robert Tice 2020-03-27 11:59:22 -04:00
• 8fcba1400f Updating yarn.lock with updated packages. Robert Tice 2020-03-27 11:10:59 -04:00
• 438e7a140d Updating footer to include copyright year of the build date. Robert Tice 2020-03-27 10:17:37 -04:00
• 3d4e61f84f Reverting accidental change from last commit. Robert Tice 2020-03-27 09:41:50 -04:00
• f08ce37abe Merge branch 'master' into double_button_fix Robert Tice 2020-03-27 09:39:40 -04:00
• 21db4f2c13 Cleaning up further async/await calls to remove promise then catch logic. Also refactoring and restructuring code for readability and maintainability. Robert Tice 2020-03-26 16:59:37 -04:00
• 4ce3a8b832 Fixing async/await chain in buttonCB to actually await the process completing. This fixes the double button issue. Also refactoring lab widget code out of widget into LabWidget extending Widget. Other refactoring and clean up as well. Robert Tice 2020-03-25 17:41:47 -04:00
• 29e9df6db0 Cleaning up promise chain in run_program polling minimize error handling duplication. Robert Tice 2020-03-24 17:43:44 -04:00
• 616f92b89c Merge pull request #311 from AdaCore/rmq_timeout_fix Robert Tice 2020-03-24 15:32:56 -04:00
• f2780c4ff6 Switching from SimpleQueue to SimpleBuffer to make kombu connection ephemeral. Robert Tice 2020-03-24 11:17:57 -04:00
• d29e96407e Bumping celery version to 4.4.0 to try to fix connection timeout problem. Robert Tice 2020-03-24 10:18:38 -04:00
• c856f3e98d Fixing Makefile issues causing travis failures. Robert Tice 2020-03-24 09:40:07 -04:00
• 199c3b8d34 Fixing makefile site and site-staging targets to incorporate webpack build. Robert Tice 2020-03-24 09:02:47 -04:00
• 10da089dc1 Merge pull request #274 from AdaCore/typescript_webpack_refactor Robert Tice 2020-03-23 17:04:15 -04:00
• f7d8c8112c Merging master into typescript_webpack_refactor for testing. Robert Tice 2020-03-23 16:52:26 -04:00
• bc6c324e50 Making timeout error string more descriptive. Robert Tice 2020-03-23 12:54:28 -04:00
• 0de04ede32 Fixing various console issues: missing favicons and undefined references to js functions. Robert Tice 2020-03-23 12:52:14 -04:00
• 581c78f4b9 Fixing typo in timeout error handling. Robert Tice 2020-03-23 10:33:21 -04:00
• 6b65f6c90d Merge pull request #286 from AdaCore/topic/embedded_book Gustavo A. Hoffmann 2020-03-20 18:30:30 +01:00
• 891e3d394b Merge branch 'master' into topic/embedded_book Gustavo A. Hoffmann 2020-03-20 18:19:09 +01:00
• 9a01d263cd Merge pull request #305 from gusthoff/intro_to_ada/review/renaming/20200211 Gustavo A. Hoffmann 2020-03-16 23:42:30 +01:00
• 89eab9d20c Merge pull request #307 from gusthoff/intro_to_ada/review/privacy/20200306 Gustavo A. Hoffmann 2020-03-16 23:42:15 +01:00
• f6985f79a3 Editorial changes: some minor improvements gusthoff 2020-03-13 22:52:48 +01:00
• 51b242f811 Editorial change: minor grammar correction gusthoff 2020-03-13 22:39:57 +01:00
• 4d75d2808e Editorial changes: rephrasing some parts about access to private type gusthoff 2020-03-13 22:35:33 +01:00
• d5654f4590 Editorial change: renamed type "T" to "Priv_Rec" gusthoff 2020-03-13 22:27:40 +01:00
• 4f7c477798 Improved description of visibility for child packages gusthoff 2020-03-13 22:20:34 +01:00
• d99e3cf7d1 Minor editorial changes gusthoff 2020-03-13 21:14:33 +01:00
• cf8e39773b Adding example of object renaming of record components gusthoff 2020-03-13 20:56:57 +01:00
• e0f7d6287f Improving source-code example of object renaming gusthoff 2020-03-13 20:16:58 +01:00
• dece43c392 Adding paragraph on renaming of package subprograms gusthoff 2020-03-13 19:46:28 +01:00
• d66287563a Editorial change: renaming package to TIO gusthoff 2020-03-13 19:44:17 +01:00
• 1177b5b135 Adding small section on package renaming gusthoff 2020-02-21 17:16:25 +01:00
• 5be40ab724 Minor editorial changes gusthoff 2020-02-11 21:10:40 +01:00
• 6298d649a5 Adding subsection on object renaming gusthoff 2020-02-11 20:48:08 +01:00
• 67e95aef20 Adding subsection on subprogram renaming gusthoff 2020-02-11 20:47:54 +01:00
• 16571cdf2b Merge pull request #310 from gusthoff/intro_to_ada/review/standard_library/20200313 Gustavo A. Hoffmann 2020-03-13 17:01:23 +01:00
• 6af50d9f0c Merge pull request #309 from gusthoff/intro_to_ada/review/generics/20200313 Gustavo A. Hoffmann 2020-03-13 17:00:04 +01:00
• 527c37f2af Editorial change: fixed grammar gusthoff 2020-03-13 16:54:20 +01:00
• 844dbea2d2 Improved introduction to chapter on dates and times gusthoff 2020-03-13 16:01:04 +01:00
• 369ea4c80b Improved introduction to containers chapter gusthoff 2020-03-13 15:27:08 +01:00
• 198b4dc044 Editorial change: adding link to list of containers gusthoff 2020-03-13 15:13:56 +01:00
• 4138c7bd2d Editorial change: splitting section on bounded and unbounded strings gusthoff 2020-03-13 15:07:49 +01:00
• 338f4b2e4a Editorial change: emphasizing "fixed-length" gusthoff 2020-03-13 15:05:08 +01:00
• 88786cbe0a Improved introduction to strings chapter gusthoff 2020-03-13 15:03:45 +01:00
• e86124c03a Editorial change: minor rephrasing gusthoff 2020-03-13 14:28:18 +01:00
• 84dd797203 Improved introduction to file I/O chapter gusthoff 2020-03-13 14:25:34 +01:00
• bc72f6a8ac Editorial change: corrected phrase gusthoff 2020-03-13 13:51:55 +01:00
• f187b59920 Merge pull request #308 from gusthoff/labs/intro_to_ada/standard_library/20200310 Gustavo A. Hoffmann 2020-03-12 20:22:43 +01:00
• f05e45800b Merge pull request #302 from gusthoff/intro_to_ada/review/contracts/20200212 Gustavo A. Hoffmann 2020-03-12 20:20:50 +01:00
• a2a19a7e81 Merge pull request #300 from gusthoff/intro_to_ada/review/imperative_language/20200210 Gustavo A. Hoffmann 2020-03-12 20:19:48 +01:00