diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-31 17:34:59 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-31 17:34:59 +0000 |
| commit | 30bf4f046dc71c7a3b2f9ce57582a4d216532af6 (patch) | |
| tree | 5179517e67bd29961d007e704335a5b63c9fe84e | |
| parent | 28aacfaeddbfe047ab0fba29b6843facc5e5e06a (diff) | |
| download | klee-30bf4f046dc71c7a3b2f9ce57582a4d216532af6.tar.gz | |
Added another link to a system building upon KLEE, S2E.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161057 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | www/Publications.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/www/Publications.html b/www/Publications.html index 6f0c30a9..fcc7666c 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -156,6 +156,8 @@ International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) <br> March 5-11, 2011, Newport Beach, CA + <br/> + <b>S2E is available <a href="http://s2e.epfl.ch/">here</a>.</b> <br><br> </li> |