From 7cd860f0c49515f4504b63393087c8294e27aad0 Mon Sep 17 00:00:00 2001 From: gavinleroy Date: Thu, 9 Jan 2025 08:50:59 -0500 Subject: [PATCH] README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 3ac8dc11a..78044d75f 100644 --- a/README.md +++ b/README.md @@ -2,13 +2,13 @@ [![tests](https://github.com/cognitive-engineering-lab/aquascope/actions/workflows/ci.yml/badge.svg)](https://github.com/cognitive-engineering-lab/aquascope/actions/workflows/ci.yml) [![crates.io](https://img.shields.io/crates/v/mdbook-aquascope.svg)](https://crates.io/crates/mdbook-aquascope) -[![docs](https://img.shields.io/badge/docs-built-blue)](https://cognitive-engineering-lab.github.io/aquascope/doc/aquascope/) +[![docs](https://img.shields.io/badge/docs-built-blue)](https://cel.cs.brown.edu/aquascope/doc/aquascope/) Aquascope is a tool that generates interactive visualizations of Rust programs. These visualizations show how Rust's borrow checker "thinks" about a program, and how a Rust program actually executes. Here is a sample output of Aquascope: Example Aquascope output -[Click here for a live demo.](https://cognitive-engineering-lab.github.io/aquascope/) Want to learn more about what the diagram means? [Read the new ownership chapter in our Rust Book Experiment.](https://rust-book.cs.brown.edu/ch04-01-what-is-ownership.html) +[Click here for a live demo.](https://cel.cs.brown.edu/aquascope/) Want to learn more about what the diagram means? [Read the new ownership chapter in our Rust Book Experiment.](https://rust-book.cs.brown.edu/ch04-01-what-is-ownership.html) ⚠️🔬 **Aquascope is research software! If you encounter a bug, we welcome contributions!** 🧪⚠️