Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Intabs | 6 | 5 years ago | mit | C | ||||||
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software". | ||||||||||
P25 Decoder | 6 | 8 years ago | CMake | |||||||
Pardis | 5 | a year ago | 1 | C++ | ||||||
Priority Aware Test Case Reduction |