[klee-dev] KLEE Open Projects list

[Cristian Cadar]

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