The symbolic execution engine powering the K Framework
active 2024-01-17 → 2026-07-09 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 905 days from 2024-01-17 to 2026-07-09. Pushes: 640 total, peak 19 in a day. Pull requests: 182 total, peak 6 in a day. Issues: 37 total, peak 5 in a day. Comments: 293 total, peak 20 in a day. Stars: 14 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| jberthold | 709 | 245 | 91 | 184 |
| rv-jenkins | 299 | 244 | 51 | 0 |
| geo2a | 179 | 61 | 17 | 48 |
| ehildenb | 40 | 21 | 0 | 10 |
| goodlyrottenapple | 38 | 15 | 2 | 10 |
| Stevengre | 24 | 16 | 2 | 5 |
| automergerpr-permission-manager[bot] | 21 | 12 | 9 | 0 |
| rubimoutlook740-bot | 20 | 0 | 0 | 20 |
| PetarMax | 19 | 10 | 4 | 4 |
| tothtamas28 | 8 | 0 | 0 | 3 |
| coderabbitai[bot] | 7 | 0 | 0 | 5 |
| Baltoli | 6 | 3 | 1 | 1 |
| deosa-arch | 6 | 6 | 0 | 0 |
| juliankuners | 6 | 2 | 1 | 1 |
| F-WRunTime | 5 | 2 | 1 | 1 |
| github-actions[bot] | 3 | 2 | 0 | 1 |
| palinatolmach | 2 | 0 | 1 | 0 |
| loselarry | 1 | 0 | 1 | 0 |
| dwightguth | 1 | 0 | 0 | 0 |
| quatquatt | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#4156ehildenb2026-06-17 12:42Booster implies: discharge leftover consequent obligations under the antecedent via SMT
- Issue comment#3854rubimoutlook740-bot2026-04-06 09:01Improve implication endpoint in booster
- Issue comment#3854rubimoutlook740-bot2026-04-06 09:00Improve implication endpoint in booster
- Issue comment#3857rubimoutlook740-bot2026-04-06 08:56Booster's and Kore's `"implies"` endpoints disagree on a `pyk` integration test
- Issue comment#3857rubimoutlook740-bot2026-04-06 08:56Booster's and Kore's `"implies"` endpoints disagree on a `pyk` integration test
- Issue comment#3861rubimoutlook740-bot2026-04-06 08:56Improving pre-SMT reasoning capabilities
- Issue comment#3861rubimoutlook740-bot2026-04-06 08:56Improving pre-SMT reasoning capabilities
- Issue comment#3861rubimoutlook740-bot2026-04-06 08:55Improving pre-SMT reasoning capabilities
- Issue comment#3873rubimoutlook740-bot2026-04-06 08:55Non-terminating simplifications
- Issue comment#3888rubimoutlook740-bot2026-04-06 08:55Create a profiler leveraging the contextual logging
- Issue comment#3903rubimoutlook740-bot2026-04-06 08:54Treat all terms of sort `Bool` as `Predicate` in `"get-model"`
- Issue comment#3910rubimoutlook740-bot2026-04-06 08:54Make SMT timeout increase strategy configurable
- Issue comment#3948rubimoutlook740-bot2026-04-06 08:53Reasoning about remainders
- Issue comment#3948rubimoutlook740-bot2026-04-06 08:53Reasoning about remainders
- Issue comment#3948rubimoutlook740-bot2026-04-06 08:53Reasoning about remainders
- Issue comment#3972rubimoutlook740-bot2026-04-06 08:52Modify performance scripts to run with sequential prover
- Issue comment#4023rubimoutlook740-bot2026-04-06 08:52`booster-dev` crashes on simple test
- Issue comment#4034rubimoutlook740-bot2026-04-06 08:51Dynamic prelude
- Issue comment#4065rubimoutlook740-bot2026-04-06 08:49Use smart `Pattern` constructor throughout the code
- Issue comment#4138rubimoutlook740-bot2026-04-06 08:46Booster: Optimize KMap internal data structure to improve Map operation performance
- Issue comment#4138rubimoutlook740-bot2026-04-06 08:46Booster: Optimize KMap internal data structure to improve Map operation performance
- Issue comment#4140Stevengre2026-03-17 10:23booster: configurable HS-only symbols before LLVM simplify
- Issue comment#4141github-actions[bot]2026-03-12 03:10Add downstream performance workflow
- Pull request#4141Stevengre2026-03-12 03:08
- Issue comment#4140Stevengre2026-03-10 11:41booster: configurable HS-only symbols before LLVM simplify
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 14 stars here means stars gained during the window, not the repo's star count.