cognitive-engineering-lab/aquascope issues and pull requests

#140 - Aquascope not working

Issue - State: open - Opened by Secahl 16 days ago

#139 - Fix sysroot issue when running local

Pull Request - State: closed - Opened by eatPizza311 about 2 months ago - 2 comments

#138 - v0.3.4

Pull Request - State: closed - Opened by willcrichton about 2 months ago
Labels: release

#137 - Update to mdbook-preprocessor-utils 0.2.0

Pull Request - State: closed - Opened by willcrichton about 2 months ago

#137 - Update to mdbook-preprocessor-utils 0.2.0

Pull Request - State: closed - Opened by willcrichton about 2 months ago

#136 - v0.3.3

Pull Request - State: closed - Opened by willcrichton 3 months ago
Labels: release

#136 - v0.3.3

Pull Request - State: closed - Opened by willcrichton 3 months ago
Labels: release

#135 - Add React component for library use

Pull Request - State: closed - Opened by willcrichton 3 months ago

#135 - Add React component for library use

Pull Request - State: closed - Opened by willcrichton 3 months ago

#134 - Building from source fails on Biome JS post install script

Issue - State: open - Opened by rlorenzoleal 4 months ago - 3 comments

#133 - Interpret and Permissions Failing in Demo Site

Issue - State: open - Opened by reillysiemens 5 months ago

#133 - Interpret and Permissions Failing in Demo Site

Issue - State: open - Opened by reillysiemens 5 months ago

#132 - https://aquascope.willcrichton.net/interpreter api failure

Issue - State: closed - Opened by monsbox 5 months ago - 1 comment

#131 - Convert to latest Depot

Pull Request - State: closed - Opened by willcrichton 5 months ago

#129 - Using struct update syntax, permission for the source struct variable seem off

Issue - State: open - Opened by phdye 8 months ago - 1 comment
Labels: bug, permissions

#128 - incorrect permissions analysis

Issue - State: closed - Opened by k-yang 9 months ago - 1 comment

#127 - Bug: Not able to interpret any code in playground

Issue - State: open - Opened by Palanikannan1437 9 months ago - 7 comments

#126 - Remove angle brackets from snapshot file paths.

Pull Request - State: closed - Opened by gavinleroy 10 months ago - 5 comments

#126 - Remove angle brackets from snapshot file paths.

Pull Request - State: closed - Opened by gavinleroy 10 months ago - 4 comments

#125 - Add playground make target.

Pull Request - State: open - Opened by gavinleroy 10 months ago - 1 comment

#125 - Add playground make target.

Pull Request - State: closed - Opened by gavinleroy 10 months ago - 1 comment

#124 - Document how to run local REPL

Issue - State: open - Opened by willcrichton 10 months ago
Labels: documentation, enhancement

#124 - Document how to run local REPL

Issue - State: open - Opened by willcrichton 10 months ago
Labels: documentation, enhancement

#123 - Only show bug buttons if window.telemetry is present

Pull Request - State: open - Opened by willcrichton about 1 year ago

#123 - Only show bug buttons if window.telemetry is present

Pull Request - State: closed - Opened by willcrichton about 1 year ago

#122 - Rendering issue of arrows in Aquascope diagram

Issue - State: closed - Opened by saferust about 1 year ago - 4 comments

#121 - Clone succeeded, but checkout failed.

Issue - State: closed - Opened by saferust about 1 year ago - 1 comment

#120 - How to disable bug reporter and question mark in Aquascope?

Issue - State: open - Opened by saferust about 1 year ago - 2 comments

#119 - Add support for references to unnamed data

Issue - State: open - Opened by willcrichton about 1 year ago
Labels: enhancement, good first issue, interpreter

#118 - Interpreter crashes with with stack overflow in rustc

Issue - State: open - Opened by stevecheckoway about 1 year ago - 2 comments

#117 - v0.3.2

Pull Request - State: closed - Opened by gavinleroy about 1 year ago
Labels: release

#117 - v0.3.2

Pull Request - State: closed - Opened by gavinleroy about 1 year ago
Labels: release

#116 - Convert CharPos to number in renderInterpreter.

Pull Request - State: closed - Opened by gavinleroy about 1 year ago

#116 - Convert CharPos to number in renderInterpreter.

Pull Request - State: closed - Opened by gavinleroy about 1 year ago

#115 - Interpreter failing with a JS error in demo site

Issue - State: closed - Opened by stevecheckoway about 1 year ago - 2 comments
Labels: bug

#115 - Interpreter failing with a JS error in demo site

Issue - State: open - Opened by stevecheckoway about 1 year ago - 1 comment
Labels: bug

#114 - v0.3.1

Pull Request - State: closed - Opened by willcrichton about 1 year ago
Labels: release

#114 - v0.3.1

Pull Request - State: closed - Opened by willcrichton about 1 year ago
Labels: release

#113 - v0.3.1

Pull Request - State: closed - Opened by willcrichton about 1 year ago
Labels: release

#113 - v0.3.1

Pull Request - State: closed - Opened by willcrichton about 1 year ago
Labels: release

#112 - v0.3.1

Pull Request - State: closed - Opened by willcrichton about 1 year ago
Labels: release

#112 - v0.3.1

Pull Request - State: closed - Opened by willcrichton about 1 year ago
Labels: release

#111 - Add lockfile to CI

Pull Request - State: closed - Opened by willcrichton about 1 year ago

#111 - Add lockfile to CI

Pull Request - State: closed - Opened by willcrichton about 1 year ago

#110 - v0.3.1

Pull Request - State: closed - Opened by gavinleroy about 1 year ago
Labels: release

#110 - v0.3.1

Pull Request - State: closed - Opened by gavinleroy about 1 year ago
Labels: release

#109 - Add artifact release to CI

Pull Request - State: closed - Opened by willcrichton about 1 year ago

#109 - Add artifact release to CI

Pull Request - State: closed - Opened by willcrichton about 1 year ago

#108 - v0.3.0

Pull Request - State: closed - Opened by gavinleroy about 1 year ago

#107 - v0.3.0

Pull Request - State: closed - Opened by gavinleroy about 1 year ago
Labels: release

#106 - Update to nightly-2023-08-25

Pull Request - State: closed - Opened by willcrichton about 1 year ago

#105 - Include prebuilt binaries on each release

Issue - State: closed - Opened by willcrichton about 1 year ago
Labels: enhancement

#104 - Arrows in interpreter are not moving when container is scrolled

Issue - State: open - Opened by willcrichton about 1 year ago
Labels: bug, interpreter

#103 - Variable lost R permission

Issue - State: closed - Opened by redexp about 1 year ago - 1 comment

#102 - GitHub pages encounters error on serving js/wasm

Issue - State: closed - Opened by frewsxcv about 1 year ago - 1 comment

#101 - Various JS improvements

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#101 - Various JS improvements

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#100 - Match operand expected permissions doesn't match branches

Issue - State: open - Opened by willcrichton over 1 year ago - 1 comment
Labels: bug, permissions

#99 - Visualize partially-moved fields

Issue - State: open - Opened by willcrichton over 1 year ago
Labels: interpreter

#98 - JS fixes

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#97 - Aquascope Preprocessor Failure on mdbook Build

Issue - State: open - Opened by jpnws over 1 year ago - 9 comments

#96 - Migrate from Graco to Depot

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#95 - Remove unnecessary feature flag. Bump to 0.2.1

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#94 - Installation of mdbook-aquascope on stable rust channel

Issue - State: closed - Opened by dk-a-dev over 1 year ago - 2 comments

#93 - Eager loss of read permission - wrong or just confusing?

Issue - State: closed - Opened by ethanbb over 1 year ago - 4 comments

#92 - Build from source instructions help and error.

Issue - State: closed - Opened by safwansamsudeen over 1 year ago - 8 comments

#91 - Wrong memory allocation for slices

Issue - State: open - Opened by chungwong over 1 year ago - 2 comments
Labels: interpreter

#90 - Loss of own permissions is confusing.

Issue - State: closed - Opened by fanbaoAA over 1 year ago - 1 comment
Labels: permissions

#89 - cannot compile code with function pointer

Issue - State: open - Opened by chungwong over 1 year ago
Labels: interpreter

#88 - Gray out moved values in interpreter

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#87 - Update to latest rustc_utils/plugin

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#86 - Add support for intra-table provenance and permissions transfer

Issue - State: open - Opened by gavinleroy over 1 year ago
Labels: big-project, permissions

#85 - Add clear indication for path liveness and permissions changes

Issue - State: open - Opened by gavinleroy over 1 year ago - 1 comment
Labels: big-project, permissions

#84 - Trait object metadata displayed as len and not a vtable pointer

Issue - State: open - Opened by SophieSilver over 1 year ago - 1 comment
Labels: interpreter

#83 - Basic architecture diagram and extra documentation

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#82 - Visualizing hidden lifetime captures

Issue - State: open - Opened by willcrichton over 1 year ago
Labels: big-project, permissions

#81 - Visualizing outlives-constraints and lifetime parameters

Issue - State: open - Opened by willcrichton over 1 year ago
Labels: big-project, permissions

#80 - Fix typos

Pull Request - State: closed - Opened by kianmeng over 1 year ago - 3 comments

#78 - Creating permission steps incrementally

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#77 - Add hover effect for step markers in interpreter

Issue - State: open - Opened by willcrichton over 1 year ago - 4 comments
Labels: good first issue, interpreter

#76 - Add support for Unicode strings to the interpreter

Issue - State: open - Opened by willcrichton over 1 year ago - 2 comments
Labels: good first issue, interpreter

#75 - Add support for &'static data to the interpreter

Issue - State: open - Opened by willcrichton over 1 year ago
Labels: good first issue, interpreter

#74 - Remove own permission for array indices.

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#73 - v0.2.0

Pull Request - State: closed - Opened by gavinleroy over 1 year ago
Labels: release

#72 - v0.2.0

Pull Request - State: closed - Opened by gavinleroy over 1 year ago - 1 comment
Labels: release

#71 - Binoculars show even when they have no effect on the visualization

Issue - State: open - Opened by diegorodriguezv over 1 year ago - 2 comments
Labels: good first issue, interpreter

#70 - Interpret does not visualize move semantics

Issue - State: closed - Opened by AaronErhardt over 1 year ago - 2 comments

#69 - Factor more utilities into rustc-utils

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#68 - Replace Flowistry dependency with rustc-utils

Pull Request - State: closed - Opened by willcrichton over 1 year ago - 1 comment

#67 - Update to nightly-2023-04-12

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#66 - Update to latest rustc-plugin

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#65 - Update documentation

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#64 - Mobile styling for static diagram doesn't work well with indentation

Issue - State: open - Opened by willcrichton over 1 year ago
Labels: permissions

#63 - Add special case for tuple structs in interpreter

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#62 - Own permissions required for noncopyable types.

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#61 - Patching boundaries and permissions

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#60 - How to use on existing program?

Issue - State: open - Opened by TCROC over 1 year ago - 7 comments
Labels: enhancement

#59 - Stepper panics when returning result of fn call

Issue - State: closed - Opened by gavinleroy over 1 year ago - 1 comment
Labels: bug

#58 - Permission model give W attribute to immutable Box

Issue - State: closed - Opened by anthonygedeon over 1 year ago - 2 comments
Labels: bug

#57 - Style changes for new flow permission

Pull Request - State: closed - Opened by willcrichton over 1 year ago

GitHub / cognitive-engineering-lab/aquascope issues and pull requests