agra-uni-bremen / crave

Constrained random stimuli generation for C++ and SystemC

agra-uni-bremen
agra-uni-bremen
Date Created 2012-06-28 (12 years ago)
Commits 1,092 (last one 6 years ago)
Stargazers 50 (0 this week)
Watchers 13 (0 this week)
Forks 13
License other
Ranking

RepositoryStats indexes 633,155 repositories, of these agra-uni-bremen/crave is ranked #491,586 (22nd percentile) for total stargazers, and #161,847 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #27,212/33,790.

Other Information

agra-uni-bremen/crave has Github issues enabled, there are 11 open issues and 0 closed issues.

Homepage URL: http://systemc-verification.org/crave

Star History

Github stargazers over time

505045454040353530302525202015151010550020132013201420142015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

14141414141413.513.513131313131324 Feb24 FebMar '25Mar '2508 Mar08 Mar16 Mar16 Mar24 Mar24 Mar

Recent Commit History

0 commits on the default branch (development) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (development) per year

400400350350300300250250200200150150100100505000201220122013201320142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
12121010886644220020192019202020202021202120222022202320232024202420252025

Languages

The primary language is C++ but there's also others...

C++C++CMakeCMakeShellShellPythonPythonMakefileMakefileAwkAwk

updated: 2025-03-06 @ 11:40pm, id: 4820275 / R_kgDOAEmNMw