Automated Analysis Framework for Simulink/Stateflow models.
active 2023-09-26 → 2026-03-26 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 913 days from 2023-09-26 to 2026-03-26. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 5 total, peak 1 in a day. Comments: 14 total, peak 3 in a day. Stars: 27 total, peak 2 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 |
|---|---|---|---|---|
| andreaskatis | 7 | 0 | 0 | 6 |
| akaph2p | 6 | 0 | 0 | 4 |
| omrischwarz | 5 | 0 | 0 | 3 |
| conversy | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue#17andreaskatis2025-07-05 19:13Non-terminating Z3 processes running the Sudoku example.
- Issue comment#17andreaskatis2025-06-30 16:01Non-terminating Z3 processes running the Sudoku example.
- Issue#17omrischwarz2025-06-27 00:18Non-terminating Z3 processes running the Sudoku example.
- Issue comment#16omrischwarz2025-06-23 23:02Python3 ?
- Issue comment#5conversy2024-07-24 15:11Calls to Z3 from MATLAB fail
- Issue comment#16omrischwarz2024-03-19 13:27Python3 ?
- Issue comment#16andreaskatis2024-03-18 21:03Python3 ?
- Issue comment#16omrischwarz2024-03-18 15:11Python3 ?
- Issue#16omrischwarz2024-03-13 21:18Python3 ?
- Issue#15akaph2p2024-01-20 20:52distutils not found while installing cocosim on virtual machine
- Issue comment#15akaph2p2024-01-20 20:51distutils not found while installing cocosim on virtual machine
- Issue comment#15andreaskatis2024-01-15 20:02distutils not found while installing cocosim on virtual machine
- Issue comment#15akaph2p2024-01-07 20:39distutils not found while installing cocosim on virtual machine
- Issue comment#15andreaskatis2024-01-06 15:53distutils not found while installing cocosim on virtual machine
- Issue comment#15akaph2p2024-01-06 01:33distutils not found while installing cocosim on virtual machine
- Issue comment#15andreaskatis2023-12-31 23:54distutils not found while installing cocosim on virtual machine
- Issue comment#15akaph2p2023-12-31 22:32distutils not found while installing cocosim on virtual machine
- Issue comment#15andreaskatis2023-12-31 18:57distutils not found while installing cocosim on virtual machine
- Issue#15akaph2p2023-12-31 16:21distutils not found while installing cocosim on virtual machine
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 27 stars here means stars gained during the window, not the repo's star count.