Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
Platform
GitHub Copilot
Write better code with AI
GitHub Spark
New
Build and deploy intelligent apps
GitHub Models
New
Manage and compare prompts
GitHub Advanced Security
Find and fix vulnerabilities
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Discussions
Collaborate outside of code
Code Search
Find more, search less
Explore
Why GitHub
Documentation
GitHub Skills
Blog
Integrations
GitHub Marketplace
MCP Registry
View all features
Solutions
By company size
Enterprises
Small and medium teams
Startups
Nonprofits
By use case
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
By industry
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
Topics
AI
DevOps
Security
Software Development
View all
Explore
Learning Pathways
Events & Webinars
Ebooks & Whitepapers
Customer Stories
Partners
Executive Insights
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
GitHub Advanced Security
Enterprise-grade security features
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Appearance settings
Resetting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
AdaCore
/
spark2014
Public
Notifications
You must be signed in to change notification settings
Fork
39
Star
285
Code
Issues
3
Pull requests
0
Projects
0
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Projects
Security
Insights
Commits
Branch selector
master
User selector
All users
Datepicker
All time
Commit History
Commits on Oct 8, 2025
Merge branch 'topic/toom/949-ce-array-printing' into 'master'
Show description for ddd5a56
andrestt
committed
ddd5a56
Copy full SHA for ddd5a56
Commits on Oct 7, 2025
Refine the printing of string and record values in CEs
andrestt
committed
6afc2df
Copy full SHA for 6afc2df
Commits on Oct 5, 2025
Add tests
andrestt
committed
6cbd76c
Copy full SHA for 6cbd76c
Commits on Oct 3, 2025
Merge branch 'topic/1075-dross-precise-uc' into 'master'
Show description for 8946543
clairedross
committed
8946543
Copy full SHA for 8946543
Handle component always initialized in precise UC
clairedross
committed
1e66c2d
Copy full SHA for 1e66c2d
Merge branch 'topic/dross-warning-on-ghost-code-removal' into 'master'
Show description for f64a6aa
clairedross
committed
f64a6aa
Copy full SHA for f64a6aa
Add a warning in the UG about ghost code removal
Show description for f843206
clairedross
committed
f843206
Copy full SHA for f843206
Merge branch 'topic/kanig-sessions' into 'master'
Show description for 671fc14
joffreyhuguet
committed
671fc14
Copy full SHA for 671fc14
new sessions
kanigsson
committed
93c9b59
Copy full SHA for 93c9b59
Commits on Oct 2, 2025
Merge branch 'topic/1066-dross-raise-explanations' into 'master'
Show description for bf57c9f
clairedross
committed
bf57c9f
Copy full SHA for bf57c9f
Improve explanation and reason for check on unexpected raises
clairedross
committed
bb62efa
Copy full SHA for bb62efa
Merge branch 'topic/1045-dross-raise-inlined-ghost' into 'master'
Show description for 1727587
clairedross
committed
1727587
Copy full SHA for 1727587
Prevent propagation of exceptions accross inlined subprograms
Show description for 4716f34
clairedross
committed
4716f34
Copy full SHA for 4716f34
Merge branch 'topic/1056-clochard-skip-initial-condition-from-standard-lib' into 'master'
Show description for f029b96
MartinClochardPro
committed
f029b96
Copy full SHA for f029b96
Commits on Oct 1, 2025
Treat Initial_Condition of standard library instances as Post-conditions
Show description for 6242d3e
MartinClochardPro
committed
6242d3e
Copy full SHA for 6242d3e
Merge branch 'topic/1061-dross-ghost-raises' into 'master'
Show description for 5af2362
clairedross
committed
5af2362
Copy full SHA for 5af2362
Check compatibility rules for exception propagation in ghost code
clairedross
committed
cda85d8
Copy full SHA for cda85d8
Merge branch 'topic/gitlab_pipeline_mv' into 'master'
Show description for 2135404
ptroja
committed
2135404
Copy full SHA for 2135404
Move and not copy testing results in gitlab pipe
Show description for 60354b9
ptroja
committed
60354b9
Copy full SHA for 60354b9
Merge branch 'topic/minor-test-update' into 'master'
Show description for aa52c0a
clairedross
committed
aa52c0a
Copy full SHA for aa52c0a
Minor change in CE
clairedross
authored and
kanigsson
committed
4afa5a2
Copy full SHA for 4afa5a2
Merge branch 'topic/finally_update' into 'master'
Show description for d600327
ptroja
committed
d600327
Copy full SHA for d600327
Replace e3.os.process.Run with subprocess.run
Show description for e417815
ptroja
authored and
kanigsson
committed
e417815
Copy full SHA for e417815
Rewrite "ls" support routine to not spawn the "ls" command
Show description for 96a1f4c
ptroja
authored and
kanigsson
committed
96a1f4c
Copy full SHA for 96a1f4c
Use standard python implementation of which
Show description for 94281e6
ptroja
authored and
kanigsson
committed
94281e6
Copy full SHA for 94281e6
Remove unused altergo test wrapper
ptroja
authored and
kanigsson
committed
c13dea9
Copy full SHA for c13dea9
Commits on Sep 30, 2025
Merge branch 'topic/none-huguet-update-tests' into 'master'
Show description for 86ff05e
joffreyhuguet
committed
86ff05e
Copy full SHA for 86ff05e
Update discovery test
joffreyhuguet
committed
596a2c9
Copy full SHA for 596a2c9
Update session files
joffreyhuguet
committed
e424514
Copy full SHA for e424514
Merge branch 'topic/1041-dross-hashed-sets' into 'master'
Show description for eeebbbc
clairedross
committed
eeebbbc
Copy full SHA for eeebbbc
Update hashed_sets test
Show description for ddd8173
clairedross
committed
ddd8173
Copy full SHA for ddd8173
Merge branch 'topic/kanig-1060-co' into 'master'
Show description for 3c482cc
kanigsson
committed
3c482cc
Copy full SHA for 3c482cc
Change cache location to a temp folder
kanigsson
committed
218c9f4
Copy full SHA for 218c9f4
Commits on Sep 25, 2025
Merge branch 'topic/none-huguet-update-tests' into 'master'
Show description for 9b2dd3e
joffreyhuguet
committed
9b2dd3e
Copy full SHA for 9b2dd3e
Commits on Sep 24, 2025
Update Windows test output
joffreyhuguet
committed
010eb1f
Copy full SHA for 010eb1f
Pagination
Previous
Next
You can’t perform that action at this time.
