Hi Luis, On Tue, 2016-06-28 at 08:41 +0000, Carril Rodríguez, Luis Manuel (IPD) wrote: > Hi, > I made a port one year ago of the multithread POSIX model of Cloud9 to > KLEE v1.0: https://github.com/lmcarril/klee > I sent at the moment a pull request, but did not go forward. > I used the multithreaded version myself as a base to build a KLEE based > race detector. > As far as I know, no other POSIX capabilities of Cloud9 have been ported > to the new version.
Is it this pull request? https://github.com/klee/klee/pull/240 Having pthread support in KLEE would be a great thing to have! Therefore, I'm hoping someone will find time to merge your pull request, even though it's been a year since you submitted the request. -- Regards, Marko Dimjašević <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev