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 t
mailing list
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 builds on KLEE. Have some o
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 pape