Skip to content

Symbolic execution engine for .NET Core

active 2023-08-15 → 2024-04-04 (UTC)

Complete coverage27,399 / 27,399 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-29 (UTC)
Events
137
Pushes
36
Pull requests
22
Issues
7
Stars
0
Forks
1

Activity over time

Daily event counts in the loaded window

Line chart, 234 days from 2023-08-15 to 2024-04-04. Pushes: 36 total, peak 4 in a day. Pull requests: 22 total, peak 3 in a day. Issues: 7 total, peak 3 in a day. Comments: 35 total, peak 16 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

ContributorContributionsPushesPRsComments
emnigma562629
gsvgit473490
Anya49714044
katyacyfra6022
ancavar1010

Recent activity

Latest issues, pull requests and releases

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.