Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very High Activity

Commits : Listings

Analyzed about 6 hours ago. based on code collected 1 day ago.
Sep 10, 2025 — Sep 10, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'mr/kanig/testsuite' into 'master'
Johannes Kanig
More... 2 days ago
Merge branch 'mr/kanig/1453-reproducer' into 'master'
Piotr Trojanek
More... 2 days ago
Merge branch 'mr/kanig/774-tests' into 'master'
Johannes Kanig
More... 2 days ago
Remove spurious messages about inlining of recursive subprograms
Johannes Kanig
More... 2 days ago
Fix tests that were violating new SPARK_Mode rule
Johannes Kanig
More... 2 days ago
File test with crash in up-projecting a magic string
Johannes Kanig
More... 2 days ago
Merge branch 'mr/trojanek/relaxed_unchecked_union' into 'master'
Piotr Trojanek
More... 3 days ago
Merge branch 'topic/whitespace_cleanup' into 'master'
Piotr Trojanek
More... 3 days ago
Merge branch 'topic/dead_if_logic' into 'master'
Piotr Trojanek
More... 4 days ago
Merge branch 'revert-5f26132c' into 'master'
Johannes Kanig
More... 4 days ago
Merge branch 'automated-submodule-update-58be01d9' into 'master'
Johannes Kanig
More... 4 days ago
Automatic submodule commit
eng-bot
More... 4 days ago
Move detection of non-executable code to GNAT frontend
Piotr Trojanek
More... 5 days ago
Merge branch 'mr/dross/1452-inline-for-proof' into 'master'
Claire Dross
More... 5 days ago
Remove redundant check for Original_Node being present
Piotr Trojanek
More... 5 days ago
Merge branch 'mr/dross/754-loop-index-ce-array' into 'master'
Claire Dross
More... 5 days ago
Allow logical equality function in post of inline for proof
Claire Dross
More... 5 days ago
Revert "Merge branch 'mr/kanig/1451-test' into 'master'"
Johannes Kanig
More... 5 days ago
Merge branch 'mr/kanig/1450-overlay-unused-record' into 'master'
Johannes Kanig
More... 5 days ago
Merge branch 'mr/kanig/1451-test' into 'master'
Johannes Kanig
More... 5 days ago
File test
Johannes Kanig
More... 5 days ago
Fix typo in description of handling of unchecked unions
Piotr Trojanek
More... 5 days ago
Fix infinite recursion on overlays of abstracted record types
Johannes Kanig
More... 8 days ago
Merge branch 'mr/clochard/1058-fun-side-effects-add-elsif' into 'master'
Martin Clochard
More... 9 days ago
Add support for call to function with side effects in elsif conditions
Martin Clochard
More... 9 days ago
Merge branch 'mr/kanig/1447-drivers' into 'master'
Johannes Kanig
More... 9 days ago
Merge branch 'automated-submodule-update-92e3349c' into 'master'
Johannes Kanig
More... 9 days ago
Automatic submodule commit
eng-bot
More... 9 days ago
Merge branch 'mr/dross/754-loop-index-ce' into 'master'
Claire Dross
More... 10 days ago
Merge branch 'automated-submodule-update-d3f66b8e' into 'master'
Claire Dross
More... 10 days ago