ultimate-pa / ultimate

The Ultimate program analysis framework.

ultimate-pa
ultimate-pa
Date Created 2015-09-10 (9 years ago)
Commits 30,003 (last one a day ago)
Stargazers 217 (0 this week)
Watchers 29 (0 this week)
Forks 44
License unknown
Ranking

RepositoryStats indexes 632,869 repositories, of these ultimate-pa/ultimate is ranked #177,505 (72nd percentile) for total stargazers, and #74,736 for total watchers. Github reports the primary language for this repository as Java, for repositories using this language it is ranked #10,201/29,458.

Other Information

ultimate-pa/ultimate has 7 open pull requests on Github, 100 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 198 open issues and 390 closed issues.

Homepage URL: https://ultimate-pa.org/

Star History

Github stargazers over time

25025020020015015010010050500020162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

343433.533.5333332.532.5323231.531.5313130.530.5303029.529.5292920232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

5,012 commits on the default branch (dev) since jan '22

6k6k5k5k4k4k3k3k2k2k1k1k00Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (dev) per year

5k5k4.5k4.5k4k4k3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k50050000201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
6006005005004004003003002002001001000020162016201720172018201820192019202020202021202120222022202320232024202420252025

Languages

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

JavaJavaSMTSMTPythonPythonShellShellHTMLHTMLLexLexCCJavaScriptJavaScriptPerlPerlCSSCSSOtherOther

updated: 2025-03-29 @ 06:44am, id: 42260199 / R_kgDOAoTW5w