active 2023-09-16 → 2025-11-05 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 782 days from 2023-09-16 to 2025-11-05. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 28 total, peak 4 in a day. Comments: 30 total, peak 6 in a day. Stars: 0 total, peak 0 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 |
|---|---|---|---|---|
| mikucionisaau | 20 | 0 | 0 | 13 |
| magoorden | 6 | 0 | 0 | 4 |
| rgu01 | 5 | 0 | 0 | 4 |
| wzqvip | 3 | 0 | 0 | 1 |
| Lqs66 | 3 | 0 | 0 | 0 |
| AsgerHB | 2 | 0 | 0 | 1 |
| apferscher | 2 | 0 | 0 | 2 |
| thorulf4 | 2 | 0 | 0 | 2 |
| GYSUN41111 | 2 | 0 | 0 | 0 |
| NicEastvillage | 2 | 0 | 0 | 1 |
| wwwwwwwwwwwwwwwwwwwwwwwwwwwwww2 | 1 | 0 | 0 | 0 |
| koch10 | 1 | 0 | 0 | 0 |
| anirjoshi | 1 | 0 | 0 | 0 |
| nikolajrk | 1 | 0 | 0 | 0 |
| AlbertoNoris | 1 | 0 | 0 | 0 |
| SwampertX | 1 | 0 | 0 | 1 |
| TheKritix | 1 | 0 | 0 | 0 |
| fqss0436 | 1 | 0 | 0 | 0 |
| Kurtoid | 1 | 0 | 0 | 1 |
| JacobGuld | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#323NicEastvillage2025-11-05 13:17Finding strategies enforcing "until" (AU) formulas is bugged
- Issue#323NicEastvillage2025-11-03 09:28Finding strategies enforcing "until" (AU) formulas is bugged
- Issue#322mikucionisaau2025-10-31 10:35Fails to start on Windows using OpenJDK25
- Issue#321mikucionisaau2025-10-31 10:33The UI in concrete simulator writes "-327", for no apparent reason at all chanels.
- Issue#321mikucionisaau2025-10-31 10:33The UI in concrete simulator writes "-327", for no apparent reason at all chanels.
- Issue#321mikucionisaau2025-10-31 10:33The UI in concrete simulator writes "-327", for no apparent reason at all chanels.
- Issue#321nikolajrk2025-10-24 10:50The UI in concrete simulator writes "-327", for no apparent reason at all chanels.
- Issue comment#318mikucionisaau2025-10-02 06:53The boolean operator "imply" is broken when used with clocks in UPPAAL SMC
- Issue comment#317mikucionisaau2025-08-28 09:22Drop libpcre3 dependency
- Issue#293koch102024-10-05 11:56Stopwatch division using only ints bug
- Issue#292mikucionisaau2024-10-03 12:20"Cannot generate a trace" error when priorities over processes are used
- Issue#291JacobGuld2024-09-26 09:07Unspecified delay due to missing invariant and exponential rate bug
- Issue#287Lqs662024-09-21 05:27ModelDemo.java Compile Error
- Issue comment#279mikucionisaau2024-06-20 05:57Coupler force
- Issue comment#278mikucionisaau2024-06-20 05:56couplerv force
- Issue#279GYSUN411112024-06-19 06:29Coupler force
- Issue#278GYSUN411112024-06-19 06:29couplerv force
- Issue comment#267mikucionisaau2024-05-17 11:11UPPAAL-5.0.0 doesn't start on m2 pro
- Issue#267AlbertoNoris2024-05-15 10:06UPPAAL-5.0.0 doesn't start on m2 pro
- Issue comment#230Kurtoid2024-04-14 23:44UPPAAL Warns Expression does not have any effect for FFI functions.
- Issue#258TheKritix2024-04-06 10:28Odd colors. Program unuseable. Tried include and exclude java version
- Issue comment#72mikucionisaau2024-03-30 10:58Internal error when all templates are removed
- Issue#72mikucionisaau2024-03-30 10:58Internal error when all templates are removed
- Issue#254Lqs662024-03-26 03:23How to use "EXTERNAL FUNCTIONS" in UPPAAL?
- Issue comment#248mikucionisaau2024-02-08 08:10Deb package does not work when installed in Pop!_OS
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.