cognitive-engineering-lab / aquascope

Interactive visualizations of Rust at compile-time and run-time

https://cognitive-engineering-lab.github.io/aquascope/

cognitive-engineering-lab/aquascope Issues

Add hover effect for step markers in interpreter
Updated 2 months ago4
Add support for Unicode strings to the interpreter
Updated 2 months ago2
Bug: Not able to interpret any code in playground
Updated 2 months ago6
Using struct update syntax, permission for the source struct variable seem off
Updated 3 months ago1
incorrect permissions analysis
Closed 3 months ago1
How to use on existing program?
Updated 4 months ago5
Clone succeeded, but checkout failed.
Closed 4 months ago1
Rendering issue of arrows in Aquascope diagram
Closed 5 months ago4
Document how to run local REPL
Updated 5 months ago
How to disable bug reporter and question mark in Aquascope?
Updated 5 months ago2
Interpreter crashes with with stack overflow in rustc
Updated 8 months ago2
Add support for references to unnamed data
Updated 8 months ago
Interpreter failing with a JS error in demo site
Closed 8 months ago2
Include prebuilt binaries on each release
Closed 8 months ago
Match operand expected permissions doesn't match branches
Updated 9 months ago1
Arrows in interpreter are not moving when container is scrolled
Updated 9 months ago
GitHub pages encounters error on serving js/wasm
Closed 9 months ago1
Variable lost R permission
Closed 9 months ago1
Visualize partially-moved fields
Updated 10 months ago
Aquascope Preprocessor Failure on mdbook Build
Updated 10 months ago9
Build from source instructions help and error.
Closed 10 months ago8
Installation of mdbook-aquascope on stable rust channel
Closed a year ago2
Eager loss of read permission - wrong or just confusing?
Closed a year ago4
Loss of own permissions is confusing.
Closed a year ago1
Long-term TODOs
Closed a year ago1
Feature Requestion: Improved visualization of missing permission errors
Updated a year ago2
Mobile styling for static diagram doesn't work well with indentation
Updated a year ago
Binoculars show even when they have no effect on the visualization
Updated a year ago2
Add support for &'static data to the interpreter
Updated a year ago
Visualizing outlives-constraints and lifetime parameters
Updated a year ago
Visualizing hidden lifetime captures
Updated a year ago
Trait object metadata displayed as len and not a vtable pointer
Updated a year ago1
Add clear indication for path liveness and permissions changes
Updated a year ago1
Add support for intra-table provenance and permissions transfer
Updated a year ago
cannot compile code with function pointer
Updated a year ago
Wrong memory allocation for slices
Updated a year ago2
Stepper doesn't support plain loop expression
Closed a year ago1
Stepper panics when returning result of fn call
Closed a year ago1
Interpret does not visualize move semantics
Closed a year ago2
Bug: String slices break the interpreter
Closed a year ago2
Permission model give W attribute to immutable Box
Closed a year ago2
The live demo warning "does not compile" is incongruous with run time states output
Closed a year ago3
Move hacky webpage updates into main
Closed a year ago
Currently doesn't seem to work at all?
Closed a year ago1
Questions in the demo example
Closed a year ago3
Interpreter arrows repositioning incorrectly on window resize
Closed a year ago1
Meaning of the icons?
Closed a year ago2
Pre-release TODOs
Closed a year ago
Worklist Dec 2022
Closed a year ago
Hide code in embedded editor
Closed a year ago