Logo
Explore Help
Sign In
ada/spark2014
0
0
Fork 0
You've already forked spark2014
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.1
spark2014/docs/case_study
History
Johannes Kanig 47f3c838c3 fix all pre-commit violations in spark2014 repo
2023-09-20 09:36:25 +00:00
..
doc
fix all pre-commit violations in spark2014 repo
2023-09-20 09:36:25 +00:00
ex2
[MB20-036] Correct to -ize spelling of initialize in
2013-11-20 14:52:28 +00:00
ex3
remove trailing whitespace from Ada source code
2019-01-29 13:39:27 +01:00
ex4
[L926-017] move code and docs from Altran SVN to public repository
2013-05-16 08:46:30 +01:00
ex4_proof
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
ex5
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
ex6
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
ex7
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
ex8
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
ex9
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
tokeneer
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
Powered by Gitea Page: 933ms Template: 22ms
English
English
Licenses API