mirror of
https://github.com/AdaCore/learn.git
synced 2026-02-12 13:00:42 -08:00
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
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
-
ecf2bcc90b
Editorial change: adding new chapter to the list
gusthoff
2024-02-02 17:35:23 -03:00 -
fe0f03474f
Merge pull request #991 from gusthoff/content/advanced_ada/review/editorial/structure/20240202
Gustavo A. Hoffmann
2024-02-02 21:31:25 +01:00 -
d4c7b7d545
Merge pull request #976 from serock/javaexample
Gustavo A. Hoffmann
2024-02-02 21:28:50 +01:00 -
f69a317c69
Editorial changes: new chapter on controlled types
gusthoff
2024-02-02 11:50:01 -03:00 -
8fe0024519
Merge pull request #990 from gusthoff/content/intro_to_ada/review/editorial/general/20240131/strlcpy
r2024.01.31
Gustavo A. Hoffmann
2024-02-02 12:03:17 +01:00 -
2783927cc5
Editorial change: renaming strlcpy
gusthoff
2024-02-01 00:13:43 -03:00 -
00e03a708d
Merge pull request #989 from gusthoff/topic/infrastructure/vagrant/20240131
Gustavo A. Hoffmann
2024-02-02 11:59:12 +01:00 -
b7370d62da
Vagrant VM: updating Ubuntu box version
gusthoff
2024-02-01 00:09:12 -03:00 -
8152369523
Merge pull request #979 from AdaCore/dependabot/npm_and_yarn/frontend/follow-redirects-1.15.4
Gustavo A. Hoffmann
2024-01-27 13:46:50 +01:00 -
461ebf4239
Merge pull request #988 from gusthoff/topic/infrastructure/sphinx/updates/20240126
Gustavo A. Hoffmann
2024-01-27 04:56:47 +01:00 -
7b7f15aa45
Python: updating some packages
gusthoff
2024-01-26 22:56:10 -03:00 -
ffa56ad8a9
Merge pull request #987 from gusthoff/topic/infrastructure/yarn/updates/20240126
Gustavo A. Hoffmann
2024-01-27 01:59:47 +01:00 -
0aa0328df6
Frontend: upgrading yarn packages
gusthoff
2024-01-26 20:32:17 -03:00 -
b17abd8acd
Frontend: upgrading yarn packages
gusthoff
2024-01-26 20:20:45 -03:00 -
4fc196e5c7
Merge pull request #984 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/user-defined_storage_pools_policy/20240119
Gustavo A. Hoffmann
2024-01-20 01:17:59 +01:00 -
b2d8bb1597
Merge pull request #985 from gusthoff/content/advanced_ada/new_content/memory_management/storage_elements/20240119
Gustavo A. Hoffmann
2024-01-19 22:46:37 +01:00 -
4d419a3103
Minor change: better wording
gusthoff
2024-01-19 21:24:55 +01:00 -
3bc490d230
Adding another comment about arrays and non-contiguous blocks
gusthoff
2024-01-19 19:49:43 +01:00 -
98be35da2e
Mentioning enforcement by specifying Default_Storage_Pool
gusthoff
2024-01-19 19:13:16 +01:00 -
44259ae774
Merge pull request #983 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/structure/20240119
Gustavo A. Hoffmann
2024-01-19 16:54:06 +01:00 -
1841be37e2
Editorial change: extending list of authors
gusthoff
2024-01-19 15:46:28 +01:00 -
8d9322e3a9
Merge pull request #982 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/structure/20240119
Gustavo A. Hoffmann
2024-01-19 15:42:26 +01:00 -
b40a585ff1
Editorial change: removing "Guidelines" layer
gusthoff
2024-01-19 12:50:54 +01:00 -
79cbb5353b
Editorial change: renaming chapters
gusthoff
2024-01-19 12:44:01 +01:00 -
96081347b9
Editorial change: removing annex
gusthoff
2024-01-19 12:40:36 +01:00 -
7ef45b1d5d
Merge pull request #981 from gusthoff/topic/infrastructure/review/editorial/general/20240113/sphinx
Gustavo A. Hoffmann
2024-01-13 03:57:49 +01:00 -
ced6fc43a9
Editorial change: hiding course
gusthoff
2024-01-13 03:07:36 +01:00 -
aba4163ed3
Sphinx: correcting extlink
gusthoff
2024-01-13 03:07:09 +01:00 -
c9f1f8f38f
Sphinx: replacing URLs by extlinks
gusthoff
2024-01-13 03:06:55 +01:00 -
96097cef3e
Sphinx: updating/correcting URLs
gusthoff
2024-01-13 03:05:50 +01:00 -
149f32529b
Sphinx: updating copyright year
gusthoff
2024-01-13 03:05:33 +01:00 -
739992de71
Merge pull request #912 from AdaCore/coding_standards
Gustavo A. Hoffmann
2024-01-13 01:41:46 +01:00 -
f47ae85327
Editorial change: including author's name
coding_standards
gusthoff
2024-01-12 22:11:10 +01:00 -
1a83c346c3
E-books: adding conf.ini file
gusthoff
2024-01-12 22:10:29 +01:00 -
ad37b795c8
Removing deprecated file
gusthoff
2024-01-12 22:09:03 +01:00 -
694a6b6b53
Sphinx: new extlink: gnat_ugn_url
gusthoff
2024-01-12 20:49:10 +01:00 -
341e1f66bb
SCSS: enhancing color for new Sphinx "switch" role
gusthoff
2024-01-12 20:24:13 +01:00 -
cafcd198e5
Editorial change: standard warning about learn-sandbox
gusthoff
2024-01-12 20:17:36 +01:00 -
bb37af09be
Editorial change: updating references
gusthoff
2024-01-12 19:50:36 +01:00 -
8b152424da
Editorial change: Sphinx: using "ada" role
gusthoff
2024-01-12 19:49:53 +01:00 -
ed7b2997fe
Editorial change: using extlinks for references
gusthoff
2024-01-12 19:19:41 +01:00 -
9f8168028a
Editorial change: including "global.txt" file
gusthoff
2024-01-12 15:20:41 +01:00 -
80043f308e
Editorial change: removing duplicated "global.txt" file
gusthoff
2024-01-12 14:32:26 +01:00 -
ea19f0fb15
Editorial change: correcting name of e-book files
gusthoff
2024-01-12 14:05:58 +01:00 -
7bd8c6249c
Updating copyright year
gusthoff
2024-01-12 14:05:31 +01:00 -
5fb3b43be6
Add "Remediation" to definitions
Michael Frank
2023-11-15 14:55:01 -05:00 -
583f0612bd
prepositions and articles should be lower case
Michael Frank
2023-11-15 11:02:32 -05:00 -
baada43e32
First batch of fixes based on review
Michael Frank
2023-11-15 10:25:46 -05:00 -
1423bf68d0
Fix where roles are defined
Michael Frank
2023-10-17 17:27:14 -04:00 -
e5a3a11b26
Fix location of coding standards
Michael Frank
2023-10-17 16:44:08 -04:00 -
a244e19f82
remove unnecessary directory
Michael Frank
2023-10-17 16:41:04 -04:00 -
6d51584b08
Remove documentation license annex
Michael Frank
2023-10-17 16:25:08 -04:00 -
b77d4d9be3
Move coding standards into appropriate folder/location
Michael Frank
2023-10-17 16:20:39 -04:00 -
4053d11e67
Use "arm" role
Michael Frank
2023-10-16 10:40:23 -04:00 -
da174e05ff
Update index.rst
Michael Frank
2023-10-13 15:53:07 -04:00 -
b77328489c
Remove only "code::" line
Michael Frank
2023-10-13 15:30:43 -04:00 -
718409255d
Initial copy of Ada coding standards
Michael Frank
2023-07-24 14:29:56 -04:00 -
3978a4018f
Bump follow-redirects from 1.14.8 to 1.15.4 in /frontend
dependabot[bot]
2024-01-09 17:45:40 +00:00 -
ba57372655
Merge pull request #978 from gusthoff/content/ada_idioms/review/editorial/structure/20240106
Gustavo A. Hoffmann
2024-01-06 03:44:24 +01:00 -
add5b1fc95
Editorial change: renaming chapter
gusthoff
2024-01-06 00:45:40 +01:00 -
6967eee52a
Merge pull request #977 from gusthoff/content/ada_idioms/review/editorial/structure/20240105
Gustavo A. Hoffmann
2024-01-05 23:18:05 +01:00 -
1ca1ccb0b5
Editorial change: removing trailing whitespaces
gusthoff
2024-01-05 20:33:49 +01:00 -
d827707c13
Editorial change: adding todo item
gusthoff
2024-01-05 20:33:09 +01:00 -
016519796e
Editorial change: "problem statement" => "motivation"
gusthoff
2024-01-05 20:32:57 +01:00 -
48c4a877d0
Editorial change: moving ADT/ADM to separate chapters
gusthoff
2024-01-05 20:24:27 +01:00 -
943b8f61fc
Editorial change: renaming sections
gusthoff
2024-01-05 20:17:42 +01:00 -
f1e15cc199
Renaming chapter: "Fundamental" => "Essential"
gusthoff
2024-01-05 19:37:05 +01:00 -
b492675b7d
Fix Java example code
John Serock
2023-12-31 13:28:20 -05:00 -
7d440d2e1e
Merge pull request #971 from gusthoff/content/advanced_ada/new_content/memory_management/storage_elements/20231223
r2023.12.30
Gustavo A. Hoffmann
2023-12-30 20:25:44 +01:00 -
dc96df06d7
Merge pull request #975 from gusthoff/topic/infrastructure/review/editorial/general/20231230/hidden_content_fix
Gustavo A. Hoffmann
2023-12-30 04:25:09 +01:00 -
c64492d27e
Editorial change: updating list of hidden files
gusthoff
2023-12-30 04:24:29 +01:00 -
9bf5e3b2c6
Merge pull request #974 from gusthoff/topic/infrastructure/review/editorial/general/20231229/sandbox_logo
Gustavo A. Hoffmann
2023-12-29 19:02:58 +01:00 -
ae7200bb4f
Editorial change: adding warning about unpublished contents
gusthoff
2023-12-29 18:57:42 +01:00 -
fce8b63ce4
Sphinx: using different HTML title for sandbox
gusthoff
2023-12-29 18:49:45 +01:00 -
dc34c67677
Sphinx: using different logo for sandbox
gusthoff
2023-12-29 18:49:17 +01:00 -
b8bb0329f5
Adding admonition about contiguous blocks
gusthoff
2023-12-29 15:50:45 +01:00 -
cfd58d6649
Minor change: being more specific about Storage_Offset
gusthoff
2023-12-29 15:50:15 +01:00 -
8b9baf8313
Editorial change: correcting grammar
gusthoff
2023-12-29 15:49:25 +01:00 -
488b480958
Merge pull request #972 from gusthoff/topic/infrastructure/review/editorial/general/20231223/warning_unpublished
Gustavo A. Hoffmann
2023-12-24 16:42:41 +01:00 -
ab5d046e93
Merge pull request #973 from pat-rogers/master
Gustavo A. Hoffmann
2023-12-24 13:02:23 +01:00 -
5d6b9270d9
remove extra blank char from code. clarify why both ADTs need a discrim designating a USART
Pat Rogers
2023-12-23 18:31:49 -06:00 -
0b9827f4d0
Editorial change: adding warning about unpublished contents
gusthoff
2023-12-23 02:57:33 +01:00 -
8267274e62
Adding section: Storage Elements
gusthoff
2023-12-23 02:47:41 +01:00 -
1fcaca137f
Editorial change: changing project name of code examples
gusthoff
2023-12-23 02:47:00 +01:00 -
50a83f2879
Editorial change: specifying size in bits
gusthoff
2023-12-23 02:46:35 +01:00 -
cbcd45a7c8
Adding admonition on storage elements
gusthoff
2023-12-23 02:45:50 +01:00 -
1b9d64bf2e
Merge pull request #970 from gusthoff/content/advanced_ada/review/editorial/structure/20231222
Gustavo A. Hoffmann
2023-12-22 20:50:39 +01:00 -
fcf25cca5f
Merge pull request #969 from pat-rogers/master
Gustavo A. Hoffmann
2023-12-22 19:16:25 +01:00 -
a13a0b3113
Editorial change: moving unpublished part into separate course entry
gusthoff
2023-12-22 19:03:38 +01:00 -
780eaf693d
misc refinements and a typo
Pat Rogers
2023-12-21 18:19:03 -06:00 -
6b8bbf1717
Merge pull request #967 from gusthoff/content/ada_idioms/review/editorial/component_access_enclosing_rec_objs/20231221
Gustavo A. Hoffmann
2023-12-22 00:32:44 +01:00 -
7ce263ebc7
Merge pull request #965 from gusthoff/content/advanced_ada/new_content/memory_management/maximum_allocation_size_alignment/20231216
Gustavo A. Hoffmann
2023-12-22 00:32:38 +01:00 -
4bb5ae95e7
Merge pull request #968 from gusthoff/topic/infrastructure/compile_blocks/20231221/zipfile_fix
Gustavo A. Hoffmann
2023-12-22 00:32:21 +01:00 -
79e3bd6207
Makefile: minor fix to output ZIP file
gusthoff
2023-12-21 18:49:45 +01:00 -
e949586e80
Editorial change: moving admonition
gusthoff
2023-12-21 13:24:47 +01:00 -
f7c90d2e66
Mentioning the new allocator
gusthoff
2023-12-21 13:15:02 +01:00 -
544e9210d9
Mentioning System.Storage_Pools package
gusthoff
2023-12-21 13:14:29 +01:00 -
f2c8407c3e
Editorial changes: applying 80-column limit
gusthoff
2023-12-21 13:11:11 +01:00 -
a9fb9d5244
Editorial change: removing temporary entry
gusthoff
2023-12-21 13:03:57 +01:00 -
e14048f35a
Minor editorial change
gusthoff
2023-12-21 13:01:34 +01:00