[klee-dev] Cloud9 and KLEE - POSIX features

[Marko Dimjašević]

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ć <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160628/023d903a/attachment.sig>