diff --git a/screenshots.json b/screenshots.json index b87d952..f05708b 100644 --- a/screenshots.json +++ b/screenshots.json @@ -1677,6 +1677,14 @@ { "path": "https://ik.imagekit.io/analysistools/https___bitbucket.org_yanniss_doop", "url": "https://bitbucket.org/yanniss/doop" + }, + { + "path": "https://ik.imagekit.io/analysistools/https___plast-lab.github.io_doop-pldi15-tutorial_", + "url": "https://plast-lab.github.io/doop-pldi15-tutorial/" + }, + { + "path": "https://ik.imagekit.io/analysistools/https___github.com_plast-lab_doop", + "url": "https://github.com/plast-lab/doop" } ], "dotenet-format": [ @@ -6530,5 +6538,11 @@ "path": "https://ik.imagekit.io/analysistools/https___derscanner.com_pricing", "url": "https://derscanner.com/pricing" } + ], + "mdsf": [ + { + "path": "https://ik.imagekit.io/analysistools/https___github.com_hougesen_mdsf", + "url": "https://github.com/hougesen/mdsf" + } ] } \ No newline at end of file diff --git a/screenshots/doop/https%3A%2F%2Fgithub.com%2Fplast-lab%2Fdoop.jpg b/screenshots/doop/https%3A%2F%2Fgithub.com%2Fplast-lab%2Fdoop.jpg new file mode 100644 index 0000000..c42040b Binary files /dev/null and b/screenshots/doop/https%3A%2F%2Fgithub.com%2Fplast-lab%2Fdoop.jpg differ diff --git a/screenshots/doop/https%3A%2F%2Fplast-lab.github.io%2Fdoop-pldi15-tutorial%2F.jpg b/screenshots/doop/https%3A%2F%2Fplast-lab.github.io%2Fdoop-pldi15-tutorial%2F.jpg new file mode 100644 index 0000000..6074ced Binary files /dev/null and b/screenshots/doop/https%3A%2F%2Fplast-lab.github.io%2Fdoop-pldi15-tutorial%2F.jpg differ diff --git a/screenshots/mdsf/https%3A%2F%2Fgithub.com%2Fhougesen%2Fmdsf.jpg b/screenshots/mdsf/https%3A%2F%2Fgithub.com%2Fhougesen%2Fmdsf.jpg new file mode 100644 index 0000000..95d6912 Binary files /dev/null and b/screenshots/mdsf/https%3A%2F%2Fgithub.com%2Fhougesen%2Fmdsf.jpg differ