Re: [klee-dev] Cloud9 and KLEE - POSIX features

Hi Luis, On Tue, 2016-06-28 at 08:41 +, 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

Re: [klee-dev] Cloud9 and KLEE - POSIX features

mailing list <klee-dev@imperial.ac.uk> Betreff: [klee-dev] Cloud9 and KLEE - POSIX features Dear KLEE developers, Can anyone comment on what's the connection between the POSIX runtime in KLEE and in Cloud9? As mentioned in a paper on Cloud9: http://doi.acm.org/10.1145/1966445.1966463 Cloud9

[klee-dev] Cloud9 and KLEE - POSIX features

Dear KLEE developers, Can anyone comment on what's the connection between the POSIX runtime in KLEE and in Cloud9? As mentioned in a paper on Cloud9: http://doi.acm.org/10.1145/1966445.1966463 Cloud9 builds on KLEE. Have some or all POSIX features from Cloud9 been back-ported to KLEE? The