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

• a56c3671b4 Cleanup pass on overview module Yannick Moy 2018-06-05 12:32:12 +02:00
• 2bf7e836b2 Replace references to SPARK 2014 with SPARK Yannick Moy 2018-06-05 09:45:08 +02:00
• 49f6693768 Add an index to the SPARK course Nicolas Setton 2018-06-05 15:18:17 -04:00
• f2f63c85a6 Add missing class information on non-provable code Nicolas Setton 2018-06-05 13:43:58 -04:00
• 2b901b3eee Mini pass on chapter 01 of the intro to SPARK Nicolas Setton 2018-06-05 13:42:58 -04:00
• 16bffce762 Fix typo Nicolas Setton 2018-06-05 13:42:21 -04:00
• a84b92d904 Replace UTF-8 characters with ASCII Nicolas Setton 2018-06-05 13:41:36 -04:00
• ab271df20d Adjust requirements Nicolas Setton 2018-06-06 13:06:54 -04:00
• 44bdfd2f34 Add a missing ada-nocheck Nicolas Setton 2018-06-06 19:18:13 -04:00
• 211fe5117b Add the widget_extension sphinx extension Nicolas Setton 2018-06-06 19:17:45 -04:00
• ee64aedd63 Transition the Ada course to use the widget Nicolas Setton 2018-06-06 16:10:26 -04:00
• e377840920 Use "code-config" instead of "widgetconfig" as configuration directive Nicolas Setton 2018-06-06 16:07:53 -04:00
• 7d4051ddc1 Add a :code-config: global header to the SPARK course Nicolas Setton 2018-06-06 16:07:06 -04:00
• 6e1511d03e Import the sphinx bits Nicolas Setton 2018-06-06 16:06:20 -04:00
• 62140553b4 Add the engine directory and move testing there Nicolas Setton 2018-06-06 14:44:20 -04:00
• 05a7746e2c More Ben review Raphaël AMIARD 2018-06-06 12:10:08 +02:00
• e0da4930f0 Applying Gustavo's review + minor editing Raphaël AMIARD 2018-06-06 11:57:16 +02:00
• c15907b87c Code fix Raphaël AMIARD 2018-06-05 11:07:19 +02:00
• 323fdc30ff Ben's review on 1st part of 'Strongly typed language' section Raphaël AMIARD 2018-06-02 11:22:41 +02:00
• 2b2d1d465f Merge second part of Ben's reviews Raphaël AMIARD 2018-06-01 11:12:12 +02:00
• 273bfdb281 Fix Sphinx errors & warnings Raphaël AMIARD 2018-06-05 11:26:06 +02:00
• 4e5eb27a5d Add sphinx_build for SPARK course Raphaël AMIARD 2018-06-05 11:25:50 +02:00
• 1b239b04a0 Move sphinx -> sphinx_build Raphaël AMIARD 2018-06-05 10:55:26 +02:00
• 0376e50a0b Code fix Raphaël AMIARD 2018-06-05 11:07:52 +02:00
• 3170a9e63d Add annotation to code-block Raphaël AMIARD 2018-06-05 11:07:43 +02:00
• 53234aa146 Wrap paragraph Raphaël AMIARD 2018-06-05 11:07:29 +02:00
• 7a37ae59b2 Removed subsection on string encoding and wide strings gusthoff 2018-06-02 14:34:05 +02:00
• 0ff05382e1 Revised source-code examples gusthoff 2018-06-02 19:00:25 +02:00
• 2fe9f788f9 Initial commit of writing guidelines gusthoff 2018-06-02 00:46:17 +02:00
• 2877769e16 Sphinx: treating warnings as errors gusthoff 2018-06-01 23:58:21 +02:00
• 76662fae8e Added sphinx_rtd_theme to requirements gusthoff 2018-06-01 23:26:18 +02:00
• d7bd5a209d Updated sphinx version gusthoff 2018-06-01 23:23:04 +02:00
• 9189ca1464 Removed command-line option gusthoff 2018-06-01 23:18:27 +02:00
• 27b3f2918a Initial commit of Travis CI test gusthoff 2018-06-01 20:32:14 +02:00
• 162e6d8fc0 Reviewed section on numerics gusthoff 2018-06-01 14:29:49 +02:00
• e0ab58f819 Added section on numerics gusthoff 2018-05-25 21:35:33 +02:00
• a4d3c4c7ea Editorial change: replaced references to French pages gusthoff 2018-05-25 22:25:09 +02:00
• 5edc607d93 Editorial change: corrected references gusthoff 2018-05-25 22:23:19 +02:00
• 3bcd7e715e Editorial change: corrected alignment gusthoff 2018-05-25 21:53:26 +02:00
• 5431addb49 Editorial change: removed trailing whitespace gusthoff 2018-05-25 21:40:35 +02:00
• 8df7d58d90 Add part about exception handlers Raphaël AMIARD 2018-05-24 18:00:35 +02:00
• 46631eee7d Fix code style Raphaël AMIARD 2018-05-24 17:42:38 +02:00
• 0ccf2221f4 Add ref to containers Raphaël AMIARD 2018-05-24 17:42:30 +02:00
• a0280c445c Precision about subtypes & qualified expressions Raphaël AMIARD 2018-05-24 17:36:42 +02:00
• 6746466448 Add section about refcounted types Raphaël AMIARD 2018-05-24 17:33:11 +02:00
• b403deea3a Move fw declarations of subp section downwards Raphaël AMIARD 2018-05-23 20:29:44 +02:00
• 3aebb58b08 Correct trivia about in-out params Raphaël AMIARD 2018-05-23 20:29:00 +02:00
• 1c9676cf55 Expand on Ada's great pkg system Raphaël AMIARD 2018-05-23 20:27:46 +02:00
• 6a73abaeb0 Use ada role for some literal examples Raphaël AMIARD 2018-05-23 20:13:21 +02:00
• 0d95e42381 Add definition of std string type Raphaël AMIARD 2018-05-23 20:12:39 +02:00
• 53eafc4f3a Add section on unbounded strings Raphaël AMIARD 2018-05-23 20:12:20 +02:00
• 9b2a9aac31 Add admonition about box notation Raphaël AMIARD 2018-05-23 19:50:53 +02:00
• ff1e5df73e Correct floating point examples Raphaël AMIARD 2018-05-23 19:50:12 +02:00
• 6e0af2d501 Correct standard Boolean type Raphaël AMIARD 2018-05-23 19:49:57 +02:00
• 2ea9410227 Correct part about overflows Raphaël AMIARD 2018-05-23 19:49:43 +02:00
• b9265a96bc Correct part about case expr's 'others' branch Raphaël AMIARD 2018-05-23 19:49:24 +02:00
• e5fbccc2cb Correct part about if expressions' else branch Raphaël AMIARD 2018-05-23 19:48:18 +02:00
• be19aa5d5d Correct part about elsif keyword Raphaël AMIARD 2018-05-23 19:46:44 +02:00
• 3c932159c7 Add section about SPARK Raphaël AMIARD 2018-05-23 18:08:34 +02:00
• fbe0a88d7c Newtypes -> derived types Raphaël AMIARD 2018-05-23 18:03:18 +02:00
• b5bcec48e4 Rename "Modular/structured programming" section Raphaël AMIARD 2018-05-23 17:52:22 +02:00
• 6826fbaff4 Move char enums & fixed point types Raphaël AMIARD 2018-05-23 17:51:59 +02:00
• 6f20836d18 Move section on C++ interfacing to advanced course Raphaël AMIARD 2018-05-23 17:15:42 +02:00
• 8c01e1ab56 Remove automatic deallocation section Raphaël AMIARD 2018-05-23 17:12:27 +02:00
• 96741f5568 Add get_line example & explanation Raphaël AMIARD 2018-05-23 17:04:57 +02:00
• cb5e6e57e5 Move section on if stmt Raphaël AMIARD 2018-05-23 17:03:21 +02:00
• a080e93989 Fixing a couple of typos Fabien Chouteau 2018-05-04 19:50:07 +02:00
• 1d97b03db0 Editorial change: applied word wrapping gusthoff 2018-05-19 19:38:08 +02:00
• 883e096fe9 Adapted and tested source-code examples gusthoff 2018-05-19 19:03:01 +02:00
• 53749a7413 Adapted and tested source-code examples gusthoff 2018-05-19 01:15:29 +02:00
• d242f1092d Editorial change: corrected tick gusthoff 2018-05-19 01:14:07 +02:00
• 43301e01d2 Editorial change: corrected column alignment gusthoff 2018-05-19 01:09:19 +02:00
• 775d9421d0 Added subsection on wide strings and UTF encoding gusthoff 2018-05-11 17:09:06 +02:00
• b37578c7d1 Added subsection on bounded and unbounded strings gusthoff 2018-05-11 15:56:54 +02:00
• a6266da4b1 Added subsection on fixed-length string operations gusthoff 2018-05-11 14:17:38 +02:00
• ead30ba48d Minor change: mentioning index for stream I/O gusthoff 2018-05-12 01:09:58 +02:00
• f41999d0d2 Editorial change: changed phrase gusthoff 2018-05-12 01:04:50 +02:00
• d571e38791 Added section on stream I/O gusthoff 2018-05-12 00:54:04 +02:00
• 6757a66f0e Added subsection on direct I/O gusthoff 2018-05-12 00:05:06 +02:00
• 64df97250f Added comment on appending files gusthoff 2018-05-11 23:36:32 +02:00
• 09177c7a5d Editorial change: corrected typo gusthoff 2018-05-11 23:33:12 +02:00
• 6c9500fbc8 Added subsection on sequential I/O gusthoff 2018-05-11 23:30:09 +02:00
• fbcabb8f69 Added subsection on text I/O and general file procedures gusthoff 2018-05-11 23:24:33 +02:00
• 80c44c0f9c Added section on Ada.Real_Time package gusthoff 2018-05-04 20:27:13 +02:00
• 9acd1241ca Added section on date/time handling gusthoff 2018-05-04 20:24:59 +02:00
• 2d83d3cc9b Small corrections & small section abt limited types Raphaël AMIARD 2018-05-02 15:24:46 +02:00
• a3f897a28d Update README.md Raphaël AMIARD 2018-05-02 14:40:42 +02:00
• 4f0a573dba Correct examples Raphaël AMIARD 2018-05-01 17:23:52 +02:00
• 38fad93c0e Editorial changes: using math for Big O gusthoff 2018-05-01 16:51:44 +02:00
• 1db8988f2b Added comments on complexity for sets and maps gusthoff 2018-05-01 16:41:45 +02:00
• 45c50044ea Added comments on complexity for vectors gusthoff 2018-05-01 16:20:11 +02:00
• dcb4e0432d Revised paragraph gusthoff 2018-05-01 15:13:12 +02:00
• dc9c7e696d Editorial change on source-code example gusthoff 2018-05-01 15:07:54 +02:00
• f6c9085bfd Editorial change: removed phrase gusthoff 2018-05-01 15:06:29 +02:00
• d1117d238c Editorial changes gusthoff 2018-04-29 03:17:41 +02:00
• fa90f6d055 Revised paragraph gusthoff 2018-04-29 02:53:22 +02:00
• 7a6e3e075f Editorial change gusthoff 2018-04-29 02:49:51 +02:00
• 87b6a8b49f Added section on ordered maps gusthoff 2018-04-29 02:47:15 +02:00
• a30f46ce7e Added section on hashed maps gusthoff 2018-04-29 02:23:44 +02:00
• a57c6d23c8 Minor editorial changes gusthoff 2018-04-29 01:35:36 +02:00