diff options
Diffstat (limited to 'static/docs/drafts/formal_hls.pdf/index.html')
-rw-r--r-- | static/docs/drafts/formal_hls.pdf/index.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/static/docs/drafts/formal_hls.pdf/index.html b/static/docs/drafts/formal_hls.pdf/index.html new file mode 100644 index 0000000..6f7d235 --- /dev/null +++ b/static/docs/drafts/formal_hls.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/fvhls_oopsla21.pdf'" /> + </head> + <body> + </body> +</html> |