Release on 11/23/2011 - Githubissues

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/23/2011 #43

Closed reprogrammer closed 12 years ago

reprogrammer commented 13 years ago

This issue is for the first release of Keshmesh.

reprogrammer commented 13 years ago

Published the first release of Keshmesh that provides detectors for LCK01-J, LCK02-J, LCK03-J, LCK06-J, and VNA00-J and fixers for LCK02-J and LCK03-J. (issues #1, #2, #4, #5, #6, #7, #8, #9, #10, #11, #12, #14, #15, #17, #18, #19, #22, #23, #25, #27, #28, #30, #31, #32, #33, #35, #37, #38, #43).

reprogrammer commented 12 years ago

@Wanderer777, @samira-t:

The first release of Keshmesh is available at http://keshmesh.cs.illinois.edu/updates/. Please install Keshmesh and let me know if you find any problems with it.