Dear all,
I am delighted to announce the launch of a completely new version of
KLEE Web, which offers quick access to KLEE in a browser!
The system is really nicely designed and implemented, with many useful
features. It is the primarily the creation of Finn Lehmann, with
important contributions from Yi Lai, and with me in an advisory capacity.
You can try it at:
https://klee.doc.ic.ac.uk/
Contributions, issue reporting, and general suggestions are welcome, and
can be done at https://github.com/klee/klee-web
Finn and Yi plan to continue to maintain the system.
Big thanks to both of them for an excellent project!
Cristian
_______________________________________________
klee-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
