active 2024-08-12 → 2024-08-12 (UTC)
Complete coverage26,478 / 26,478 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-22 (UTC)
Events
35
Pushes
0
Pull requests
0
Issues
35
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 1 days from 2024-08-12 to 2024-08-12. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 35 total, peak 35 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| senier | 35 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#22senier2024-08-12 11:00[T423-013] Bug box when using -gnata and -gnateV
- Issue#21senier2024-08-12 11:00[T422-047] Importing private type with Default_Initial_Condition via Address aspect causes bugbox
- Issue#23senier2024-08-12 11:00[T423-016] Unexpected assert failure when using -gnata and -gnatVo
- Issue#20senier2024-08-12 11:00[T416-019] Expression functions with implementation in body are not in childs proof context
- Issue#18senier2024-08-12 11:00Type size check at compile time fails
- Issue#15senier2024-08-12 11:00Limited support for exponentiation in provers
- Issue#13senier2024-08-12 11:00Operations on unlinked file block forever
- Issue#12senier2024-08-12 11:00Functions returning private record with public discriminant
- Issue#11senier2024-08-12 11:00[SB30-016] String concatenation on subtype crashes gnatcheck
- Issue#3senier2024-08-12 11:00Ghost aspect causes bug box
- Issue#2senier2024-08-12 11:00[S725-017] Default parameters in generic function can trigger bug box
- Issue#48senier2024-08-12 10:59[V425-026] Ghost entities not allowed as formal generic parameters
- Issue#49senier2024-08-12 10:59[V506-037] Unexpected error when using `Inline_Always`, `-gnata` and `-gnateV`
- Issue#47senier2024-08-12 10:59Useless warning for trivial postconditions
- Issue#44senier2024-08-12 10:59Bug box when using `-gnata`
- Issue#45senier2024-08-12 10:59Warning about already use-visible object through package use clause
- Issue#46senier2024-08-12 10:59[V117-053] Stack use after scope error in universally quantified expression
- Issue#41senier2024-08-12 10:59Unexpected error for tagged types
- Issue#42senier2024-08-12 10:59Non-dispatching call to non-abstract subprogram of abstract type with non-static class-wide pre/postconditions
- Issue#38senier2024-08-12 10:59[U709-012] Set but not used after call warnings for global variables
- Issue#39senier2024-08-12 10:59[U721-031] Contracts on formal parameters of generics
- Issue#40senier2024-08-12 10:59[U803-015] Absolute path for Proof_Dir
- Issue#35senier2024-08-12 10:59[U519-020] GNAT bug caused by construction of record with array inside precondition in combination with `-gnata`
- Issue#36senier2024-08-12 10:59Access constant type cannot be used in case of implicit conversion between access type with different designated type
- Issue#37senier2024-08-12 10:59[U706-017] Return statement in the scope of local owning declaration is not yet supported
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.