From 0d1aca6e36465a5d64765c22349bba1793f2fba0 Mon Sep 17 00:00:00 2001 From: Joyanta Debnath Date: Mon, 6 Mar 2023 17:13:41 -0500 Subject: [PATCH] Update README.md --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 654d065..6c4186e 100644 --- a/README.md +++ b/README.md @@ -111,8 +111,8 @@ cd src/modules/parsers/dsl_based/grammar/ ``` ## Datasets -The certificate datasets used for the paper is publicly available [here](https://iowa-my.sharepoint.com/:f:/g/personal/jdebnth_uiowa_edu/EsG5_z2F3shNtqjGlhZZeKMBKK-dK3d26R58SpIvcBdfgA?e=SUgHEX). -Please, email at if the link doesn't work. +The certificate datasets used for the paper is publicly available [here](https://stonybrook365-my.sharepoint.com/:f:/g/personal/joyanta_debnath_stonybrook_edu/Esa7AR1nrghFtKCTw_w2xDkBegFDqJ48SkxAsYBVsb79UQ?e=eiI5Am). +Please, email at if the link doesn't work. ## Known Setup Issues * LFSC proof checker requires `>= GLIBCXX_3.4.26`. If its missing, following commands can be issued to update `GLIBCXX`. @@ -165,7 +165,7 @@ Please, use the following *bibtex* for citing this work. ## Contributors Please, feel free to contact one of us if you have any questions. -* [Joyanta Debnath](https://homepage.cs.uiowa.edu/~jdebnth/) -* [Omar Chowdhury](https://homepage.divms.uiowa.edu/~comarhaider/) +* [Joyanta Debnath](https://www3.cs.stonybrook.edu/~jdebnath/) +* [Omar Chowdhury](https://www3.cs.stonybrook.edu/~omar/) * [Sze Yiu Chau](https://szeyiuchau.github.io/)