issues
search
reprogrammer
/
keshmesh
Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.
http://keshmesh.cs.illinois.edu/
Other
16
stars
5
forks
source link
Release on 11/30/2013
#63
Closed
reprogrammer
closed
10 years ago
reprogrammer
commented
10 years ago
This issue is devoted to a release of Keshmesh.
reprogrammer
commented
10 years ago
Allowed infinite object sensitivity (issue #62).
Renamed
*.md
to
*.txt
(issue #61).
This issue is devoted to a release of Keshmesh.