From 08c0b59ff2e7e44230e65fe400d0cf253e724fe1 Mon Sep 17 00:00:00 2001 From: Pantazis Deligiannis Date: Mon, 15 Jun 2020 17:26:36 +0000 Subject: [PATCH] Merged PR 2409: minor edit in about doc We defer any attributions regarding P# (MSR + Imperial College London) to the P# page to keep the about page simpler. --- docs/_data/about/grid-1.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_data/about/grid-1.yml b/docs/_data/about/grid-1.yml index 7382cefb..5523a309 100644 --- a/docs/_data/about/grid-1.yml +++ b/docs/_data/about/grid-1.yml @@ -21,8 +21,8 @@ row-1: buggy interleavings late into the wee hours.

With this broader vision, Coyote's programming models marry design, implementation, and - testing for remarkable productivity. Coyote is an evolution of Microsoft Research's P# project - that got us started on this journey, building over years of research in concurrency design and + testing for remarkable productivity. Coyote is the evolution of the P# project that got us + started on this journey, building over years of research in concurrency design and implementation bugs.

From the moment various Azure teams began using Coyote, we've been receiving enthusiastic