sosy-lab / cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

sosy-lab
sosy-lab
Date Created 2014-05-23 (10 years ago)
Commits 36,055 (last one 3 days ago)
Stargazers 238 (0 this week)
Watchers 22 (0 this week)
Forks 90
License apache-2.0
Ranking

RepositoryStats indexes 630,443 repositories, of these sosy-lab/cpachecker is ranked #165,729 (74th percentile) for total stargazers, and #98,873 for total watchers. Github reports the primary language for this repository as SWIG, for repositories using this language it is ranked #9/25.

sosy-lab/cpachecker is also tagged with popular topics, for these it's ranked: java (#3,081/7960),  c (#1,169/2864),  static-analysis (#271/525)

Other Information

Homepage URL: https://cpachecker.sosy-lab.org

Star History

Github stargazers over time

2502502002001501501001005050002015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

242423.523.5232322.522.5222221.521.5212120.520.5202020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

6,215 commits on the default branch (main) since jan '22

7k7k6k6k5k5k4k4k3k3k2k2k1k1k00Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

4.5k4.5k4k4k3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k5005000020142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Github Issues disabled for this repository

Languages

The primary language is SWIG but there's also others...

SWIGSWIGJavaJavaAssemblyAssemblyCCPythonPythonJavaScriptJavaScriptHTMLHTMLPLSQLPLSQLOtherOtherShellShellLLVMLLVM

updated: 2025-03-24 @ 05:34pm, id: 20107238 / R_kgDOATLP5g