[klee-dev] KLEE-Web launch

[小、 ￣洁]

Cadar先生，非常钦佩您的工作！您是我们的榜样！




------------------ Original ------------------
From: "Cristian Cadar(2008 KLEE Author)"<c.cadar at imperial.ac.uk>; 
Date: 2016年10月13日(星期四) 凌晨2:13
To: "klee-dev"<klee-dev at imperial.ac.uk>; 
Subject: [klee-dev] KLEE-Web launch



Hi all,

I am excited to let you know that you can now run KLEE in your browser! 
  This provides an easy way for people to get familiar with KLEE or run 
small programs with KLEE without the hassle of installing anything.

As with any new system, things might not work as well in the beginning, 
and the site might even be sporadically unavailable.  We'd appreciate 
any bug reports or feature requests either by email, or even better, on 
GitHub at https://github.com/klee/klee-web/issues.

The system is the product of two different teams: the project was 
started by James Carr, Ben Chin, Ainsley Escorce-Jones, Preeya Joshi, 
Kaho Sato, Conrad Watt and me in 2014/15 and was revamped this year by 
Giacomo Guerci, Domenico Marino, Anastasis Andronidis and me.

The system is available at
                       http://klee.doc.ic.ac.uk/

Enjoy,
Cristian

_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
-------------- next part --------------
HTML attachment scrubbed and removed