Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very High Activity

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 23 hours ago.
Jan 08, 2025 — Jan 08, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'topic/toom/923-ce-diffs' into 'master'
Andres Toom
More... 1 day ago
Remove xfail and update baseline with the prover's result
Andres Toom
More... 2 days ago
Merge branch 'topic/1151-dross-array-attr' into 'master'
Claire Dross
More... 2 days ago
Merge branch 'topic/1027-dross-ghost-state' into 'master'
Claire Dross
More... 3 days ago
Accept assertion level in the grammar of Abstract_State
Claire Dross
More... 3 days ago
Introduce dereference on array attribute with simple prefix
Claire Dross
More... 3 days ago
Merge branch 'topic/kanig-copyright' into 'master'
Johannes Kanig
More... 4 days ago
Merge branch 'automated-submodule-update-23421c30' into 'master'
Johannes Kanig
More... 4 days ago
Automatic submodule commit
eng-bot
More... 4 days ago
Merge branch 'topic/kanig-merge' into 'master'
Johannes Kanig
More... 4 days ago
Merge branch 'topic/1133-dross-minor-expl-improvement' into 'master'
Claire Dross
More... 4 days ago
Update copyright info
Johannes Kanig
More... 5 days ago
Merge branch 'topic/kanig-1148-gnatformat' into 'master'
Johannes Kanig
More... 21 days ago
Merge branch 'topic/kanig-1135-alignment' into 'master'
Johannes Kanig
More... 21 days ago
Merge branch 'topic/1139-test-update' into 'master'
Claire Dross
More... 21 days ago
Merge branch 'topic/kanig-format' into 'master'
Johannes Kanig
More... 21 days ago
Remaining large test updates
Claire Dross
More... 21 days ago
Fix formatting
Johannes Kanig
More... 21 days ago
Extract sparkformat version from anod spec
Johannes Kanig
More... 21 days ago
Fix explanation for size of unconstrained arrays
Claire Dross
More... 22 days ago
Merge branch 'topic/1139-dross-internal-names' into 'master'
Claire Dross
More... 22 days ago
more testsuite updates
Johannes Kanig
More... 22 days ago
Fix incorrect fix suggestion for unknown alignment
Johannes Kanig
More... 22 days ago
Merge branch 'topic/kanig-1148-gnatformat' into 'master'
Johannes Kanig
More... 22 days ago
Merge branch 'topic/kanig-1149-master' into 'master'
Johannes Kanig
More... 22 days ago
Update large tests
Claire Dross
More... 23 days ago
Update test outputs
Claire Dross
More... 23 days ago
Update test outputs
Claire Dross
More... 23 days ago
Use pretty printing in more places
Claire Dross
More... 23 days ago
Merge branch 'topic/1133-dross-size-refactor' into 'master'
Claire Dross
More... 24 days ago