Python tools for the K Framework
active 2024-01-17 → 2024-04-16 (UTC)
Partial coverage17,538 / 22,518 hourly files (78%) · 2 absent upstream · 4,979 failed, retryable2024-01-17 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
957
Pushes
450
Pull requests
105
Issues
10
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 91 days from 2024-01-17 to 2024-04-16. Pushes: 450 total, peak 26 in a day. Pull requests: 105 total, peak 5 in a day. Issues: 10 total, peak 3 in a day. Comments: 126 total, peak 17 in a day. Stars: 1 total, peak 1 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 |
|---|---|---|---|---|
| rv-jenkins | 296 | 249 | 46 | 0 |
| ehildenb | 189 | 48 | 15 | 67 |
| nwatson22 | 129 | 92 | 11 | 10 |
| tothtamas28 | 49 | 14 | 4 | 11 |
| PetarMax | 30 | 12 | 4 | 8 |
| lucasmt | 21 | 6 | 7 | 5 |
| jberthold | 21 | 10 | 5 | 2 |
| palinatolmach | 17 | 6 | 0 | 4 |
| Baltoli | 12 | 0 | 5 | 6 |
| anvacaru | 11 | 3 | 2 | 1 |
| gtrepta | 11 | 2 | 1 | 4 |
| virgil-serbanuta | 7 | 3 | 1 | 2 |
| Scott-Guest | 7 | 2 | 3 | 1 |
| F-WRunTime | 6 | 0 | 0 | 3 |
| yanliu18 | 3 | 0 | 0 | 1 |
| RaoulSchaffranek | 2 | 0 | 1 | 1 |
| Robertorosmaninho | 2 | 2 | 0 | 0 |
| geo2a | 1 | 1 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#960nwatson222024-04-16 03:21`Prover` no longer holds a `Proof`
- Pull request#960nwatson222024-04-16 03:21
- Issue comment#1069Baltoli2024-04-13 07:13Add separate get proof steps and execute proof step phase
- Pull request#1069Baltoli2024-04-13 07:13
- Issue comment#1043Baltoli2024-04-13 07:05Add proof exploration and display options to CLI
- Pull request#1043Baltoli2024-04-13 07:05
- Issue comment#1074Baltoli2024-04-13 06:50Generate axioms for equation rules
- Pull request#1074Baltoli2024-04-13 06:50
- Issue comment#1054Baltoli2024-04-13 06:45Use `--warnings-to-errors` in tests
- Pull request#1054Baltoli2024-04-13 06:45
- Issue comment#784Baltoli2024-04-13 06:42Expose function evaluation from KLLVM bindings
- Pull request#784Baltoli2024-04-13 06:42
- Issue#1073PetarMax2024-04-09 21:41Revisiting how branching is handled
- Pull request#1066rv-jenkins2024-04-06 10:43
- Pull request#1068rv-jenkins2024-04-05 23:43
- Issue comment#964nwatson222024-04-05 20:17Proof progresses upon reload
- Pull request#1067rv-jenkins2024-04-05 18:31
- Pull request#1068rv-jenkins2024-04-05 18:24
- Pull request#1065PetarMax2024-04-05 08:59
- Pull request#1064rv-jenkins2024-04-05 08:30
- Pull request#1063rv-jenkins2024-04-04 23:03
- Issue comment#1009PetarMax2024-03-30 19:01Further KCFG-to-KCFG transformations
- Issue comment#1051gtrepta2024-03-30 18:46Add source location information to outer parsing
- Pull request#1052gtrepta2024-03-30 18:45
- Issue#1051gtrepta2024-03-29 15:34Add source location information to outer parsing
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.