issues
search
AdaCore
/
learn
Sources for learn.adacore.com
https://learn.adacore.com
Creative Commons Attribution 4.0 International
92
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump braces from 3.0.2 to 3.0.3 in /frontend
#1061
dependabot[bot]
closed
2 months ago
1
Frontend: using "fullhash"
#1060
gusthoff
closed
3 months ago
0
Frontend: yarn 4.2.2 upgrade
#1059
gusthoff
closed
3 months ago
0
Editorial changes: preparing chapter on limited types for publication
#1058
gusthoff
closed
3 months ago
0
Python: updating some packages
#1057
gusthoff
closed
3 months ago
0
Frontend: adaptations to new eslint-plugin-jsdoc package
#1056
gusthoff
closed
3 months ago
0
Frontend: upgrading yarn packages
#1055
gusthoff
closed
3 months ago
0
Frontend: upgrading to Node.js 20
#1054
gusthoff
closed
3 months ago
0
Bump requests from 2.31.0 to 2.32.0 in /frontend
#1053
dependabot[bot]
closed
3 months ago
0
Adding section on default initialization of records
#1052
gusthoff
closed
3 months ago
0
Adding section on immutably limited types
#1051
gusthoff
closed
3 months ago
0
Startling name of chapter in "Introduction to SPARK": "Initialization of Local Variables"
#1050
mgrojo
opened
4 months ago
0
Info messages are highlighted as errors when they have a reference to a second line and column numbers
#1049
mgrojo
opened
4 months ago
0
Improving CHANGELOG
#1048
gusthoff
closed
4 months ago
0
Adding section on subtypes of limited types
#1047
gusthoff
closed
3 months ago
0
enhance our guidelines for safe and secure Ada SPARK to reference CWE
#1046
brobecke
closed
1 month ago
3
Bump jinja2 from 3.1.3 to 3.1.4 in /frontend
#1045
dependabot[bot]
closed
3 months ago
1
Review chapter: "Limited Types"
#1044
gusthoff
closed
3 months ago
0
Adding chapter: "Interrupt Handling"
#1043
gusthoff
closed
3 months ago
0
Editorial changes: "Limited Types" chapter
#1042
gusthoff
closed
4 months ago
0
Inconsistent content between "Verification Method" and "Notes"
#1041
brobecke
opened
4 months ago
1
Editorial change: reworking list of credits
#1040
gusthoff
closed
4 months ago
0
Revert "Editorial change: moving section"
#1039
gusthoff
closed
4 months ago
0
Frontend: upgrading yarn packages
#1038
gusthoff
closed
4 months ago
0
Python: updating some packages
#1037
gusthoff
closed
4 months ago
0
Widget: include SPARK project in downloaded zip file
#1036
gusthoff
closed
4 months ago
0
Editorial change: moving section: "default initialization"
#1035
gusthoff
closed
4 months ago
0
Adding section on finalization of controlled types
#1034
gusthoff
closed
1 month ago
0
Improvements to section on per-object expressions
#1033
gusthoff
closed
4 months ago
1
Use "local units" instead of "subunits" in explanation
#1032
gusthoff
closed
5 months ago
1
Various improvements to chapter on limited types
#1031
gusthoff
closed
5 months ago
0
Bump idna from 3.6 to 3.7 in /frontend
#1030
dependabot[bot]
closed
4 months ago
2
Editorial change: adding course to the list for publication
#1029
gusthoff
closed
5 months ago
0
Editorial change: preparing new course for publication
#1028
gusthoff
closed
5 months ago
0
GitHub actions: using automatic trigger on push
#1027
gusthoff
closed
5 months ago
0
GitHub actions: dummy version of publish-learn-latest
#1026
gusthoff
closed
5 months ago
0
Use "local units" instead of "subunits" in explanation
#1025
yannickmoy
closed
5 months ago
3
Bump pillow from 10.2.0 to 10.3.0 in /frontend
#1024
dependabot[bot]
closed
5 months ago
1
Frontend: upgrading yarn packages
#1023
gusthoff
closed
5 months ago
0
Python: updating some packages
#1022
gusthoff
closed
5 months ago
0
Python script to generate a rules file from the RST files
#1021
frank-at-adacore
closed
5 months ago
6
SPARK Overiew: downloaded examples do not contain SPARK_Mode in main.adc
#1020
mgrojo
closed
4 months ago
4
Bump express from 4.18.1 to 4.19.2 in /frontend
#1019
dependabot[bot]
closed
5 months ago
1
Adding section on assignments for controlled types
#1018
gusthoff
closed
5 months ago
0
Editorial change: chapter on controlled types
#1017
gusthoff
closed
5 months ago
0
Bump webpack-dev-middleware from 7.0.0 to 7.1.1 in /frontend
#1016
dependabot[bot]
closed
5 months ago
1
Use a more compact layout for the front page ebook covers
#1015
Fabien-Chouteau
closed
5 months ago
1
Bump follow-redirects from 1.15.4 to 1.15.6 in /frontend
#1014
dependabot[bot]
closed
5 months ago
1
Editorial change: improving diagrams and correcting code snippets
#1013
gusthoff
closed
6 months ago
0
Adding section on initialization of controlled types
#1012
gusthoff
closed
6 months ago
0
Previous
Next