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
f17cd26a1dbdb2bfd3fd7db3fd705556cc82eaaf
spark2014/docs
History
Claire Dross f17cd26a1d Add rules to disallow UC on types with access subcomponents
Add an assumption for the allowed case and make the warning guaranteed.
2026-02-05 10:56:29 +00:00
..
architecture
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
booklet
fix all pre-commit violations in spark2014 repo
2023-09-20 09:36:25 +00:00
case_study
fix all pre-commit violations in spark2014 repo
2023-09-20 09:36:25 +00:00
develguide
Fix marking up flow developer's guide
2024-12-19 15:08:43 +01:00
flow
UA26-010 enforce python styles via flake8 and black
2021-12-16 10:26:01 +09:00
guidance
Fix spelling of functions with(out) "side effects"
2023-11-20 08:13:19 +00:00
lrm
Add rules to disallow UC on types with access subcomponents
2026-02-05 10:56:29 +00:00
marketing
Minor addition of text for Systematic competitiveness cluster
2014-04-03 16:24:57 +02:00
papers
(no-tn-check) fix various whitespace issues on the repo
2021-12-15 11:54:30 +09:00
shared
Use Boris' pagefind extension for SPARK doc
2024-10-16 11:27:24 +00:00
sphinx_support
Bump black to 25.1.0
2025-10-14 00:29:06 +00:00
ug
Add rules to disallow UC on types with access subcomponents
2026-02-05 10:56:29 +00:00
Powered by Gitea Page: 639ms Template: 12ms
English
English
Licenses API