smack

Public

SMACK Software Verifier and Verification Toolchain

Other

Updated Jan 28, 2026

Created Jul 12, 2025

0 stars

0 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

1486 commits

637 commits

365 commits

169 commits

93 commits

66 commits

64 commits

42 commits

34 commits

28 commits

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 0

Open Issues0

Activity Peak

Most recent day with highest activityJan 28, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics