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

• 0b9ce507de Merging learn_theme with learn_theme_2 Robert Tice 2018-07-03 13:56:13 -04:00
• 8c6d639a23 Adding gitignore to ignore build artifacts. Robert Tice 2018-07-03 10:38:54 -04:00
• 2614506396 Merging upstream commits with local changes. Robert Tice 2018-07-03 10:34:52 -04:00
• cf998d67f9 Rearranging sphinx build hierarchy. Adding Ada for C++ book. Working on adding css to learn_theme. Robert Tice 2018-07-03 10:34:44 -04:00
• 8ee37c716f Review the runnable examples Nicolas Setton 2018-07-03 10:34:40 -04:00
• ac58b2369c Merge pull request #42 from AdaCore/topic/richard Nicolas Setton 2018-06-29 20:31:01 -04:00
• 71e002d2b4 Reflect Nico's comments Richard Kenner 2018-06-29 17:37:54 -04:00
• 979f263768 Edit of standard_library Richard Kenner 2018-06-29 16:18:43 -04:00
• ccec8fb3d7 Initial commit of chapter on type contracts gusthoff 2018-06-29 20:26:42 +02:00
• 3ac79e32c9 Initial commit of chapter on subprogram contracts gusthoff 2018-06-29 20:26:27 +02:00
• c0450e0261 Initial commit of index of the advanced SPARK course gusthoff 2018-06-29 20:25:47 +02:00
• 8dfa61b7a9 Merge pull request #41 from AdaCore/topic/review_runnable_examples_before_generics Nicolas Setton 2018-06-29 13:27:42 -04:00
• b24f7a67ed Merge pull request #40 from AdaCore/topic/richard Gustavo A. Hoffmann 2018-06-29 17:12:55 +02:00
• cfe00588b0 Add 'no_button' on code blocks that aren't meant to run Nicolas Setton 2018-06-29 10:59:30 -04:00
• 35fce142a6 Add a 'no_button' code:: parameter Nicolas Setton 2018-06-29 10:58:49 -04:00
• b1a9a0b961 Reflect comments from Gustavo Richard Kenner 2018-06-29 08:33:49 -04:00
• e0c400a34a Editorial changes. gusthoff 2018-06-29 14:15:49 +02:00
• 1a1abf0b60 Editorial changes. gusthoff 2018-06-29 13:50:49 +02:00
• 81ecda1ae8 Wordsmith appendices Richard Kenner 2018-06-27 17:48:06 -04:00
• f3ea56dfef Wordsmith OOP chapter Richard Kenner 2018-06-27 17:45:21 -04:00
• fb8d3ceb98 Wordsmithing of interfacing with C chapter Richard Kenner 2018-06-26 18:43:46 -04:00
• 90c59cfcf7 Wordsmithing Constracts chapter Richard Kenner 2018-06-24 15:30:19 -04:00
• ccb3e290e5 Wordsmith tasking chapter Richard Kenner 2018-06-23 11:07:40 -04:00
• 22c8040fe5 Fix markup Richard Kenner 2018-06-22 21:26:46 -04:00
• 43507d1eee Merge pull request #39 from yannickmoy/master yannickmoy 2018-06-22 17:09:38 +02:00
• 0242ed6f9d feedback from Gustavo Yannick Moy 2018-06-22 11:46:00 +02:00
• 01b1e7e32a Edit exceptions chapter Richard Kenner 2018-06-21 11:59:27 -04:00
• fb4e7af6b5 Edited generics chapter Richard Kenner 2018-06-21 11:47:15 -04:00
• 58bac12c1f Feedback from Boris Yannick Moy 2018-06-21 17:03:20 +02:00
• b8ccdd6b10 Take Claire's comments into account Yannick Moy 2018-06-21 12:56:24 +02:00
• 1569f198f6 Use the template "Inline Code" always Nicolas Setton 2018-06-20 14:31:37 -04:00
• f19a162354 Preserve the order of files in example snippets Nicolas Setton 2018-06-20 13:19:29 -04:00
• 3ec98747f2 Merge pull request #36 from yannickmoy/master Nicolas Setton 2018-06-20 18:06:23 +01:00
• 0b4078d1c7 Address Claire's comments Yannick Moy 2018-06-20 09:02:46 +02:00
• 91a256f515 Merge pull request #35 from AdaCore/topic/engine_support_for_spark yannickmoy 2018-06-19 15:10:40 +02:00
• d4dc672475 Merge pull request #34 from yannickmoy/master Nicolas Setton 2018-06-19 13:41:57 +01:00
• b76e8e4a9c Add intro to the cool run/analyze widget Yannick Moy 2018-06-18 22:44:56 +02:00
• d6730c4172 Various fixes seen on great-great-great live version!!! Yannick Moy 2018-06-18 22:12:29 +02:00
• 85d6d0f3d7 Re-add support of the Run button Nicolas Setton 2018-06-18 15:43:40 -04:00
• 849e0cca09 Parse the code: arguments for SPARK mode keywords Nicolas Setton 2018-06-18 14:28:35 -04:00
• aa8fa5bb7a Adjust test driver Nicolas Setton 2018-06-18 13:43:49 -04:00
• 26bbeba0b0 Split the Ada course into one chapter per file Nicolas Setton 2018-06-18 13:34:32 -04:00
• 290855cd66 Merge pull request #29 from AdaCore/topic/more-work Nicolas Setton 2018-06-18 16:45:52 +01:00
• 11f53ec6ee Fix travis.yml Raphaël AMIARD 2018-06-16 22:19:14 +02:00
• cfb89efe8f Fix every test errors in SPARK courses Raphaël AMIARD 2018-06-16 22:10:50 +02:00
• 36a6f06801 Use proper sphinx error handling in sphinx exts Raphaël AMIARD 2018-06-16 22:11:44 +02:00
• 0d28a1bed4 Add code config directive to contracts.rst Raphaël AMIARD 2018-06-16 22:11:28 +02:00
• 22363c5008 Enable assertions in test runner Raphaël AMIARD 2018-06-16 22:16:01 +02:00
• fb06322f42 Fix spark errors fixup Raphaël AMIARD 2018-06-16 22:15:24 +02:00
• 90243a578a Convert use of ada-nocheck class into code-blocks Raphaël AMIARD 2018-06-14 18:19:25 +02:00
• 533dbea30c Add very basic footer to RTD template Raphaël AMIARD 2018-06-14 18:12:16 +02:00
• ade24d8a6f Remove individual sphinx builds for courses Raphaël AMIARD 2018-06-14 17:53:26 +02:00
• 9ec74b9bf4 Migrate to RTD based theme Raphaël AMIARD 2018-06-14 17:52:48 +02:00
• 5654577a20 Rewrap paragraphs Raphaël AMIARD 2018-06-14 17:34:06 +02:00
• 3c3bb81b8f Further edits on top of last of Ben's reviews Raphaël AMIARD 2018-06-14 17:25:27 +02:00
• 1001b115fb Various fixes Raphaël AMIARD 2018-06-14 17:25:07 +02:00
• 24fa224887 Last batch of Ben's reviews Raphaël AMIARD 2018-06-14 15:21:35 +02:00
• 3f4a45c343 Further incorporation of Ben review Raphaël AMIARD 2018-06-14 15:13:55 +02:00
• 56e227a06e Style fixes Raphaël AMIARD 2018-06-14 11:37:01 +02:00
• d6756aad9a Add check all file to lvimrc Raphaël AMIARD 2018-06-14 11:36:21 +02:00
• a7d7fa37a8 Always check for syntax Raphaël AMIARD 2018-06-12 18:35:33 +02:00
• b3487a1cbe Various fixes to the test runner Raphaël AMIARD 2018-06-12 18:35:22 +02:00
• 4320556166 Remove -A flag Raphaël AMIARD 2018-06-12 18:34:25 +02:00
• f06d007a48 Minor rework of index files Raphaël AMIARD 2018-06-12 18:34:15 +02:00
• 41c07140ed Fix some examples in the Ada course Raphaël AMIARD 2018-06-12 18:33:56 +02:00
• 9cc57cf954 Address review comment Yannick Moy 2018-06-16 13:43:43 +02:00
• 33e5b1a9cb Address review comments Yannick Moy 2018-06-15 23:14:09 +02:00
• 5d69aeeb0b adjust examples Yannick Moy 2018-06-15 15:11:12 +02:00
• aa9ec94b62 Add reference Yannick Moy 2018-06-15 15:09:14 +02:00
• b2a7267850 Second pass on functional correctness Yannick Moy 2018-06-15 15:08:52 +02:00
• aa82af2df6 Second pass on abstract state Yannick Moy 2018-06-15 14:23:56 +02:00
• 5affe6259b Second pass on proof of integrity Yannick Moy 2018-06-14 17:59:56 +02:00
• 66d0746d5c Second pass on flow analysis section Yannick Moy 2018-06-13 11:07:59 +02:00
• 60a17c82fe Second pass on overview section Yannick Moy 2018-06-13 09:27:00 +02:00
• 4319e4a8b4 Added paragraph on quantified expressions gusthoff 2018-06-15 20:18:19 +02:00
• eb94e070ca Added comment on GNAT and configuration pragmas gusthoff 2018-06-15 19:42:13 +02:00
• f93b3b9bcf Mentioning promisses for pre- and postconditions. gusthoff 2018-06-15 19:30:53 +02:00
• 90d118e53d Editorial change: adapted source-code style gusthoff 2018-06-15 19:24:40 +02:00
• f35baa354c Moved subsection on type invariants gusthoff 2018-06-15 19:10:55 +02:00
• 4d0073a6a5 Editorial changes gusthoff 2018-06-09 01:05:53 +02:00
• d7fed3d486 Mentioning instances of Assertion_Policy pragma gusthoff 2018-06-09 00:47:04 +02:00
• 7dcc85c1ab Added section on predicates gusthoff 2018-06-09 00:42:47 +02:00
• 45b4fe60dc Added section on type invariants gusthoff 2018-06-08 23:33:21 +02:00
• c736a45244 Added section on pre and postconditions gusthoff 2018-06-08 23:32:41 +02:00
• 6a9234be78 Makefile fixes Raphaël AMIARD 2018-06-12 15:04:43 +02:00
• 3cbeb852a8 Enhance test runner to take global config into account Raphaël AMIARD 2018-06-12 15:04:29 +02:00
• d18a1ecf7e Annotate some SPARK examples Raphaël AMIARD 2018-06-12 15:04:13 +02:00
• a892edb21d Adapt headers Raphaël AMIARD 2018-06-12 15:03:59 +02:00
• 772508ec89 Adapt base index Raphaël AMIARD 2018-06-12 15:03:44 +02:00
• 52f6d8a4c8 Move base index.rst Raphaël AMIARD 2018-06-12 15:03:24 +02:00
• ecc1b15b75 Cleanup compile_blocks.py Raphaël AMIARD 2018-06-12 12:43:50 +02:00
• 1b41ff2f63 Fix spark course Raphaël AMIARD 2018-06-12 12:43:32 +02:00
• 0dab3db66c Move lvimrc Raphaël AMIARD 2018-06-12 12:42:52 +02:00
• 51e1a7e177 intro to ada index Raphaël AMIARD 2018-06-12 12:01:25 +02:00
• a9ce6f2cb0 Move old adacoreu content + some Makefile hackery Raphaël AMIARD 2018-06-12 12:01:07 +02:00
• 3cc336dc3b Address Gustavo and Raph's comment on access & pointers Yannick Moy 2018-06-07 15:17:03 +02:00
• 67ec4251cc Cleanup section on functional proof Yannick Moy 2018-06-07 15:00:27 +02:00
• 24f6fbf445 Cleanup of section on abstract state Yannick Moy 2018-06-06 16:39:28 +02:00
• 91ba5ce802 Cleanup over the proof of integrity module Yannick Moy 2018-06-05 17:36:09 +02:00
• f56ac1b04f Cleanup pass over flow analysis module Yannick Moy 2018-06-05 15:46:04 +02:00