active 2024-03-15 → 2024-06-21 (UTC)
Complete coverage26,695 / 26,695 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-31 (UTC)
Events
517
Pushes
346
Pull requests
25
Issues
29
Stars
1
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 99 days from 2024-03-15 to 2024-06-21. Pushes: 346 total, peak 49 in a day. Pull requests: 25 total, peak 3 in a day. Issues: 29 total, peak 11 in a day. Comments: 36 total, peak 22 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 |
|---|---|---|---|---|
| Yurand2000 | 176 | 130 | 11 | 8 |
| jfet97 | 172 | 124 | 10 | 19 |
| elvilio | 36 | 19 | 1 | 8 |
| netacanradagas | 29 | 29 | 0 | 0 |
| marcoantoniocorallo | 21 | 21 | 0 | 0 |
| Alex23087 | 18 | 8 | 3 | 1 |
| samul-1 | 7 | 7 | 0 | 0 |
| PorcinoMalefico | 6 | 6 | 0 | 0 |
| Fred-ef | 2 | 2 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#37jfet972024-06-12 10:57
- Pull request#36jfet972024-06-11 11:22
- Pull request#35Yurand20002024-06-06 22:37
- Pull request#34Yurand20002024-06-04 17:18
- Pull request#33Yurand20002024-06-04 16:08
- Issue#32Yurand20002024-05-31 09:01[Parser] Implement test for Commands and Logic Formulas parsing
- Pull request#29Yurand20002024-05-20 09:27
- Issue#31jfet972024-05-14 16:01[Parser] - Failing tests & weird behaviours
- Pull request#30jfet972024-05-14 15:57
- Pull request#28jfet972024-05-14 15:49
- Issue#7Alex230872024-05-14 15:36[Parser] Implement parser for CL formulas
- Issue#6Alex230872024-05-14 15:36[Parser] Implement parser for language commands
- Pull request#22Alex230872024-05-14 15:36
- Issue comment#22jfet972024-05-08 22:57Implement parsers for commands and logic formulas
- Pull request#29Yurand20002024-05-08 17:32
- Issue comment#28Yurand20002024-05-08 17:19Add Control Flow Graph definition, Add more utility functions.
- Issue comment#22Yurand20002024-05-06 20:26Add menhir dependency and configuration for parsing commands in lib/dune
- Issue comment#22jfet972024-05-06 20:12Add menhir dependency and configuration for parsing commands in lib/dune
- Issue comment#22jfet972024-05-06 20:08Add menhir dependency and configuration for parsing commands in lib/dune
- Issue comment#22jfet972024-05-06 08:00Add menhir dependency and configuration for parsing commands in lib/dune
- Issue comment#25Yurand20002024-05-04 22:14[Logic] Basic command analysis
- Pull request#28Yurand20002024-05-04 16:12
- Issue comment#20Yurand20002024-05-04 16:03[Logic] Add conversion function for logic formulas to existential disjunctive normal form
- Pull request#27Alex230872024-04-18 10:23
- Pull request#22jfet972024-04-17 12:42
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.