Update README.md

PLSysSec · Dec 16, 2018 · 5975d43 · 5975d43
1 parent 070924c
commit 5975d43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@ that need to be free from timing side channels.
 
 ## Useful links:
 
-- Online demo: (Coming soon!)
+- Online demo: http://fact.sysnet.ucsd.edu:10240/ (thanks to https://github.com/mattgodbolt/compiler-explorer)
 - Sample FaCT code: https://github.com/PLSysSec/fact-eval
 - Haskell embedding: https://github.com/PLSysSec/inline-fact
 - Python embedding: https://github.com/PLSysSec/CTFFI