Hi,
> I think it would be useful to have an official repository for the dockerized
> KLEE, which we would recommend to new users on the KLEE website, and which
> would be maintained as part of the KLEE project on GitHub
> (https://github.com/klee). Also, it would be useful to automatically update
Yes, there are several, e.g., it's more general than CDE, which makes no
guarantees about the ability to exercise new behaviours of the software
being packaged; it is actively maintained (also as open-source); and it
hosts a public registry which makes distribution easier.
Of course, I'm happy
Is there any benefit on using Docker over CDE?. As far as I know CDE is
open-source and was developed by a guy who worked in klee at some stages
(less relevant, but nice to know :-P).
Regards.
2015-02-26 18:58 GMT+01:00 Cristian Cadar :
> Hi guys,
>
> That's great, thanks for sharing this with t
Hi guys,
That's great, thanks for sharing this with the list. I think Docker is
a nice medium for distributing KLEE, and in fact there were several
other people who have "dockerized" KLEE recently:
https://github.com/riyadparvez/klee-docker
https://registry.hub.docker.com/u/petrhosek/klee/
ht
Hello All,
Docker is a relatively recent technology that developers and sysadmins use to
build, ship, and run distributed applications. Compared to virtual machines,
docker is more lightweight and efficient, since it provides an additional layer
of abstraction of operating-system-level virtual
I've seen klee "encapsulated" this way with CDE (a tool very similar to
Docker), several times before. However, it is good to see that installation
is getting easier :-)
2015-02-26 17:14 GMT+01:00 Makula, Szymon :
> Hello All,
>
>
>
> Docker is a relatively recent technology that developers and