Hi all,
I have updated the list of KLEE Open Projects at
https://klee.github.io/projects/
In particular -- and as also advertised on Twitter -- we are looking for
package maintainers for Ubuntu and other popular distributions (thanks
to Gleb Popov for maintaining KLEE's package on FreeBSD) and also for
active maintainers and developers for KLEE Web
(http://klee.doc.ic.ac.uk/, https://github.com/klee/klee-web).
Let me know if you're interested in any of the projects listed there.
Best,
Cristian
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev