An OCaml abstraction layer for constraint solvers.
active 2023-08-15 → 2023-10-29 (UTC)
Partial coverage20,510 / 26,266 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
74
Pushes
42
Pull requests
11
Issues
3
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 76 days from 2023-08-15 to 2023-10-29. Pushes: 42 total, peak 8 in a day. Pull requests: 11 total, peak 4 in a day. Issues: 3 total, peak 1 in a day. Comments: 10 total, peak 8 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 |
|---|---|---|---|---|
| filipeom | 56 | 40 | 5 | 7 |
| zapashcanon | 9 | 1 | 4 | 3 |
| joaomhmpereira | 2 | 1 | 1 | 0 |
| chambart | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#33joaomhmpereira2023-10-21 14:02
- Issue#31filipeom2023-10-14 19:44Allow Z3 mappings to create contexts without models
- Issue comment#30filipeom2023-10-10 21:29adds neg operation to bitvector
- Pull request#29filipeom2023-10-08 12:58
- Issue comment#29filipeom2023-10-08 12:58remove base/core
- Issue comment#29zapashcanon2023-10-08 11:53remove base/core
- Issue comment#29filipeom2023-10-08 11:47remove base/core
- Issue comment#29zapashcanon2023-10-08 11:42remove base/core
- Issue comment#29filipeom2023-10-08 11:37remove base/core
- Issue comment#29zapashcanon2023-10-08 11:34remove base/core
- Issue comment#29filipeom2023-10-08 11:27remove base/core
- Pull request#29zapashcanon2023-10-08 11:16
- Pull request#28filipeom2023-10-08 10:39
- Issue comment#28filipeom2023-10-08 10:39add more pp functions
- Pull request#28zapashcanon2023-10-08 10:34
- Issue#5filipeom2023-10-07 17:36Use Z3 bindings to lift floating-point values
- Pull request#27filipeom2023-10-07 17:36
- Pull request#27filipeom2023-10-07 15:57
- Pull request#25zapashcanon2023-09-15 21:50
- Issue comment#25filipeom2023-09-15 21:26Caml -> Stdlib
- Pull request#25zapashcanon2023-09-15 21:16
- Pull request#24filipeom2023-09-15 08:18
- Pull request#24chambart2023-09-15 02:24
- Issue#23zapashcanon2023-09-10 08:18remove dependency on Core
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.