GitHub repository for lab lectures of the Formal Methods course (University of Trento)
active 2024-03-05 → 2024-06-09 (UTC)
Complete coverage26,663 / 26,663 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-29 (UTC)
Events
59
Pushes
23
Pull requests
7
Issues
2
Stars
1
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 97 days from 2024-03-05 to 2024-06-09. Pushes: 23 total, peak 2 in a day. Pull requests: 7 total, peak 2 in a day. Issues: 2 total, peak 1 in a day. Comments: 16 total, peak 5 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 |
|---|---|---|---|---|
| giuspek | 48 | 23 | 3 | 15 |
| vincenzonetti | 7 | 0 | 4 | 1 |
Recent activity
Latest issues, pull requests and releases
- Pull request#5vincenzonetti2024-06-08 22:40
- Pull request#4giuspek2024-05-29 07:36
- Issue comment#4giuspek2024-05-29 07:36Added exercises for lab 09
- Issue comment#4giuspek2024-05-29 07:34Added exercises for lab 09
- Issue comment#4giuspek2024-05-29 07:32Added exercises for lab 09
- Issue comment#4giuspek2024-05-26 12:14Added exercises for lab 09
- Pull request#4vincenzonetti2024-05-16 12:57
- Pull request#3giuspek2024-05-14 09:49
- Issue comment#3giuspek2024-05-14 09:49Added lab04, lab05, lab06, lab07 and finished lab03 homeworks
- Issue comment#3giuspek2024-04-08 12:12Added lab04, lab05 and finished lab03 homeworks
- Issue comment#3giuspek2024-04-07 12:30Added lab04, lab05 and finished lab03 homeworks
- Issue comment#3giuspek2024-04-07 12:07Added lab04, lab05 and finished lab03 homeworks
- Pull request#3vincenzonetti2024-03-19 19:03
- Pull request#1giuspek2024-03-19 13:18
- Issue comment#1vincenzonetti2024-03-19 11:02proposed solution for ex 1.3,1.5
- Issue comment#1giuspek2024-03-18 09:31proposed solution for ex 1.3,1.5
- Issue comment#1giuspek2024-03-10 20:12proposed solution for ex 1.3,1.5
- Issue comment#1giuspek2024-03-10 20:12proposed solution for ex 1.3,1.5
- Issue comment#1giuspek2024-03-10 20:06proposed solution for ex 1.3,1.5
- Issue comment#1giuspek2024-03-10 19:57proposed solution for ex 1.3,1.5
- Issue comment#1giuspek2024-03-10 19:52proposed solution for ex 1.3,1.5
- Issue#2vincenzonetti2024-03-10 11:09In the ex 1.4 of lab 1 we have to create a 3-length password but the password should be even?
- Issue comment#2giuspek2024-03-09 20:30In the ex 1.4 of lab 1 we have to create a 3-length password but the bussword should be even?
- Issue#2vincenzonetti2024-03-09 10:27In the ex 1.4 of lab 1 we have to create a 3-length password but the bussword should be even?
- Pull request#1vincenzonetti2024-03-09 10:22
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.